projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Some defensive programming at destruction time, and fix a latent dangling pointer...
[cvc5.git] / src / context /
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
2012-08-07 Morgan DetersSome items from the CVC4 public interface review: tree | commitdiff
2012-07-27 François BobotMerge quantifiers2-trunk: tree | commitdiff
2012-07-07 Morgan DetersVarious fixes to documentation---typos, some incomplete... tree | commitdiff
2012-06-22 François BobotParser: add the possibility to bind at level 0. tree | commitdiff
2012-06-11 Morgan DetersMerge from quantifiers2-trunkmerge branch. tree | commitdiff
2012-05-18 Tim KingRemoving long unsigned operator+ from CDList's const_it... tree | commitdiff
2012-05-09 Dejan Jovanović* simplifying equality engine interface tree | commitdiff
2012-04-27 Tim KingThis merges in the branch cvc4/branches/arithmetic... tree | commitdiff
2012-04-24 Tim KingThis commit merges in the branch branches/arithmetic... tree | commitdiff
2012-04-17 Tim KingMerges branches/arithmetic/atom-database r2979 through... tree | commitdiff
2012-04-03 Tim KingFix for make dist. tree | commitdiff
2012-04-02 Tim King- Merged in the branch cdlist-cleanup. tree | commitdiff
2012-03-07 François Bobotcdqueue : fix size(). Thank you Clark for spotting... tree | commitdiff
2012-03-02 Tim KingThis commit merges in the changes from branches/arithme... tree | commitdiff
2012-03-02 Dejan JovanovićCDMap -> CDHashMap tree | commitdiff
2012-03-02 Tim KingRenamed CDQueue to CDTrailQueue and CDQueue2 to CDQueue... tree | commitdiff
2012-03-01 Morgan DetersPartial merge from kind-backend branch, including Minis... tree | commitdiff
2012-03-01 François Bobotcdqueue2 : cdlist that can be used like queue and can... tree | commitdiff
2012-02-28 Tim KingAdds the CDQueue class. This is a wrapper for combinin... tree | commitdiff
2011-11-05 Morgan DetersContext::ScopedPush implemented (in support of theory... tree | commitdiff
2011-09-29 Morgan DetersSome base infrastructure for user push/pop; a few bugfi... tree | commitdiff
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: tree | commitdiff
2011-09-02 Morgan DetersEnsure that assignment gestures through CDMap iterators... tree | commitdiff
2011-06-18 Morgan DetersSome fixes inspired by Fedora 15: tree | commitdiff
2011-06-06 Morgan Deterscompilation fix for x86 (from previous commit) tree | commitdiff
2011-06-06 Morgan DetersFix for Mac OS breakage (x86 didn't crash, but probably... tree | commitdiff
next