projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add support for re.all (#2980)
[cvc5.git]
/
src
/
parser
/
smt1
/
2019-04-24
Mathias Preiner
Do not use __ prefix for header guards. (#2974)
tree
|
commitdiff
2019-03-26
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2018-10-20
Mathias Preiner
Remove antlr_undefines.h. (#2664)
tree
|
commitdiff
2018-10-19
Mathias Preiner
Remove autotools build system. (#2639)
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Only build libcvc4 and libcvc4parser as libraries.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Move find_package to where it is actually needed.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Cleanup CMakeLists.txt files, remove SHARED.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Working build infrastructure.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Antlr parser generation done.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
tree
|
commitdiff
2018-08-09
Aina Niemetz
Plug solver API object into parser. (#2240)
tree
|
commitdiff
2018-06-25
Aina Niemetz
Updated copyright headers.
tree
|
commitdiff
2018-05-29
Andres Noetzli
Track input language in a single place (#2003)
tree
|
commitdiff
2018-05-03
Andrew Reynolds
Support HORN logic string (#1849)
tree
|
commitdiff
2018-03-05
Mathias Preiner
Enable -Wsuggest-override by default. (#1643)
tree
|
commitdiff
2018-02-08
Tim King
Fixing more inconsistent usages of override. (#1575)
tree
|
commitdiff
2018-01-06
Tim King
Removing throw specifiers from src/parser/. (#1486)
tree
|
commitdiff
2017-11-07
Tim King
Initializing Smt1::d_logic in all cases. This was resol...
tree
|
commitdiff
2017-11-04
Andrew Reynolds
Suppport SAT logic (#1310)
tree
|
commitdiff
2017-10-03
Andrew Reynolds
Op overload parser (#1162)
tree
|
commitdiff
2017-08-25
Aina Niemetz
Added missing includes (algorithm).
tree
|
commitdiff
2017-07-21
Tim King
Merge branch 'master' into cleanup-regexp
tree
|
commitdiff
2017-07-21
Tim King
Moving from the gnu extensions for hash maps to the...
tree
|
commitdiff
2017-07-17
Tim King
Merge branch 'master' into cleanup-regexp
tree
|
commitdiff
2017-07-17
Andres Noetzli
Remove PtrCloser (#198)
tree
|
commitdiff
2017-07-16
Andres Noetzli
Use CXXFLAGS when compiling parsers (#197)
tree
|
commitdiff
2017-07-07
Mathias Preiner
Update copyright headers.
tree
|
commitdiff
2017-07-07
Mathias Preiner
Use new copyright header format.
tree
|
commitdiff
2017-03-02
ajreynol
Eliminate Boolean term conversion. Generalizes removeIT...
tree
|
commitdiff
2016-11-18
Clark Barrett
Merge pull request #110 from 4tXJ7f/fix_makefiles
tree
|
commitdiff
2016-11-18
Clark Barrett
Add support for set-logic ALL, fix compiler error in...
tree
|
commitdiff
2016-11-12
Clark Barrett
Merge pull request #107 from timothy-king/smt1-parser...
tree
|
commitdiff
2016-11-12
Tim King
Adding garbage collection for the Smt1 Parser for Comma...
tree
|
commitdiff
2016-04-20
PaulMeng
update from the master
tree
|
commitdiff
2016-04-09
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2016-04-04
Tim King
Updating the copyright headers and scripts.
tree
|
commitdiff
2016-02-02
Tim King
Moving dump.*, command.*, model.*, and ite_removal...
tree
|
commitdiff
2016-01-28
Tim King
Adding listeners to Options.
tree
|
commitdiff
2015-12-15
Tim King
Refactoring Options Handler & Library Cycle Breaking
tree
|
commitdiff
2015-12-03
Tim King
Removing the generated directory from the parsers.
tree
|
commitdiff
2014-08-22
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-08-22
Morgan Deters
Fix SMT1 parser :extrasorts/:extrapreds.
tree
|
commitdiff
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
tree
|
commitdiff
2014-07-01
Morgan Deters
Update copyrights.
tree
|
commitdiff
2014-04-29
Morgan Deters
Fix for --force-logic to extend its reach to the parser.
tree
|
commitdiff
2014-04-28
Kshitij Bansal
Merge remote-tracking branch 'upstream/master' into...
tree
|
commitdiff
2014-04-10
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-04-10
Andrew Reynolds
Add support for cardinality constraints logic UFC....
tree
|
commitdiff
2014-01-02
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-02
Morgan Deters
Update copyright year.
tree
|
commitdiff
2013-12-05
Morgan Deters
Update copyrights, add missing file-level documentation...
tree
|
commitdiff
2013-09-30
Liana Hadarean
merged golden
tree
|
commitdiff
2013-09-13
Kshitij Bansal
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-09-11
Tianyi Liang
Theory of strings.
tree
|
commitdiff
2013-04-30
lianah
fixed merge conflicts
tree
|
commitdiff
2013-04-22
Morgan Deters
add bit0 and bit1 constants to smt-lib v1 parser
tree
|
commitdiff
2013-04-02
Morgan Deters
Regenerated copyrights: canonicalized names, no emails
tree
|
commitdiff
2013-04-02
Morgan Deters
update copyrights
tree
|
commitdiff
2013-03-27
lianah
Merge branch 'master' into bv-core
tree
|
commitdiff
2013-03-26
Morgan Deters
Fixes for warnings from clang++, from -std=gnu++0x...
tree
|
commitdiff
2013-03-20
Liana Hadarean
merged master with dejan's constant evaluating equality...
tree
|
commitdiff
2013-03-19
Morgan Deters
Minor fixes to build system
tree
|
commitdiff
2013-03-15
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-14
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-14
Morgan Deters
fix to build system: #include the proper file when...
tree
|
commitdiff
2013-03-13
lianah
post failed attempts at getting the incremental solver...
tree
|
commitdiff
2013-03-09
Morgan Deters
Disallow overflow in bitvector literals (parser only)
tree
|
commitdiff
2013-03-05
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-01
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-26
lianah
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-17
Kshitij Bansal
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-17
Kshitij Bansal
Merge pull request #6 from kbansal/decNewoptions
tree
|
commitdiff
2013-02-16
Morgan Deters
Some cleanup and copyright updating
tree
|
commitdiff
2013-02-16
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-15
Kshitij Bansal
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-15
Kshitij Bansal
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-15
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-15
Tim King
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-08
Morgan Deters
Fix user-values in SMT-LIB v1.2
tree
|
commitdiff
2013-02-08
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-05
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-05
Kshitij Bansal
Merge remote-tracking branch 'origin/1.0.x'
tree
|
commitdiff
2013-02-05
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-04
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-04
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-02
lianah
merged master into branch
tree
|
commitdiff
2013-02-01
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-01-31
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-01-28
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-01-27
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-01-23
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-01-23
Morgan Deters
fix to workaround ANTLR 3.2 issue with initialization
tree
|
commitdiff
2013-01-23
Morgan Deters
add user patterns to the Smt1 parser; update NEWS file
tree
|
commitdiff
2012-10-22
Morgan Deters
fix parser generation in distributed tarballs (should...
tree
|
commitdiff
2012-10-11
Morgan Deters
Standardizing copyright notice. Touches **ALL** source...
tree
|
commitdiff
2012-09-28
Morgan Deters
Public interface review items:
tree
|
commitdiff
2012-09-27
Morgan Deters
* Rename SMT parts (printer, parser) to SMT1
tree
|
commitdiff