projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
declare-sort, define-sort working but not thoroughly tested; define-fun half working...
[cvc5.git]
/
src
/
parser
/
parser.cpp
2010-10-06
Morgan Deters
declare-sort, define-sort working but not thoroughly...
blob
|
commitdiff
|
raw
2010-10-05
Morgan Deters
parser and core support for SMT-LIBv2 commands get...
blob
|
commitdiff
|
raw
|
diff to current
2010-07-28
Christopher L. Conway
Forcing a type check on Node construction in debug...
blob
|
commitdiff
|
raw
|
diff to current
2010-06-04
Morgan Deters
** Don't fear the files-changed list, almost all change...
blob
|
commitdiff
|
raw
|
diff to current
2010-05-12
Christopher L. Conway
true and false are only defined if the core theory...
blob
|
commitdiff
|
raw
|
diff to current
2010-05-12
Christopher L. Conway
Adding class Smt2 to handle declaration of logic and...
blob
|
commitdiff
|
raw
|
diff to current
2010-05-07
Christopher L. Conway
Tightening lexer rules for numerals in SMT v2
blob
|
commitdiff
|
raw
|
diff to current
2010-05-06
Christopher L. Conway
Adding --strict-parsing option
blob
|
commitdiff
|
raw
|
diff to current
2010-05-06
Christopher L. Conway
Adding bit-vector constants in SMT2
blob
|
commitdiff
|
raw
|
diff to current
2010-04-28
Christopher L. Conway
Refactoring Input/Parser code to support external manip...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-30
Christopher L. Conway
Merging from branches/antlr3 (r246:354)
blob
|
commitdiff
|
raw
2010-03-05
Morgan Deters
* public/private code untangled (smt/smt_engine.h no...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-27
Christopher L. Conway
Adding --mmap option to use memory-mapped file input...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-25
Morgan Deters
* src/expr/node.h: add a copy constructor. Apparently...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-22
Morgan Deters
* configure.ac: Remove doc/ from search path for Makefi...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-18
Christopher L. Conway
Adding --no-checking option to disable semantic checks...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-04
Morgan Deters
remove -*- c++ -*- emacs tag from source files (it...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-04
Morgan Deters
src/expr/kind.h is now automatically generated.
blob
|
commitdiff
|
raw
|
diff to current
2010-02-04
Morgan Deters
minor fix for update-copyright.pl; ran update-copyright...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-03
Dejan Jovanović
ELSEIF support and parser debugging with '-d parser'
blob
|
commitdiff
|
raw
|
diff to current
2010-02-01
Dejan Jovanović
Fixing the CVC grammar for parsing Boolean expressions...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-18
Dejan Jovanović
More fixes fot the parser tests.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-18
Dejan Jovanović
Changing some deatils on the parser. Now we know we...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-18
Morgan Deters
more build system fix-ups
blob
|
commitdiff
|
raw
|
diff to current
2009-12-18
Dejan Jovanović
Lots of parser changes to make Chris happy. Yet more...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-17
Morgan Deters
update-copyright.pl now retrieves and incorporates...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-11
Dejan Jovanović
Extracted the public Expr and ExprManager interface...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-10
Dejan Jovanović
killing expr into node...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-09
Morgan Deters
some fixes and organizational adjustments to assert...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-08
Morgan Deters
parser build fixes
blob
|
commitdiff
|
raw
|
diff to current
2009-12-08
Morgan Deters
check in automake/libtool/autoconf-generated files...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-08
Morgan Deters
work on propositional layer, expression builder support...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-07
Dejan Jovanović
antlr parser for the cvc4 language (boolean only)
blob
|
commitdiff
|
raw
|
diff to current
2009-12-06
Dejan Jovanović
Big chunk of changes:
blob
|
commitdiff
|
raw
|
diff to current
2009-12-05
Morgan Deters
more build system work
blob
|
commitdiff
|
raw
|
diff to current
2009-12-03
Morgan Deters
parsing/expr/command/result/various other fixes
blob
|
commitdiff
|
raw
|
diff to current
2009-11-26
Dejan Jovanović
Enough parsing for tonight. Added:
blob
|
commitdiff
|
raw
|
diff to current
2009-11-25
Morgan Deters
additional work on parser hookup, configuration + build
blob
|
commitdiff
|
raw
|
diff to current
2009-11-17
Morgan Deters
another pass
blob
|
commitdiff
|
raw
|
diff to current
2009-11-12
Morgan Deters
parser, minisat, other things..
blob
|
commitdiff
|
raw
|
diff to current