projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2bd85df) | patch
all API examples now have java versions too; bitvectors gets built; also updated...
authorMorgan Deters <mdeters@gmail.com>
Fri, 30 Nov 2012 23:07:19 +0000 (23:07 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 30 Nov 2012 23:07:19 +0000 (23:07 +0000)
commit45229fd903afa592deb0499027375bc1d5562cbc
tree67b54b4841b1d084b90226cc5670c4c18173d06ctree
parent2bd85df6be705aed37a5d5eba082fbb9a38ab7c5commit | diff
all API examples now have java versions too; bitvectors gets built; also updated old-style copyrights in the examples
16 files changed:
examples/SimpleVC.java diff | blob | history
examples/SimpleVCCompat.java diff | blob | history
examples/api/Makefile.am diff | blob | history
examples/api/bitvectors.cpp diff | blob | history
examples/api/combination.cpp diff | blob | history
examples/api/helloworld.cpp diff | blob | history
examples/api/java/BitVectors.java [new file with mode: 0644] blob
examples/api/java/Combination.java [new file with mode: 0644] blob
examples/api/java/HelloWorld.java [new file with mode: 0644] blob
examples/api/java/LinearArith.java [new file with mode: 0644] blob
examples/api/java/Makefile [new file with mode: 0644] blob
examples/api/java/Makefile.am [new file with mode: 0644] blob
examples/api/linear_arith.cpp diff | blob | history
examples/simple_vc_compat_c.c diff | blob | history
examples/simple_vc_compat_cxx.cpp diff | blob | history
examples/simple_vc_cxx.cpp diff | blob | history