projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix line numbers in templates (#3391)
[cvc5.git]
/
src
/
expr
/
expr_template.h
2019-10-15
Andres Noetzli
Fix line numbers in templates (#3391)
blob
|
commitdiff
|
raw
2019-10-11
Aina Niemetz
Make order of theories explicit in the source code...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-08
Aina Niemetz
New C++ API: Add Term::getId(). (#3360)
blob
|
commitdiff
|
raw
|
diff to current
2019-09-25
Andrew Reynolds
Add isParameterized function to Expr (#3303)
blob
|
commitdiff
|
raw
|
diff to current
2019-09-07
Andrew Reynolds
Remove portfolio (#3236)
blob
|
commitdiff
|
raw
|
diff to current
2019-04-24
Mathias Preiner
Do not use __ prefix for header guards. (#2974)
blob
|
commitdiff
|
raw
|
diff to current
2019-03-26
Aina Niemetz
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2019-03-26
Andres Noetzli
Fix warnings about wrong line numbers (#2899)
blob
|
commitdiff
|
raw
|
diff to current
2018-12-17
Aina Niemetz
New C++ API: Add tests for term object. (#2755)
blob
|
commitdiff
|
raw
|
diff to current
2018-09-25
Mathias Preiner
Fix wiki urls. (#2504)
blob
|
commitdiff
|
raw
|
diff to current
2018-09-23
Aina Niemetz
New C++ API: Add checks for Terms/OpTerms. (#2455)
blob
|
commitdiff
|
raw
|
diff to current
2018-06-25
Aina Niemetz
Updated copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2018-05-24
Andres Noetzli
Fix compiler warnings (#1959)
blob
|
commitdiff
|
raw
|
diff to current
2018-04-08
Andrew Reynolds
Check free variables in assertions (#1737)
blob
|
commitdiff
|
raw
|
diff to current
2018-03-05
Aina Niemetz
Add support for check-sat-assuming. (#1637)
blob
|
commitdiff
|
raw
|
diff to current
2018-03-05
Aina Niemetz
Add CVC4_PUBLIC keyword to overloads of << for Expr...
blob
|
commitdiff
|
raw
|
diff to current
2018-03-05
Aina Niemetz
Add uniform way to serialize containers of Expr to...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-17
Tim King
Removes yet more throw specifiers. Updating the documen...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-10
Tim King
Cleaning up throw specifiers on Exception and subclasse...
blob
|
commitdiff
|
raw
|
diff to current
2017-08-24
Andrew Reynolds
Merge pull request #191 from timothy-king/cleanup-regexp
blob
|
commitdiff
|
raw
|
diff to current
2017-08-15
Andres Noetzli
Minimize includes in expr.h: remove dups, iostream...
blob
|
commitdiff
|
raw
|
diff to current
2017-07-21
Tim King
Merge branch 'master' into cleanup-regexp
blob
|
commitdiff
|
raw
|
diff to current
2017-07-21
Tim King
Moving from the gnu extensions for hash maps to the...
blob
|
commitdiff
|
raw
|
diff to current
2017-07-07
Mathias Preiner
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2016-04-20
PaulMeng
update from the master
blob
|
commitdiff
|
raw
|
diff to current
2016-04-09
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2016-04-04
Tim King
Updating the copyright headers and scripts.
blob
|
commitdiff
|
raw
|
diff to current
2016-01-28
Tim King
Adding listeners to Options.
blob
|
commitdiff
|
raw
|
diff to current
2015-12-30
Tim King
Shuffling around public vs. private headers
blob
|
commitdiff
|
raw
|
diff to current
2015-12-19
Tim King
Modifying emptyset.h and sexpr. Adding SetLanguage.
blob
|
commitdiff
|
raw
|
diff to current
2015-12-15
Tim King
Refactoring Options Handler & Library Cycle Breaking
blob
|
commitdiff
|
raw
|
diff to current
2015-10-14
Kshitij Bansal
Merge pull request #77 from kbansal/macsegfault
blob
|
commitdiff
|
raw
|
diff to current
2015-10-13
Kshitij Bansal
remove options infrastructure code which depended on...
blob
|
commitdiff
|
raw
|
diff to current
2014-11-10
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-05
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-23
Morgan Deters
Parsing and infrastructure support for SMT-LIBv2.5...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-01
Morgan Deters
Update copyrights.
blob
|
commitdiff
|
raw
|
diff to current
2013-12-26
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-12-24
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-24
Morgan Deters
Better automatic handling of output language setting.
blob
|
commitdiff
|
raw
|
diff to current
2013-12-15
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-12-11
Morgan Deters
Fix warning.
blob
|
commitdiff
|
raw
|
diff to current
2013-12-11
Morgan Deters
Fix warning.
blob
|
commitdiff
|
raw
|
diff to current
2013-12-09
Kshitij Bansal
fix bug 542
blob
|
commitdiff
|
raw
|
diff to current
2013-12-07
Kshitij Bansal
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-07
Kshitij Bansal
fix bug 542
blob
|
commitdiff
|
raw
|
diff to current
2013-11-21
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-11-20
Tim King
Changing the number of bits allocated per field in...
blob
|
commitdiff
|
raw
|
diff to current
2013-09-30
Liana Hadarean
merged golden
blob
|
commitdiff
|
raw
|
diff to current
2013-09-13
Kshitij Bansal
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-09-12
Kshitij Bansal
fix bug 534: portfolio define-fun duplicate model
blob
|
commitdiff
|
raw
|
diff to current
2013-04-02
Morgan Deters
Regenerated copyrights: canonicalized names, no emails
blob
|
commitdiff
|
raw
|
diff to current
2013-04-02
Morgan Deters
update copyrights
blob
|
commitdiff
|
raw
|
diff to current
2013-03-20
Liana Hadarean
merged master with dejan's constant evaluating equality...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-15
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-03-14
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-03-14
Morgan Deters
Fix warning (line annotation)
blob
|
commitdiff
|
raw
|
diff to current
2013-03-13
lianah
post failed attempts at getting the incremental solver...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-05
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-03-01
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-26
lianah
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-17
Kshitij Bansal
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-16
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Kshitij Bansal
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Kshitij Bansal
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Tim King
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-08
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-07
Morgan Deters
Make --default-dag-thresh apply to stringstreams
blob
|
commitdiff
|
raw
|
diff to current
2013-02-05
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-05
Kshitij Bansal
Merge remote-tracking branch 'origin/1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-05
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-04
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-04
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-02
lianah
merged master into branch
blob
|
commitdiff
|
raw
|
diff to current
2013-02-01
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-31
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-28
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-27
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-25
Morgan Deters
Fix errors and reduce warnings on clang (merge from...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-01
Morgan Deters
fix #line annotation warning
blob
|
commitdiff
|
raw
|
diff to current
2012-11-30
Morgan Deters
change detection/handling of output language more reaso...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-14
Morgan Deters
fix #line number warnings (sorry!)
blob
|
commitdiff
|
raw
|
diff to current
2012-10-11
Morgan Deters
Standardizing copyright notice. Touches **ALL** source...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-05
Dejan Jovanović
BoolExpr removed and replaced with Expr
blob
|
commitdiff
|
raw
|
diff to current
2012-09-28
Kshitij Bansal
Some fixes to portfolio
blob
|
commitdiff
|
raw
|
diff to current
2012-09-24
Dejan Jovanović
some api changes
blob
|
commitdiff
|
raw
|
diff to current
2012-08-30
Morgan Deters
set the default expression-printing depth to "unlimited"
blob
|
commitdiff
|
raw
|
diff to current
2012-08-29
Morgan Deters
* Numerous documentation fixes (fix doxygen warnings...
blob
|
commitdiff
|
raw
|
diff to current
2012-08-28
Morgan Deters
Improved compatibility layer, now supports quantifiers...
blob
|
commitdiff
|
raw
|
diff to current
2012-08-24
Morgan Deters
fix get-value output in a couple ways; this fixes bug...
blob
|
commitdiff
|
raw
|
diff to current
2012-07-31
Morgan Deters
Options merge. This commit:
blob
|
commitdiff
|
raw
|
diff to current
2012-07-08
Morgan Deters
Bugs resolved by this commit: #314, #322, #359, #364...
blob
|
commitdiff
|
raw
|
diff to current
2012-06-09
Morgan Deters
Cleanup and comments for the dag-ifier. Also some...
blob
|
commitdiff
|
raw
|
diff to current
2012-06-09
Morgan Deters
Dagification of output expressions.
blob
|
commitdiff
|
raw
|
diff to current
2012-02-25
Liana Hadarean
Refactored CnfStream to work with the bv theory Bitblaster:
blob
|
commitdiff
|
raw
|
diff to current
next