projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Changing getTearDownIncremental() to return the type of options::tearDownIncremental.
[cvc5.git] / src / context /
2016-11-12 Clark BarrettMerge pull request #107 from timothy-king/smt1-parser... tree | commitdiff
2016-11-12 Clark BarrettMerge pull request #106 from timothy-king/cvc-parser... tree | commitdiff
2016-11-12 Clark BarrettFixed a bug in cdhashmap in which doubly-linked list... tree | commitdiff
2016-11-03 Tim KingMerge pull request #100 from 4tXJ7f/fix_context_mm_black tree | commitdiff
2016-11-03 Andres NotzliFix back() of empty deque in context_mm_black test tree | commitdiff
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-09-02 Tim KingMerge pull request #91 from timothy-king/no-throw tree | commitdiff
2016-09-01 Tim KingRelaxing the throw specifiers for the destructors for... tree | commitdiff
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-06-30 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-06-23 Clark BarrettFixed some warnings, fixed bug in cdhashmap that was... tree | commitdiff
2016-04-20 PaulMengupdate from the master tree | commitdiff
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-04-04 Tim KingUpdating the copyright headers and scripts. tree | commitdiff
2016-01-06 Tim KingRemoving dead code. StackingMap only appeared in unit... tree | commitdiff
2015-12-15 Tim KingAdding destructors for CDO an CDOhash_map in the restor... tree | commitdiff
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking tree | commitdiff
2015-10-24 Tim KingSpecify that the default initialization must always... tree | commitdiff
2015-05-12 barrettcwMerge pull request #74 from finnhaedicke/namespace_minisat tree | commitdiff
2015-04-24 Clark BarrettFix compiler errors due to unbalanced throw specifiers. tree | commitdiff
2015-04-23 Clark BarrettMerge branch 'master' into google tree | commitdiff
2015-04-21 Clark BarrettChanges needed to compile at Google, plus some bug... tree | commitdiff
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-11-13 Morgan DetersMerge pull request #69 from mdeters/bug594 tree | commitdiff
2014-11-13 Morgan DetersPossible fix for bug594 tree | commitdiff
2014-11-11 Morgan DetersMinor cleanup. tree | commitdiff
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... tree | commitdiff
2014-07-01 Morgan DetersUpdate copyrights. tree | commitdiff
2014-07-01 Morgan DetersMerge pull request #44 from mdeters/prio-queue-updates tree | commitdiff
2014-07-01 Morgan DetersMerge pull request #45 from mdeters/turn-off-strings-exp tree | commitdiff
2014-06-30 Kshitij BansalMerge pull request #47 from kbansal/sets tree | commitdiff
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission' tree | commitdiff
2014-06-25 Kshitij Bansalcosmetic tree | commitdiff
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application' tree | commitdiff
2014-06-19 Morgan DetersDisallow context-dependent copy/assignment. tree | commitdiff
2014-06-17 Morgan DetersDisallow context-dependent copy/assignment. tree | commitdiff
2014-04-10 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-04-09 Kshitij BansalMerge pull request #24 from kbansal/sets-model tree | commitdiff
2014-04-09 Kshitij Bansaltry foreach on CD datastructure tree | commitdiff
2014-04-01 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-03-26 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-21 Kshitij BansalMerge pull request #10 from kbansal/sets-for-merge tree | commitdiff
2014-02-21 Kshitij Bansaladd new theory (sets) tree | commitdiff
2013-12-05 Morgan DetersUpdate copyrights, add missing file-level documentation... tree | commitdiff
2013-11-11 Morgan DetersFlatten libcvc4 build structure; remove some #include... tree | commitdiff
2013-11-07 Morgan DetersFlatten libcvc4 build structure; remove some #include... tree | commitdiff
2013-04-30 lianahfixed merge conflicts tree | commitdiff
2013-04-26 Tim KingFCSimplex branch merge tree | commitdiff
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails tree | commitdiff
2013-04-02 Morgan Detersupdate copyrights tree | commitdiff
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality... tree | commitdiff
2013-03-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan Detersfix to build system: #include the proper file when... tree | commitdiff
2013-03-13 lianahpost failed attempts at getting the incremental solver... tree | commitdiff
2013-03-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-01 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-26 lianahMerge branch '1.0.x' tree | commitdiff
2013-02-17 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-17 Kshitij BansalMerge pull request #6 from kbansal/decNewoptions tree | commitdiff
2013-02-16 Morgan DetersSome cleanup and copyright updating tree | commitdiff
2013-02-16 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-15 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-15 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-15 Tim KingMerge branch '1.0.x' tree | commitdiff
2013-02-08 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-05 Kshitij BansalMerge remote-tracking branch 'origin/1.0.x' tree | commitdiff
2013-02-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-04 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-04 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-01 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-31 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-28 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-27 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-23 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-22 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-22 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-19 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2012-12-22 Dejan JovanovićMerge branch '1.0.x' tree | commitdiff
2012-12-18 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2012-12-15 Tim KingMerging in patch from branch '1.0.x'. tree | commitdiff
2012-12-12 Dejan JovanovićMerge pull request #2 from CVC4/1.0.x tree | commitdiff
2012-12-11 Morgan DetersMerge branch '1.0.x', getting fix for bug 480 tree | commitdiff
2012-12-11 Morgan DetersMerge branch '1.0.x' (getting fix for bug 479) tree | commitdiff
2012-12-11 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2012-12-08 Morgan DetersMerge from 1.0.x (bugfix for 476). tree | commitdiff
2012-12-07 François BobotMerge release branch '1.0.x' tree | commitdiff
2012-12-06 François BobotMerge branch 'release-1.0.x' tree | commitdiff
2012-12-05 Tim KingThis commit merges in CDTrailHashMap and CDInsertHashMa... tree | commitdiff
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... tree | commitdiff
2012-09-28 Morgan Detersrename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert... tree | commitdiff
2012-09-19 Morgan DetersGeneral subscriber infrastructure for NodeManager,... tree | commitdiff
2012-08-16 Morgan DetersReplace propagateAsDecision() with Theory::getNextDecis... tree | commitdiff
2012-08-08 Morgan DetersPublic interface review items: tree | commitdiff
next