Viewing all changes in revision 317.
- Committer: Jiri Srba
- Date: 2015-06-14 21:19:04 UTC
- mfrom: (302.7.5 verifydtapn)
- Revision ID: srba@cs.aau.dk-20150614211904-65jn0nv2el2l2060
merges a branch that uses long long for the strong soundness constant
expand all
collapse all
added
removed
