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

2019-06-01	Andrew Reynolds	Require that FMF model basis terms are variables ...	commit \| commitdiff \| tree
2019-05-21	Martin	Update to symfpu 0.0.7, fixes RTI 3/5 issue (#3007)	commit \| commitdiff \| tree
2019-05-18	Aina Niemetz	FP: Fix regression test and enable SymFPU on Travis...	commit \| commitdiff \| tree
2019-05-18	Andrew Reynolds	Update QF_NIA strategy (#3012)	commit \| commitdiff \| tree
2019-05-15	Mathias Preiner	cmake: Install JAR and JNI files for Java bindings...	commit \| commitdiff \| tree
2019-05-01	Andrew Reynolds	Fix re-elim-agg regressions (#2987)	commit \| commitdiff \| tree
2019-04-24	Mathias Preiner	Do not use __ prefix for header guards. (#2974)	commit \| commitdiff \| tree
2019-04-17	Andrew Reynolds	Fix extended function decomposition (#2960)	commit \| commitdiff \| tree
2019-04-16	makaimann	Check for rt library in configuration -- support for...	commit \| commitdiff \| tree
2019-04-01	makaimann	Update includes to use cvc4 top-level directory in...	commit \| commitdiff \| tree
2019-03-24	Aina Niemetz	BV: Fix typerules for rotate operators. (#2895)	commit \| commitdiff \| tree
2019-03-22	Andrew Reynolds	Fix instantiation stat for fmf (#2889)	commit \| commitdiff \| tree
2019-03-22	makaimann	Use empty vector instead of false in query with null...	commit \| commitdiff \| tree
2019-03-16	Alex Ozdemir	Enable CryptoMiniSat-backed BV proofs (#2847)	commit \| commitdiff \| tree
2019-03-14	makaimann	check for null assumption in query and replace with...	commit \| commitdiff \| tree
2019-02-13	Aina Niemetz	New C++ API: Remove redundant mkTerm function. (#2836)	commit \| commitdiff \| tree
2019-01-16	Andrew Reynolds	Fix constant contains ITOS rewrite (#2799)	commit \| commitdiff \| tree
2019-01-09	Alex Ozdemir	[BV Proofs] Option for proof format (#2777)	commit \| commitdiff \| tree
2019-01-05	Mathias Preiner	cmake: Disable unit tests for static builds. (#2775)	commit \| commitdiff \| tree
2018-12-14	Andrew Reynolds	Fix extended rewriter for binary associative operators...	commit \| commitdiff \| tree
2018-12-14	Andrew Reynolds	Make single invocation and invariant pre/post condition...	commit \| commitdiff \| tree
2018-12-04	Andrew Reynolds	Enable regular expression elimination by default. ...	commit \| commitdiff \| tree
2018-11-27	Andrew Reynolds	Make (T)NodeTrie a general utility (#2489)	commit \| commitdiff \| tree
2018-11-27	Andrew Reynolds	Fix coverity warnings in datatypes (#2553)	commit \| commitdiff \| tree
2018-11-23	Tom Smeding	Use https for antlr3.org downloads (#2701)	commit \| commitdiff \| tree
2018-11-21	Andrew Reynolds	Quickly recognize when PBE conjectures are infeasible...	commit \| commitdiff \| tree
2018-11-21	Martin	Obvious rewrites to floating-point < and <=. (#2706)	commit \| commitdiff \| tree
2018-11-20	Andrew Reynolds	Fix real2int regression. (#2716)	commit \| commitdiff \| tree
2018-11-20	Alex Ozdemir	Change lemma proof step storage & iterators (#2712)	commit \| commitdiff \| tree
2018-11-14	Mathias Preiner	cmake: Require boost 1.50.0 for examples. (#2710)	commit \| commitdiff \| tree
2018-11-05	Andrew Reynolds	Implement option to turn off symmetry breaking for...	commit \| commitdiff \| tree
2018-10-22	makaimann	Fail for SWIG 3.0.8 (#2656)	commit \| commitdiff \| tree
2018-10-20	Mathias Preiner	Remove antlr_undefines.h. (#2664)	commit \| commitdiff \| tree
2018-10-19	Mathias Preiner	cmake: Run regression level 2 for make check. (#2645)	commit \| commitdiff \| tree
2018-10-17	Aina Niemetz	BV rewrites (mined): Rule 35: ConcatPullUp (BITVECTOR_OR...	commit \| commitdiff \| tree
2018-10-15	Andrew Reynolds	Delay initialization of theory engine (#2621)	commit \| commitdiff \| tree
2018-10-12	Andrew Reynolds	Fix heuristic for string length approximation (#2622)	commit \| commitdiff \| tree
2018-10-09	Andrew Reynolds	Fix string register extended terms (#2597)	commit \| commitdiff \| tree
2018-10-05	Andrew Reynolds	Fix rewrite rule filtering. (#2591)	commit \| commitdiff \| tree
2018-10-04	Andrew Reynolds	Fix end constraint for regexp elimination (#2571)	commit \| commitdiff \| tree
2018-10-01	Mathias Preiner	cmake: Generate compile_commands.json on configure...	commit \| commitdiff \| tree
2018-10-01	Aina Niemetz	Fix compiler warnings. (#2555)	commit \| commitdiff \| tree
2018-09-25	Andrew Reynolds	Fix quantifiers selector over store rewrite (#2510)	commit \| commitdiff \| tree
2018-09-25	Andrew Reynolds	Refactor strings equality rewriting (#2513)	commit \| commitdiff \| tree
2018-09-25	Mathias Preiner	cmake: Fix dependencies for code generation. (#2524)	commit \| commitdiff \| tree
2018-09-25	Aina Niemetz	cmake: Fix git version info (again). (#2523)	commit \| commitdiff \| tree
2018-09-19	Andrew Reynolds	Decision strategy: incorporate separation logic. (...	commit \| commitdiff \| tree
2018-09-19	Andrew Reynolds	Add two rewrites for string contains character (#2492)	commit \| commitdiff \| tree
2018-09-19	Andrew Reynolds	Refactor strings extended functions inferences (#2480)	commit \| commitdiff \| tree
2018-09-18	Andrew Reynolds	Improvements and fixes for symmetry detection and breaking...	commit \| commitdiff \| tree
2018-09-17	Andrew Reynolds	Make strings model construction robust to lengths that...	commit \| commitdiff \| tree
2018-09-14	Andrew Reynolds	Add Skolem cache for strings, refactor length registration...	commit \| commitdiff \| tree
2018-09-11	Andrew Reynolds	Support model cores via option --produce-model-cores...	commit \| commitdiff \| tree
2018-09-11	Haniel Barbosa	Using a single condition enumerator in sygus-unif ...	commit \| commitdiff \| tree
2018-09-07	Mathias Preiner	Remove clock_gettime() replacement for macOS. (#2436)	commit \| commitdiff \| tree
2018-09-05	Mathias Preiner	Add HAVE_CLOCK_GETTIME guard to clock_gettime.c (#2428)	commit \| commitdiff \| tree
2018-09-04	Andrew Reynolds	Remove redundant strings rewrite. (#2422)	commit \| commitdiff \| tree
2018-08-28	Andrew Reynolds	Address more coverity warnings (#2394)	commit \| commitdiff \| tree
2018-08-28	Andrew Reynolds	Refactor extended rewriter, move rewrites to aggressive...	commit \| commitdiff \| tree
2018-08-28	Aina Niemetz	New C++ API: Fix isDefinedKind() to not be ambigious...	commit \| commitdiff \| tree
2018-08-27	Mathias Preiner	Use std:unique_ptr instead of raw pointers in theory...	commit \| commitdiff \| tree
2018-08-25	yoni206	Refactor quantifier macros preprocessing pass (#1840)	commit \| commitdiff \| tree
2018-08-24	Aina Niemetz	New C++ API: Add checks for kind arguments. (#2369)	commit \| commitdiff \| tree
2018-08-23	Tim King	Replacing allocatedInCMM and d_noTrash with false everywhere...	commit \| commitdiff \| tree
2018-08-23	Andrew Reynolds	Fixing some coverity warnings (#2357)	commit \| commitdiff \| tree
2018-08-21	Aina Niemetz	Remove disabled system test cvc3_george. (#2342)	commit \| commitdiff \| tree
2018-08-18	Aina Niemetz	run-regress script: Exit with exit code > 0 on failure...	commit \| commitdiff \| tree
2018-08-17	Andrew Reynolds	Add sygus stream regressions (#2330)	commit \| commitdiff \| tree
2018-08-17	Andrew Reynolds	Eliminate partial operators in sygus grammar normalization...	commit \| commitdiff \| tree
2018-08-17	Tim King	Initialize inputAssertions only when proofRecipe is...	commit \| commitdiff \| tree
2018-08-17	Mathias Preiner	Refactor eager atoms preprocessing pass. (#2318)	commit \| commitdiff \| tree
2018-08-17	Caleb Donovick	Make quantifiers-preprocess preprocessing pass (#2322)	commit \| commitdiff \| tree
2018-08-16	Tim King	Switching an Assert to a CVC4_CHECK to test if it resolves...	commit \| commitdiff \| tree
2018-08-15	Mathias Preiner	Add contrib/get-gmp script. (#2292)	commit \| commitdiff \| tree
2018-08-08	Andrew Reynolds	Simplify and improve the sygus parser (#2266)	commit \| commitdiff \| tree
2018-08-07	Andrew Reynolds	Remove support for Enum sygus syntax. (#2264)	commit \| commitdiff \| tree
2018-08-06	Andrew Reynolds	Fixes for sygus inference (#2238)	commit \| commitdiff \| tree
2018-08-02	Andrew Reynolds	Make strings robust to regular expression variables...	commit \| commitdiff \| tree
2018-08-02	Andrew Reynolds	Improvements and fixes in cegqi arithmetic (#2247)	commit \| commitdiff \| tree
2018-08-01	Andrew Reynolds	Fix issues with bv2nat (#2219)	commit \| commitdiff \| tree
2018-08-01	Andrew Reynolds	Fix assertion in conjecture generator (#2246)	commit \| commitdiff \| tree
2018-08-01	Andrew Reynolds	Make conjecture generator's uf term enumeration safer...	commit \| commitdiff \| tree
2018-08-01	Andrew Reynolds	Make candidate rewrite match filtering handle polymorphic...	commit \| commitdiff \| tree
2018-07-27	Mathias Preiner	Make Python a required CVC4 dependency. (#2227)	commit \| commitdiff \| tree
2018-07-27	Andrew Reynolds	Fix for candidate rewrite rule filtering. (#2220)	commit \| commitdiff \| tree
2018-07-27	Andrew Reynolds	Make check-synth robust for assertions that are not...	commit \| commitdiff \| tree
2018-07-27	Andrew Reynolds	Fix Node::hasFreeVar for function variables (#2216)	commit \| commitdiff \| tree
2018-07-26	Aina Niemetz	New C++ API: Enable examples. (#2222)	commit \| commitdiff \| tree
2018-07-26	Andrew Reynolds	Fix rewriter for lambda (#2211)	commit \| commitdiff \| tree
2018-07-26	ayveejay	Avoid explicit dependency on Python 3 (#2195)	commit \| commitdiff \| tree
2018-07-25	Tim King	Changing ArithIteUtils to use CDInsertHashMap. (#2206)	commit \| commitdiff \| tree
2018-07-25	Tim King	Removing support for CDHashMap::iterator's postfix...	commit \| commitdiff \| tree
2018-07-22	Andrew Reynolds	sygusComp2018: Improvements to CEGIS loop (#2187)	commit \| commitdiff \| tree
2018-07-11	Caleb Donovick	Move rewrite to pass (#2128)	commit \| commitdiff \| tree
2018-07-07	Andrew Reynolds	sygusComp2018: improve extended rewriter for Bool...	commit \| commitdiff \| tree
2018-07-06	Martin	Feature/fp rewrite improvement (#2154)	commit \| commitdiff \| tree
2018-07-06	Aina Niemetz	New C++ API: Implementation of Solver class: Term handling...	commit \| commitdiff \| tree
2018-07-06	Andrew Reynolds	sygusComp2018: simplify beta reduction in uf rewriter...	commit \| commitdiff \| tree
2018-07-05	Andrew Reynolds	Make string length lemmas more robust to rewriting...	commit \| commitdiff \| tree
2018-07-05	Andrew Reynolds	Minor changes to sygus-rr utilities to support floating...	commit \| commitdiff \| tree
next

RSS Atom