summaryrefslogtreecommitdiff
path: root/examples/gcd_nd.c
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-05-28 18:16:57 +0200
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-05-28 18:16:57 +0200
commit1038c28dab7775278c67e941a5e29d6e128eb09d (patch)
tree5e50a984f03f3387cba050e1e9c83b3403384989 /examples/gcd_nd.c
parenta30fa47b4272f8c79948b741f7c388dad53c8eea (diff)
downloadSemVerif-Projet-1038c28dab7775278c67e941a5e29d6e128eb09d.tar.gz
SemVerif-Projet-1038c28dab7775278c67e941a5e29d6e128eb09d.zip
Add boolean constants.
Diffstat (limited to 'examples/gcd_nd.c')
0 files changed, 0 insertions, 0 deletions