summaryrefslogtreecommitdiff
path: root/src/util/rational.h.in
AgeCommit message (Expand)Author
2011-09-23interface cleanup, java bindings workMorgan Deters
2011-09-20Merge from "swig" branch: language binding for Java is compiling and linking....Morgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2010-07-03With this commit come a number of changes to build system to supportMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback