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

2014-11-13	Morgan Deters	Merge pull request #65 from mdeters/bv-ineq-cachefix	commit \| commitdiff \| tree
2014-11-13	Morgan Deters	BV inequality graph TNode fix.	commit \| commitdiff \| tree
2014-11-13	Morgan Deters	Fix BV inequality solver caching.	commit \| commitdiff \| tree
2014-11-12	Morgan Deters	Fix tokenization of "reset" in SMT-LIB v2.0. It's...	commit \| commitdiff \| tree
2014-11-11	Morgan Deters	Minor cleanup.	commit \| commitdiff \| tree
2014-11-10	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-11-10	Morgan Deters	Update TheorySets to use CDHashSet<>::key_begin() ...	commit \| commitdiff \| tree
2014-11-09	Morgan Deters	Update TheoryStrings to use CDHashSet<>::key_begin...	commit \| commitdiff \| tree
2014-11-09	Morgan Deters	Work around an apparent bug in libc++ that was causing...	commit \| commitdiff \| tree
2014-11-09	Morgan Deters	Fix a deterministic assignment-ordering for get-assignment...	commit \| commitdiff \| tree
2014-11-09	Morgan Deters	Increase stack size when running regressions (fixes...	commit \| commitdiff \| tree
2014-11-08	Morgan Deters	Merge pull request #62 from mdeters/bv-cleanup	commit \| commitdiff \| tree
2014-11-08	Morgan Deters	Remove some unused variables.	commit \| commitdiff \| tree
2014-11-07	Morgan Deters	Remove some dead code.	commit \| commitdiff \| tree
2014-11-07	Morgan Deters	Fix a memory leak in SatSolverRegistry (re: bug #594).	commit \| commitdiff \| tree
2014-11-07	Morgan Deters	Fix memory issues in bitvector theory, which is now...	commit \| commitdiff \| tree
2014-11-07	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-11-07	Morgan Deters	Fix missing case in Boolean terms rewriting. (Resolves...	commit \| commitdiff \| tree
2014-11-07	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-11-07	Morgan Deters	Corrected fix for missing case in model postprocessor...	commit \| commitdiff \| tree
2014-11-07	Morgan Deters	Revert "Fix missing case in model postprocessor (resolves...	commit \| commitdiff \| tree
2014-11-07	Morgan Deters	Revert "Fix missing case in model postprocessor (resolves...	commit \| commitdiff \| tree
2014-11-07	Morgan Deters	Update competition build rules.	commit \| commitdiff \| tree
2014-11-07	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-11-07	Morgan Deters	Fix missing case in model postprocessor (resolves bug...	commit \| commitdiff \| tree
2014-11-05	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-11-05	Morgan Deters	Fix get-bug-attachments script.	commit \| commitdiff \| tree
2014-10-24	Morgan Deters	Fix typo.	commit \| commitdiff \| tree
2014-10-24	Morgan Deters	Minor parser performance fix.	commit \| commitdiff \| tree
2014-10-23	Morgan Deters	Parsing and infrastructure support for SMT-LIBv2.5...	commit \| commitdiff \| tree
2014-10-22	Morgan Deters	Fix bug590 regression distcheck failure from last night.	commit \| commitdiff \| tree
2014-10-17	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-10-17	Morgan Deters	Remove a bad (unstable, timing-dependent) test.	commit \| commitdiff \| tree
2014-10-16	Morgan Deters	Fix clang warnings	commit \| commitdiff \| tree
2014-10-16	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-10-16	Morgan Deters	Add Thomas Hunger to THANKS file (for having submitted...	commit \| commitdiff \| tree
2014-10-14	Morgan Deters	Merge pull request #58 from mdeters/smt-attributes	commit \| commitdiff \| tree
2014-10-14	Morgan Deters	Context-dependent expr attributes are now attached...	commit \| commitdiff \| tree
2014-10-11	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-10-11	Morgan Deters	Some defensive programming at destruction time, and...	commit \| commitdiff \| tree
2014-10-10	Morgan Deters	Cleanup	commit \| commitdiff \| tree
2014-10-09	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-10-09	Morgan Deters	Add unsat cores support to CVC native language.	commit \| commitdiff \| tree
2014-10-08	Morgan Deters	Some minor cleanup.	commit \| commitdiff \| tree
2014-10-08	Morgan Deters	Remove private header from public driver.	commit \| commitdiff \| tree
2014-10-07	Morgan Deters	define-const is an extended command, not permitted...	commit \| commitdiff \| tree
2014-10-07	Morgan Deters	Fix unit test that was broken with last commit.	commit \| commitdiff \| tree
2014-10-07	Morgan Deters	Fix a resource limiting issue where interruption didn...	commit \| commitdiff \| tree
2014-10-07	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-10-07	Morgan Deters	Fix a bug in tuple-record handling. Thanks to Saumya...	commit \| commitdiff \| tree
2014-10-07	Morgan Deters	Some minor cleanup.	commit \| commitdiff \| tree
2014-10-06	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-10-06	Morgan Deters	Copyright-updating script now retains non-NYU/UIowa...	commit \| commitdiff \| tree
2014-10-06	Morgan Deters	Print array constants in SMT-LIB models with new syntax.	commit \| commitdiff \| tree
2014-10-06	Morgan Deters	Clear out decls/defs with RESET command.	commit \| commitdiff \| tree
2014-10-06	Morgan Deters	Extended parsing testcase, with constant arrays and...	commit \| commitdiff \| tree
2014-10-06	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-10-06	Morgan Deters	Fix native language parsing of chained-store expressions...	commit \| commitdiff \| tree
2014-10-06	Morgan Deters	Support for RESET command in CVC native language (and...	commit \| commitdiff \| tree
2014-10-04	Morgan Deters	Enable some old bug testcases that (maybe?) never got...	commit \| commitdiff \| tree
2014-10-03	Morgan Deters	Support exporting array-store-all expressions to other...	commit \| commitdiff \| tree
2014-10-03	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-10-03	Morgan Deters	Fix output of integer-valued real constants in SMT...	commit \| commitdiff \| tree
2014-10-03	Morgan Deters	Add some (so far trivial) regressions for constant...	commit \| commitdiff \| tree
2014-10-03	Morgan Deters	Improve error in CVC parser in presence of unrecognized...	commit \| commitdiff \| tree
2014-10-03	Morgan Deters	More array constants and parsing: better error messages...	commit \| commitdiff \| tree
2014-10-03	Morgan Deters	Minor fixes to CVC printer.	commit \| commitdiff \| tree
2014-10-03	Morgan Deters	SMT-LIB parser support for array constants (Z3 syntax).	commit \| commitdiff \| tree
2014-10-03	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-10-03	Morgan Deters	Note array const support in NEWS	commit \| commitdiff \| tree
2014-10-03	Morgan Deters	Fix unit test for ArrayStoreAll.	commit \| commitdiff \| tree
2014-10-02	Morgan Deters	Merge branch '1.4.x'.	commit \| commitdiff \| tree
2014-10-02	Morgan Deters	Update AUTHORS affiliations and add Martin.	commit \| commitdiff \| tree
2014-10-02	Morgan Deters	Fix comment in SmtEngine.	commit \| commitdiff \| tree
2014-10-02	Morgan Deters	Merge pull request #54 from kbansal/bugfix_setssegfault	commit \| commitdiff \| tree
2014-10-02	Morgan Deters	Fix for an array-of-record model generation assert...	commit \| commitdiff \| tree
2014-09-30	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-09-30	Morgan Deters	Fix improper #inclusion of private header outside library.	commit \| commitdiff \| tree
2014-09-30	Morgan Deters	Fix a command-replay bug in tear-down-incremental mode...	commit \| commitdiff \| tree
2014-09-30	Morgan Deters	Proofs- and cores-related segfault fixes (mainly a...	commit \| commitdiff \| tree
2014-09-27	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-09-27	Morgan Deters	Fix infinite loop in --bitblast-aig/--bv-aig-simp options.	commit \| commitdiff \| tree
2014-09-26	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-09-26	Morgan Deters	Fix bv options doc.	commit \| commitdiff \| tree
2014-09-26	Morgan Deters	Fix some configuration-related oddness.	commit \| commitdiff \| tree
2014-09-26	Morgan Deters	Clarify some licensing-related things.	commit \| commitdiff \| tree
2014-09-26	Morgan Deters	Finer-grained resource-limiting in quantifiers.	commit \| commitdiff \| tree
2014-09-26	Morgan Deters	Fix AIG bitblaster for unsat cores.	commit \| commitdiff \| tree
2014-09-25	Morgan Deters	fix unit test for new fair datatype enumeration	commit \| commitdiff \| tree
2014-09-18	Morgan Deters	Resource spending support in theories (and especially...	commit \| commitdiff \| tree
2014-08-26	Morgan Deters	Improved SMT-LIBv2 language support for unsat cores.	commit \| commitdiff \| tree
2014-08-25	Morgan Deters	Fix build rule.	commit \| commitdiff \| tree
2014-08-25	Morgan Deters	Fix Win32 builds.	commit \| commitdiff \| tree
2014-08-23	Morgan Deters	Unsat core printing.	commit \| commitdiff \| tree
2014-08-23	Morgan Deters	Some fixes for dump- and get-unsat-core.	commit \| commitdiff \| tree
2014-08-23	Morgan Deters	Quieter finish to build.	commit \| commitdiff \| tree
2014-08-23	Morgan Deters	Unit test fix.	commit \| commitdiff \| tree
2014-08-22	Morgan Deters	One small thing forgotten in core commit.	commit \| commitdiff \| tree
2014-08-22	Morgan Deters	Java-side interface improvements for unsat cores.	commit \| commitdiff \| tree
2014-08-22	Morgan Deters	Unsat core infrastruture and API (SMT-LIB compliance...	commit \| commitdiff \| tree
next

RSS Atom