summaryrefslogtreecommitdiff
path: root/examples/api
AgeCommit message (Expand)Author
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2013-03-26Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javacMorgan Deters
2013-02-16Some cleanup and copyright updatingMorgan Deters
2012-12-01updated examplesMorgan Deters
2012-12-01added a new example for the combination of bit-vectors and arrays (includes m...Liana Hadarean
2012-12-01Polishing API examples.Tim King
2012-11-30all API examples now have java versions too; bitvectors gets built; also upda...Morgan Deters
2012-11-30Updating the combination.cpp example.Tim King
2012-11-30change detection/handling of output language more reasonably; fixes a nagging...Morgan Deters
2012-11-30added a simple API example example showing how to use the bit-vector theory. Liana Hadarean
2012-11-30Changes to SExpr to accept autoconversion from bool and const char*. Adding a...Tim King
2012-11-28Adding the helloworld.cpp example.Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback