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

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	Kshitij Bansal	fix for bug586	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	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
2014-08-22	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-08-22	Morgan Deters	Fix incorrectly-labeled test.	commit \| commitdiff \| tree
2014-08-22	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-08-22	Morgan Deters	Fix operator-printing issue in SMT2.	commit \| commitdiff \| tree
2014-08-22	Morgan Deters	Fix SMT1 parser :extrasorts/:extrapreds.	commit \| commitdiff \| tree
2014-08-19	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-08-19	Morgan Deters	Produce error for bad indexed function names in SMT...	commit \| commitdiff \| tree
2014-08-18	Morgan Deters	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-08-18	Morgan Deters	Revert a8e0ce67 and add test case (resolves bug #578).	commit \| commitdiff \| tree
2014-08-13	Morgan Deters	To avoid confusion, permit --enable-staticbinary as...	commit \| commitdiff \| tree
2014-08-09	Morgan Deters	Fix a build issue for some configurations, thanks Tianyi.	commit \| commitdiff \| tree
2014-08-07	Morgan Deters	Another build fix.	commit \| commitdiff \| tree
2014-08-07	Morgan Deters	Fix win32 build.	commit \| commitdiff \| tree
2014-08-06	Morgan Deters	Fix double-linking issue (I think) by simplifying builds...	commit \| commitdiff \| tree
2014-08-06	Morgan Deters	First crack at fixing double-linking issues in build...	commit \| commitdiff \| tree
2014-08-05	Morgan Deters	Fix for manpages.	commit \| commitdiff \| tree
2014-08-05	lianah	fixed bug575 for bv models	commit \| commitdiff \| tree
2014-08-04	Morgan Deters	Some fixes to symmetry breaker (resolves bug 576).	commit \| commitdiff \| tree
2014-08-04	Morgan Deters	Some fixes to symmetry breaker (resolves bug 576).	commit \| commitdiff \| tree
2014-08-04	Morgan Deters	Better support for resource-limiting when there aren...	commit \| commitdiff \| tree
2014-07-13	Morgan Deters	Versioning for master.	commit \| commitdiff \| tree
2014-07-13	Morgan Deters	New versioning for development version.	commit \| commitdiff \| tree
2014-07-13	Morgan Deters	Cutting release 1.4.	commit \| commitdiff \| tree
2014-07-13	Morgan Deters	Status for new bug testcase.	commit \| commitdiff \| tree
2014-07-13	Morgan Deters	Fix a bug in Boolean terms and arrays. Thanks to Jean...	commit \| commitdiff \| tree
2014-07-11	Morgan Deters	Spelling.	commit \| commitdiff \| tree
2014-07-02	Morgan Deters	Fix cut-release script for new configure rules.	commit \| commitdiff \| tree
2014-07-02	Morgan Deters	Minor.	commit \| commitdiff \| tree
2014-07-01	Morgan Deters	Fix path in CASC J7 scripts, and distribute them with...	commit \| commitdiff \| tree
2014-07-01	Morgan Deters	Update copyrights.	commit \| commitdiff \| tree
2014-07-01	Morgan Deters	reword NEWS	commit \| commitdiff \| tree
2014-06-28	Morgan Deters	Automatically make SMT options from command-line option...	commit \| commitdiff \| tree
2014-06-28	Morgan Deters	Fix bug in datatypes options specification	commit \| commitdiff \| tree
2014-06-27	Morgan Deters	Another fix for 32-bit (amends commit b825605).	commit \| commitdiff \| tree
2014-06-26	Morgan Deters	Fix for 32-bit (esp. win32 failing build).	commit \| commitdiff \| tree
2014-06-26	Morgan Deters	Merge tag 'smtcomp2014-resubmission'	commit \| commitdiff \| tree
2014-06-26	Morgan Deters	Potential fix for bug 573.	commit \| commitdiff \| tree
2014-06-26	Morgan Deters	Ignore error result when an error is squelched via...	commit \| commitdiff \| tree
2014-06-26	Morgan Deters	Remove leftover debugging output.	commit \| commitdiff \| tree
2014-06-26	Morgan Deters	Minor language bindings fixes.	commit \| commitdiff \| tree
2014-06-26	Morgan Deters	Add missing function definition.	commit \| commitdiff \| tree
2014-06-25	Morgan Deters	Turn strings-exp off by default (for the release)	commit \| commitdiff \| tree
2014-06-25	Morgan Deters	BinaryHeap unit test and some usability/build fixes...	commit \| commitdiff \| tree
2014-06-25	Tim King	Fixing the previous bugfix.	commit \| commitdiff \| tree
2014-06-25	Morgan Deters	Stack-size portfolio fix. If using Boost 1.50, --thread...	commit \| commitdiff \| tree
2014-06-25	Morgan Deters	Fix some #line annotations.	commit \| commitdiff \| tree
2014-06-25	Morgan Deters	Don't allow libabc to load extensions at runtime.	commit \| commitdiff \| tree
2014-06-24	Morgan Deters	stack-size portfolio fix. boost 1.50 now required	commit \| commitdiff \| tree
2014-06-24	Tim King	Alternative lazier heuristic for assertion rewriting.	commit \| commitdiff \| tree
2014-06-24	Tim King	Fixing a soundness bug in arithmetic and a roubustness...	commit \| commitdiff \| tree
next

RSS Atom