Morgan Deters 9b59e12cf7 Fix typo in bitvectors example; thanks to Adam Gashlin for reporting the issue.

2014-05-02 19:22:26 -04:00

..

BitVectors.java

Fix typo in bitvectors example; thanks to Adam Gashlin for reporting the issue.

2014-05-02 19:22:26 -04:00

BitVectorsAndArrays.java

Regenerated copyrights: canonicalized names, no emails

2013-04-02 14:36:18 -04:00

Combination.java

Incremental is now on by default when using from API, off for command-line driver except in interactive mode.

2013-11-27 11:12:26 -05:00

CVC4Streams.java

Incremental is now on by default when using from API, off for command-line driver except in interactive mode.

2013-11-27 11:12:26 -05:00

Datatypes.java

Cleanup related to output language fix.

2013-12-24 13:26:31 -05:00

HelloWorld.java

Regenerated copyrights: canonicalized names, no emails

2013-04-02 14:36:18 -04:00

LinearArith.java

Incremental is now on by default when using from API, off for command-line driver except in interactive mode.

2013-11-27 11:12:26 -05:00

Makefile

all API examples now have java versions too; bitvectors gets built; also updated old-style copyrights in the examples

2012-11-30 23:07:19 +00:00

Makefile.am

Java datatype API fixups, datatype API examples

2013-12-24 10:55:46 -05:00

PipedInput.java

Incremental is now on by default when using from API, off for command-line driver except in interactive mode.

2013-11-27 11:12:26 -05:00