summaryrefslogtreecommitdiff
path: root/src/util/subrange_bound.i
AgeCommit message (Collapse)Author
2017-08-17Remove unused SubrangeBound(s) classes (#221)Andres Noetzli
As discussed in pull request #220, commit 360d6ee8d3cdd5ddb47c328043eaed3a107b8db1 mostly got rid of SubrangeBound(s). There were still a few mentions of it left in the code, most of them commented out. The occurrences in expr.i and expr_manager.i, however, created issues with the Python wrapper. This commit removes the SubrangeBound(s) implementation and other leftovers.
2013-12-03Some fixes for swig warnings.Morgan Deters
2012-11-12* Fix language bindings: various issuesMorgan Deters
** remove a number of warnings in bindings generation ** give appropriate names for operator-overloading ** make sure Java language bindings are built with -fno-strict-aliasing, to ensure the optimizer doesn't produce bad code * Also remove BitVector::equals(), which wasn't used and was inconsistently implemented (operator==() is still there). (this commit was certified error- and warning-free by the test-and-commit script.)
2011-09-20Merge from "swig" branch: language binding for Java is compiling and ↵Morgan Deters
linking. Enable with --enable-language-bindings=java
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback