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 / options /
2014-07-13 Morgan DetersFix a bug in Boolean terms and arrays. Thanks to Jean... 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-28 Morgan DetersAutomatically make SMT options from command-line option... tree | commitdiff
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission' tree | commitdiff
2014-06-25 Andrew ReynoldsMerge pull request #34 from mdeters/datatypes-kinds tree | commitdiff
2014-06-25 Andrew ReynoldsMerge pull request #37 from mdeters/quants-kinds tree | commitdiff
2014-06-25 Andrew ReynoldsMerge pull request #38 from mdeters/uf-kinds tree | commitdiff
2014-06-25 Kshitij BansalMerge pull request #43 from mdeters/threadstack tree | commitdiff
2014-06-25 Tim KingMerge branch 'master' of github.com:CVC3/CVC4 tree | commitdiff
2014-06-25 Morgan DetersFix some #line annotations. tree | commitdiff
2014-06-22 Morgan DetersOutput language "cvc3" (as opposed to "cvc" or "cvc4... tree | commitdiff
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application' tree | commitdiff
2014-06-22 lianahMerge pull request #35 from mdeters/bv-kinds tree | commitdiff
2014-06-21 Morgan DetersMinor fixes for man pages. tree | commitdiff
2014-06-19 lianahfixed merge conflict tree | commitdiff
2014-06-19 Morgan DetersProper escaping in option documentation. tree | commitdiff
2014-06-19 Morgan DetersOptions script fix. tree | commitdiff
2014-06-19 Morgan DetersMore application-track fixes for use with trace executor. tree | commitdiff
2014-06-19 Morgan DetersMore doc fixes; fixes some lintian warnings. tree | commitdiff
2014-06-19 Morgan DetersProper escaping in option documentation. tree | commitdiff
2014-06-18 Kshitij BansalMerge remote-tracking branch 'upstream/master' into... tree | commitdiff
2014-06-18 Morgan DetersOptions script fix. tree | commitdiff
2014-06-17 Morgan DetersMore application-track fixes for use with trace executor. tree | commitdiff
2014-06-17 Morgan DetersMore application-track fixes for use with trace executor. tree | commitdiff
2014-06-16 Morgan DetersCareful there aren't too many "success" messages with... tree | commitdiff
2014-06-09 Kshitij BansalMerge pull request #29 from kbansal/alternatefix tree | commitdiff
2014-06-09 Morgan DetersAdd missing set of braces, fixes --trace. tree | commitdiff
2014-06-06 Kshitij BansalMerge pull request #28 from kbansal/sets tree | commitdiff
2014-06-06 Kshitij Bansal-{d,t} help => --show-{debug,trace}-tags tree | commitdiff
2014-06-06 Kshitij Bansaloption to hide stats which are zero (off by default... tree | commitdiff
2014-05-17 Kshitij BansalMerge pull request #26 from kbansal/sets tree | commitdiff
2014-05-16 Kshitij Bansalminor improvements (fixes) to did-you-mean suggestions tree | commitdiff
2014-04-30 Morgan DetersMostly resolves bug #561 memory leaks, and more. tree | commitdiff
2014-04-29 Kshitij Bansalfixed couple of more warnings tree | commitdiff
2014-04-28 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-04-28 Kshitij BansalMerge pull request #25 from kbansal/sets tree | commitdiff
2014-04-28 Kshitij BansalMerge remote-tracking branch 'upstream/master' into... tree | commitdiff
2014-04-19 Kshitij BansalEh, what? 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 Morgan DetersMinor change to better support parameterized partial... 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-21 Kshitij BansalMerge pull request #22 from kbansal/sets-model tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-11 Morgan DetersFix for rewriterules build breakage. tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-01 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-02-28 Kshitij BansalMerge pull request #11 from kbansal/improve-stats-every... tree | commitdiff
2014-02-27 Kshitij Bansal--stats-every-query option: print increment in addition... tree | commitdiff
2014-02-26 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-02-25 Morgan DetersNew translation work, support Z3-str-style string const... 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
2014-02-19 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-01-27 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-18 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-17 Kshitij BansalMerge branch '1.3.x' tree | commitdiff
2014-01-09 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-08 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-02 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-02 Morgan DetersUpdate copyright year. tree | commitdiff
2013-12-27 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-26 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-12-24 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-24 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-23 Morgan DetersProof-checking code; fixups of segfaults and missing... tree | commitdiff
2013-12-03 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-11-29 Morgan DetersFix proofs build. tree | commitdiff
2013-11-11 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-11-11 Morgan DetersSome fixes to build system with dependency-tracking... tree | commitdiff
2013-09-30 Liana Hadareanmerged golden tree | commitdiff
2013-09-13 Kshitij BansalMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-09-11 Tianyi LiangTheory of strings. tree | commitdiff
2013-08-26 Kshitij BansalMerge branch '1.2.x' tree | commitdiff
2013-08-13 Morgan Deters--segv-nospin is now default. tree | commitdiff
2013-07-29 Morgan DetersFix numerous compiler warnings on various platforms tree | commitdiff
2013-07-24 Morgan DetersFixes for building with mingw win64. tree | commitdiff
2013-07-24 Morgan DetersDon't allow --stats if not a statistics-enabled build tree | commitdiff
2013-07-24 Morgan DetersSome fixes for (get-info :all-options) tree | commitdiff
2013-07-23 Morgan Detersfix for win32 option parsing via mingw32 tree | commitdiff
2013-07-23 Morgan Deters(get-info :all-options) to get option values; also... tree | commitdiff
2013-06-25 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-06-19 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-06-06 Dejan JovanovićIDL example theory (to be used with --use-theory=idl). tree | commitdiff
2013-05-22 Andrew ReynoldsMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-05-20 Morgan DetersA couple of fixes to the get-option command for complia... tree | commitdiff
2013-05-17 Morgan DetersA couple of fixes to the get-option command for complia... 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
next