ada/cvc5
0
0
Fork 0
mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00
Code Issues Packages Projects Releases Wiki Activity
13,753 Commits 59 Branches 0 Tags
master
Commit Graph

99 Commits

Author SHA1 Message Date
Aina Niemetz
d78113d408 cmake: Add target runexamples. 2018-09-22 16:30:59 -07:00
Aina Niemetz
059b526dce cmake: examples: Configure output directory per target. 2018-09-22 16:30:59 -07:00
Aina Niemetz
d4728dcea7 cmake: Added java examples 2018-09-22 16:30:59 -07:00
Aina Niemetz
61572fe01f cmake: Added initial build infrastructure. 2018-09-22 16:30:59 -07:00
Aina Niemetz
91d8570431 Plug solver API object into parser. (#2240) 2018-08-08 19:21:47 -07:00
Aina Niemetz
3b91ff439d Updated copyright headers. 2018-06-25 14:11:54 -07:00
Mathias Preiner
4fa50d3881 Update copyright headers. 2017-07-07 14:57:36 -07:00
PaulMeng
904ffb6e73 update from the master 2016-04-20 14:43:18 -05:00
Clark Barrett
dea679ce03 A few more minor updates to match google repository with CVC4 repository 
(mostly whitespace differences).
 2015-04-23 09:43:52 -07:00
Morgan Deters
5361724725 Cleanup. 2014-12-09 18:48:43 -05:00
Tianyi Liang
3bb096fbdb Added string constant in java api example. 2014-12-06 15:28:52 -06:00
Tianyi Liang
c4410c3123 Added C++/Java api examples; 
Converted cset to be vector of char, instead of vector of int, since we only accept ascii in input.
 2014-12-06 13:26:24 -06:00
Morgan Deters
8ad7662ef9 Update copyrights. 2014-07-01 14:47:24 -04:00
Morgan Deters
9b59e12cf7 Fix typo in bitvectors example; thanks to Adam Gashlin for reporting the issue. 2014-05-02 19:22:26 -04:00
Morgan Deters
f6b6d827f4 Cleanup related to output language fix. 2013-12-24 13:26:31 -05:00
Morgan Deters
8cde77abf1 Java datatype API fixups, datatype API examples 2013-12-24 10:55:46 -05:00
Morgan Deters
86b54ede8a 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
Morgan Deters
c5177b11ad Java streams example I forgot to add a long time ago 2013-06-17 18:36:26 -04:00
Morgan Deters
166bbd9c57 Regenerated copyrights: canonicalized names, no emails 2013-04-02 14:36:18 -04:00
Morgan Deters
0e6e0f1816 update copyrights 2013-04-01 23:32:39 -04:00
Morgan Deters
ad5e31e203 Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac 2013-03-26 19:43:25 -04:00
Morgan Deters
f06ae104dc Some cleanup and copyright updating 
* update some copyrights for 2013
* cleaned up some comments/ifdefs, indentation
* some spelling corrections
* add some missing makefiles
 2013-02-16 15:23:00 -05:00
Morgan Deters
8953b603bd updated examples 2012-12-01 01:43:08 +00:00
Morgan Deters
45229fd903 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