projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd7e0c6) | patch
Incremental is now on by default when using from API, off for command-line driver...
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 27 Nov 2013 16:12:11 +0000 (11:12 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 27 Nov 2013 16:12:26 +0000 (11:12 -0500)
commit86b54ede8a2898a6c51fddd4bb32f8b4b87b5da6
tree989d5595bb52ba2e9cff08e9dd27ccf65e3b0997tree
parentdd7e0c66cab285c154f59ff27132059c34e09e23commit | diff
Incremental is now on by default when using from API, off for command-line driver except in interactive mode.
examples/api/bitvectors.cpp diff | blob | history
examples/api/combination.cpp diff | blob | history
examples/api/java/BitVectors.java diff | blob | history
examples/api/java/CVC4Streams.java diff | blob | history
examples/api/java/Combination.java diff | blob | history
examples/api/java/LinearArith.java diff | blob | history
examples/api/java/PipedInput.java diff | blob | history
examples/api/linear_arith.cpp diff | blob | history
src/main/driver_unified.cpp diff | blob | history
src/smt/options diff | blob | history