summaryrefslogtreecommitdiff
path: root/examples/Makefile.am
AgeCommit message (Expand)Author
2014-06-06Sets translate, and other short fixesKshitij Bansal
2014-06-05Add --default-dag-thresh to translator, build translator with other examples.Morgan Deters
2012-11-28Adding the helloworld.cpp example.Tim King
2012-11-27Adding an example to show how to use arithmetic.Tim King
2012-10-03better documentation, allow examples to be installed, etcMorgan Deters
2012-07-14an example that uses bitvectors to simulate sha1 computation and dumps an smt...Dejan Jovanović
2012-07-10* fixing the simple_vc_cxx.cpp compile issue (no more Integer constants)Dejan Jovanović
2011-11-22fix module name for CVC4 jar file; part of the fix for the Debian package bui...Morgan Deters
2011-11-22More language bindings work:Morgan Deters
2011-11-15Bindings work (ocaml bindings are now sort of working); also minor cleanupMorgan Deters
2011-11-15fixes for python language binding, added python exampleMorgan Deters
2011-09-30forgot to put some things in the distroMorgan Deters
2011-09-30interfaces fixes and cleanups...and examples of each interface!Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback