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

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-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-07-01	Morgan Deters	Merge pull request #44 from mdeters/prio-queue-updates	commit \| commitdiff \| tree
2014-07-01	Morgan Deters	Merge pull request #45 from mdeters/turn-off-strings-exp	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	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	Morgan Deters	Fix header check for glpk.h.	commit \| commitdiff \| tree
2014-06-24	Morgan Deters	Squashed commit of the following:	commit \| commitdiff \| tree
2014-06-23	Morgan Deters	Fix header check for glpk.h.	commit \| commitdiff \| tree
2014-06-23	Morgan Deters	Fatal error if --unconstrained-simp and --produce-models...	commit \| commitdiff \| tree
2014-06-22	Morgan Deters	Output language "cvc3" (as opposed to "cvc" or "cvc4...	commit \| commitdiff \| tree
2014-06-22	Morgan Deters	Minor cleanup stuff.	commit \| commitdiff \| tree
2014-06-22	Morgan Deters	Better documentation pages.	commit \| commitdiff \| tree
2014-06-22	Morgan Deters	Re-enable UNTERMINATED_QUOTED_SYMBOL rules.	commit \| commitdiff \| tree
2014-06-22	Morgan Deters	Merge tag 'smtcomp2014-application'	commit \| commitdiff \| tree
2014-06-22	Morgan Deters	QuitCommand needs "success" output for trace executor...	commit \| commitdiff \| tree
2014-06-22	Morgan Deters	Final fixes for smtcomp2014-application.	commit \| commitdiff \| tree
2014-06-22	Morgan Deters	Another updated submission strategy.	commit \| commitdiff \| tree
2014-06-22	Morgan Deters	Another updated submission strategy.	commit \| commitdiff \| tree
2014-06-22	Morgan Deters	Run in application track with --check-models.	commit \| commitdiff \| tree
2014-06-22	Morgan Deters	Fix compiler warnings (mostly unused variables).	commit \| commitdiff \| tree
2014-06-22	Morgan Deters	API documentation improvements.	commit \| commitdiff \| tree
2014-06-22	Morgan Deters	Run in application track with --check-models.	commit \| commitdiff \| tree
2014-06-22	Morgan Deters	Fix compiler warnings in BV-related code (unused vars...	commit \| commitdiff \| tree
2014-06-22	Morgan Deters	Fix to the compatibility library (this does fix the...	commit \| commitdiff \| tree
2014-06-21	Morgan Deters	Fix compat-Java layer, should fix build.	commit \| commitdiff \| tree
2014-06-21	Morgan Deters	Sets kinds documentation	commit \| commitdiff \| tree
2014-06-21	Morgan Deters	Lower the Java JRE version requirement.	commit \| commitdiff \| tree
2014-06-21	Morgan Deters	Adjust library dependencies to be more correct (fixes...	commit \| commitdiff \| tree
2014-06-21	Morgan Deters	Add some missing functions in configuration and compat...	commit \| commitdiff \| tree
2014-06-21	Morgan Deters	Slightly-improved kinds documentation for builtin,...	commit \| commitdiff \| tree
2014-06-21	Morgan Deters	Minor fixes for man pages.	commit \| commitdiff \| tree
2014-06-21	Morgan Deters	Some minor cleanup and documentation.	commit \| commitdiff \| tree
2014-06-21	Morgan Deters	Implement RecordProperties::mkGroundTerm(). Resolves...	commit \| commitdiff \| tree
2014-06-21	Morgan Deters	Bit-vector kinds documentation	commit \| commitdiff \| tree
2014-06-21	Morgan Deters	Datatypes kinds documentation	commit \| commitdiff \| tree
2014-06-21	Morgan Deters	Quantifiers kinds documentation	commit \| commitdiff \| tree
2014-06-21	Morgan Deters	UF kinds documentation	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Better --segv-spin messages.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Fix make install-examples.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Proper escaping in option documentation.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Version of the run script that works with trace executor...	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Options script fix.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Fix for mac readline.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Better error for invalid concrete syntax of sorts with...	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Fix GLPK builds: correct access specifier on cut classes.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Java bindings fixes.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Minor Doxygen fixes.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Fix for pre-C++11 is_sorted().	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	More minor code cleanup.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	No more dependence on libstdc++ or PBDS stuff: remove...	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	New translator features: expand define-funs and combine...	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Code cleanup.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Documentation clean-ups.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Another fix for the CASC stuff.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Final preparations for arithmetic for building with...	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Fix for new CASC features, fixes Java builds.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Some reversions of recent commits re: portfolio failure.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Test portfolio with --no-wait-to-join.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Fix rewriter typo.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Clean up glpk detection a little, fix a detection bug.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	fix typo	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	More application-track fixes for use with trace executor.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Versioning preparation.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Some fixes for tear-down-incremental and "success"...	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Disallow context-dependent copy/assignment.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Fix compile errors with some versions of GCC.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Clean up some compiler warnings on 32-bit.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Minor fixes to get-abc script and configure stuff.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	get-glpk-cut-log script, and configure code.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	dos2unix-convert some sources.	commit \| commitdiff \| tree
2014-06-19	Morgan Deters	Minor fixes, spelling etc.	commit \| commitdiff \| tree
next

RSS Atom