projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0960d8) | patch
Safer swig-wrapping for unsigned long long in Java, which will throw an exception...
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 21 May 2014 17:55:13 +0000 (13:55 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 21 May 2014 17:55:23 +0000 (13:55 -0400)
commit2deb3a617f068af25457db23eae326dae2bf2ae2
treede865815723d081aeb9a8ddcbc0a386074ed5c63tree
parenta0960d8b5bc0897191444b7bcffece8136630917commit | diff
Safer swig-wrapping for unsigned long long in Java, which will throw an exception if the argument is out of bounds for unsigned long long.  Thanks to Steve Siegel for the report.
src/cvc4.i diff | blob | history