git.libre-soc.org Git - cvc5.git/search

2010-06-04	Christopher L. Conway	Adding QF_SAT to SMT parsers	commit \| commitdiff \| tree
2010-06-04	Christopher L. Conway	Reimplementing AntlrInputStream::newStreamInputStream	commit \| commitdiff \| tree
2010-06-04	Christopher L. Conway	Missing files in last commit	commit \| commitdiff \| tree
2010-06-04	Christopher L. Conway	Enabling RDL/IDL in SMT v1 and adding some simple tests	commit \| commitdiff \| tree
2010-06-03	Christopher L. Conway	Implementing input from stdin (Fixes: #144)	commit \| commitdiff \| tree
2010-06-03	Christopher L. Conway	Changing ANTLR3 detection in configure (Fixes #147)	commit \| commitdiff \| tree
2010-06-01	Christopher L. Conway	Fixing test failures in production build	commit \| commitdiff \| tree
2010-06-01	Christopher L. Conway	Adding SMT v2 parsing support for: QF_IDL, QF_NIA,...	commit \| commitdiff \| tree
2010-06-01	Christopher L. Conway	Checking for executable permission on antlr3 script	commit \| commitdiff \| tree
2010-06-01	Christopher L. Conway	Fixing failing test in r521	commit \| commitdiff \| tree
2010-05-31	Christopher L. Conway	First draft implementation of mkAssociative	commit \| commitdiff \| tree
2010-05-27	Christopher L. Conway	Adding debug assertions on most TNode operations	commit \| commitdiff \| tree
2010-05-27	Christopher L. Conway	Adding NodeManager::prepareToBeDestroyed() (Fixes:...	commit \| commitdiff \| tree
2010-05-27	Christopher L. Conway	Adding .cvc4_config to .gitignore	commit \| commitdiff \| tree
2010-05-26	Christopher L. Conway	Adding CnfStreamBlack tests for all Boolean connectives	commit \| commitdiff \| tree
2010-05-26	Christopher L. Conway	Fixing test failures in CnfStreamBlack (it was the...	commit \| commitdiff \| tree
2010-05-26	Christopher L. Conway	Adding documentation to my-configure	commit \| commitdiff \| tree
2010-05-26	Christopher L. Conway	Fixing my-configure	commit \| commitdiff \| tree
2010-05-26	Christopher L. Conway	Adding contrib/my-configure	commit \| commitdiff \| tree
2010-05-26	Christopher L. Conway	Adding CnfStream unit tests	commit \| commitdiff \| tree
2010-05-26	Christopher L. Conway	Prevent lexer errors being raised if a parser error...	commit \| commitdiff \| tree
2010-05-14	Christopher L. Conway	Adding debugging code in PropEngine/CnfStream	commit \| commitdiff \| tree
2010-05-14	Christopher L. Conway	Adding ITE tests	commit \| commitdiff \| tree
2010-05-14	Christopher L. Conway	Adding rudimentary ITE handling in CnfStream	commit \| commitdiff \| tree
2010-05-14	Christopher L. Conway	Virtualizing interface between CnfStream and SatSolver	commit \| commitdiff \| tree
2010-05-13	Christopher L. Conway	Minor refactorings to PropEngine, SatSolver	commit \| commitdiff \| tree
2010-05-13	Christopher L. Conway	Minor refactorings and corrections to comments	commit \| commitdiff \| tree
2010-05-12	Christopher L. Conway	Adding ParserBuilder, reducing visibility of Parser...	commit \| commitdiff \| tree
2010-05-12	Christopher L. Conway	true and false are only defined if the core theory...	commit \| commitdiff \| tree
2010-05-12	Christopher L. Conway	Refactoring parser tests	commit \| commitdiff \| tree
2010-05-12	Christopher L. Conway	Adding class Smt2 to handle declaration of logic and...	commit \| commitdiff \| tree
2010-05-07	Christopher L. Conway	Tightening lexer rules for numerals in SMT v2	commit \| commitdiff \| tree
2010-05-06	Christopher L. Conway	Adding --strict-parsing option	commit \| commitdiff \| tree
2010-05-06	Christopher L. Conway	Adding AntlrInput::tokenTextSubstr	commit \| commitdiff \| tree
2010-05-06	Christopher L. Conway	Adding tests for Rational::fromDecimal	commit \| commitdiff \| tree
2010-05-06	Christopher L. Conway	Adding tests for Integer::pow	commit \| commitdiff \| tree
2010-05-06	Christopher L. Conway	Adding bit-vector constants in SMT2	commit \| commitdiff \| tree
2010-05-06	Christopher L. Conway	Implementing Rational::fromDecimal and adding support...	commit \| commitdiff \| tree
2010-05-04	Christopher L. Conway	Adding simple SMT2 parser tests	commit \| commitdiff \| tree
2010-05-04	Christopher L. Conway	Disabling semantic checks in competition mode.	commit \| commitdiff \| tree
2010-05-04	Christopher L. Conway	Minor change to SMT v2 grammar	commit \| commitdiff \| tree
2010-05-04	Christopher L. Conway	Adding general support for SMT2 set-info command	commit \| commitdiff \| tree
2010-05-04	Christopher L. Conway	Handling SMT 2.0 symbols and info flags	commit \| commitdiff \| tree
2010-05-03	Christopher L. Conway	Small mistake in previous commit	commit \| commitdiff \| tree
2010-05-03	Christopher L. Conway	Importing ANTLR3 lexer nextToken function to avoid...	commit \| commitdiff \| tree
2010-05-01	Christopher L. Conway	Adding missed antlr_input files	commit \| commitdiff \| tree
2010-05-01	Christopher L. Conway	Fixing private/public header warnings in parser library	commit \| commitdiff \| tree
2010-05-01	Christopher L. Conway	Adding comments to bounded token files	commit \| commitdiff \| tree
2010-04-29	Christopher L. Conway	(Not) Handling parameterized sorts in SMT v2	commit \| commitdiff \| tree
2010-04-29	Christopher L. Conway	Minor fix to SMT v2 parser tests	commit \| commitdiff \| tree
2010-04-29	Christopher L. Conway	First draft implementation of SMT v2 parser	commit \| commitdiff \| tree
2010-04-28	Christopher L. Conway	SMT parser has to map 'Real' to RealType	commit \| commitdiff \| tree
2010-04-28	Christopher L. Conway	Refactoring Input/Parser code to support external manipulati...	commit \| commitdiff \| tree
2010-04-27	Christopher L. Conway	Adding Integer and Rational constants to SMT	commit \| commitdiff \| tree
2010-04-27	Christopher L. Conway	Adding a bit of documentation to the SMT parser	commit \| commitdiff \| tree
2010-04-17	Christopher L. Conway	Fixing compiler error for optimized builds	commit \| commitdiff \| tree
2010-04-15	Christopher L. Conway	Implementing missing NodeBuilder::constructNode	commit \| commitdiff \| tree
2010-04-15	Christopher L. Conway	Enhancements to NodeManager tests, taking advantage...	commit \| commitdiff \| tree
2010-04-15	Christopher L. Conway	Removing horrible, system-locking option from Eclipse...	commit \| commitdiff \| tree
2010-04-15	Christopher L. Conway	Moving debug output in ~ContextObj under a conditional...	commit \| commitdiff \| tree
2010-04-13	Christopher L. Conway	Merging from branches/decl-scopes (r401:411)	commit \| commitdiff \| tree
2010-04-13	Christopher L. Conway	Doxygen fixes	commit \| commitdiff \| tree
2010-04-05	Christopher L. Conway	Adding black-box tests for NodeManager (Closes bug...	commit \| commitdiff \| tree
2010-04-05	Christopher L. Conway	Removing unused functions that were causing compiler...	commit \| commitdiff \| tree
2010-04-05	Christopher L. Conway	Simplifying ANTLR3 overrides	commit \| commitdiff \| tree
2010-04-05	Christopher L. Conway	Updating copyright exclusion	commit \| commitdiff \| tree
2010-04-05	Christopher L. Conway	Moving sources copied from libantlr3c to separate file	commit \| commitdiff \| tree
2010-04-05	Christopher L. Conway	Ignoring gcov files	commit \| commitdiff \| tree
2010-04-05	Christopher L. Conway	Moving code imported from libantlr3c to separate file...	commit \| commitdiff \| tree
2010-04-05	Christopher L. Conway	Adding match override to AntlrInput, in attempt to...	commit \| commitdiff \| tree
2010-04-05	Christopher L. Conway	Minor refactorings, in response to code review (Bug...	commit \| commitdiff \| tree
2010-04-05	Christopher L. Conway	Typos and renames for code review	commit \| commitdiff \| tree
2010-04-03	Christopher L. Conway	Reverting r365	commit \| commitdiff \| tree
2010-04-02	Christopher L. Conway	Overriding ANTLR3 error recovery routine	commit \| commitdiff \| tree
2010-04-02	Christopher L. Conway	Fixing double delete bug in main.cpp	commit \| commitdiff \| tree
2010-04-01	Christopher L. Conway	Changing min/maxArity to use metakind info.	commit \| commitdiff \| tree
2010-04-01	Christopher L. Conway	Parser tweaks to address review	commit \| commitdiff \| tree
2010-04-01	Christopher L. Conway	Adding newly generated files	commit \| commitdiff \| tree
2010-04-01	Christopher L. Conway	Removing Expr::operator=(uintptr_t n), as it's no longer...	commit \| commitdiff \| tree
2010-04-01	Christopher L. Conway	Adding check for --disable-shared on --enable-coverage	commit \| commitdiff \| tree
2010-03-31	Christopher L. Conway	Fix bug in SMT-LIB with let/flet bindings	commit \| commitdiff \| tree
2010-03-31	Christopher L. Conway	Finishing parser cleanup. Code is now review-ready.	commit \| commitdiff \| tree
2010-03-31	Christopher L. Conway	More parser cleanup. Should fix problems with last...	commit \| commitdiff \| tree
2010-03-31	Christopher L. Conway	Code cleanup in parser	commit \| commitdiff \| tree
2010-03-31	Christopher L. Conway	Adding 'generated/' to .gitignore	commit \| commitdiff \| tree
2010-03-30	Christopher L. Conway	Removing unnecessary .gitignores	commit \| commitdiff \| tree
2010-03-30	Christopher L. Conway	Merging from branches/antlr3 (r246:354)	commit \| commitdiff \| tree
2010-03-28	Christopher L. Conway	Rm'ing test file (sorry for spam)	commit \| commitdiff \| tree
2010-03-28	Christopher L. Conway	Adding test file	commit \| commitdiff \| tree
2010-03-25	Christopher L. Conway	Merging let/flet rules in SMT parser	commit \| commitdiff \| tree
2010-03-25	Christopher L. Conway	Adding comments to NodeManager	commit \| commitdiff \| tree
2010-03-10	Christopher L. Conway	Lexical scoping for let-bound variables (Bug #53)	commit \| commitdiff \| tree
2010-03-10	Christopher L. Conway	Adding preliminary let/flet support to SMT parser ...	commit \| commitdiff \| tree
2010-03-09	Christopher L. Conway	Adding support for "distinct" builtin in SMT parser	commit \| commitdiff \| tree
2010-03-09	Christopher L. Conway	Adding support for sort U in QF_UF.	commit \| commitdiff \| tree
2010-02-27	Christopher L. Conway	Adding --mmap option to use memory-mapped file input...	commit \| commitdiff \| tree
2010-02-25	Christopher L. Conway	Adding Node::getOperator()	commit \| commitdiff \| tree
2010-02-23	Christopher L. Conway	Minor optimizations to parser (use const string& for...	commit \| commitdiff \| tree
2010-02-22	Christopher L. Conway	Switching to types-as-attributes in parser	commit \| commitdiff \| tree
2010-02-19	Christopher L. Conway	Changing minArity of AND/OR to 1 in SMT parser	commit \| commitdiff \| tree
next

RSS Atom