projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Proofs- and cores-related segfault fixes (mainly a usability issue), thanks Christoph...
[cvc5.git] / src / options / mkoptions
2014-09-30 Morgan DetersProofs- and cores-related segfault fixes (mainly a... blob | commitdiff | raw
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersMerge pull request #44 from mdeters/prio-queue-updates blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersMerge pull request #45 from mdeters/turn-off-strings-exp blob | commitdiff | raw | diff to current
2014-06-30 Kshitij BansalMerge pull request #47 from kbansal/sets blob | commitdiff | raw | diff to current
2014-06-28 Morgan DetersAutomatically make SMT options from command-line option... blob | commitdiff | raw | diff to current
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission' blob | commitdiff | raw | diff to current
2014-06-25 Andrew ReynoldsMerge pull request #34 from mdeters/datatypes-kinds blob | commitdiff | raw | diff to current
2014-06-25 Andrew ReynoldsMerge pull request #37 from mdeters/quants-kinds blob | commitdiff | raw | diff to current
2014-06-25 Andrew ReynoldsMerge pull request #38 from mdeters/uf-kinds blob | commitdiff | raw | diff to current
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application' blob | commitdiff | raw | diff to current
2014-06-22 lianahMerge pull request #35 from mdeters/bv-kinds blob | commitdiff | raw | diff to current
2014-06-21 Morgan DetersMinor fixes for man pages. blob | commitdiff | raw | diff to current
2014-06-19 lianahfixed merge conflict blob | commitdiff | raw | diff to current
2014-06-19 Morgan DetersProper escaping in option documentation. blob | commitdiff | raw | diff to current
2014-06-19 Morgan DetersOptions script fix. blob | commitdiff | raw | diff to current
2014-06-19 Morgan DetersMore doc fixes; fixes some lintian warnings. blob | commitdiff | raw | diff to current
2014-06-19 Morgan DetersProper escaping in option documentation. blob | commitdiff | raw | diff to current
2014-06-18 Kshitij BansalMerge remote-tracking branch 'upstream/master' into... blob | commitdiff | raw | diff to current
2014-06-18 Morgan DetersOptions script fix. blob | commitdiff | raw | diff to current
2014-04-01 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-26 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-19 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-27 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-17 Kshitij BansalMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-09 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-08 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-02 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-02 Morgan DetersUpdate copyright year. blob | commitdiff | raw | diff to current
2013-12-27 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-26 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-23 Morgan DetersProof-checking code; fixups of segfaults and missing... blob | commitdiff | raw | diff to current
2013-11-11 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-11-11 Morgan DetersSome fixes to build system with dependency-tracking... blob | commitdiff | raw | diff to current
2013-09-30 Liana Hadareanmerged golden blob | commitdiff | raw | diff to current
2013-08-26 Kshitij BansalMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-07-24 Morgan DetersSome fixes for (get-info :all-options) blob | commitdiff | raw | diff to current
2013-07-23 Morgan Deters(get-info :all-options) to get option values; also... blob | commitdiff | raw | diff to current
2013-05-22 Andrew ReynoldsMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-05-20 Morgan DetersA couple of fixes to the get-option command for complia... blob | commitdiff | raw | diff to current
2013-05-17 Morgan DetersA couple of fixes to the get-option command for complia... blob | commitdiff | raw | diff to current
2013-03-15 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-14 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-13 lianahpost failed attempts at getting the incremental solver... blob | commitdiff | raw | diff to current
2013-03-05 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-01 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-26 lianahMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-17 Kshitij BansalMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-17 Kshitij BansalMerge pull request #6 from kbansal/decNewoptions blob | commitdiff | raw | diff to current
2013-02-16 Morgan DetersSome cleanup and copyright updating blob | commitdiff | raw | diff to current
2012-10-24 Morgan DetersIncludes many fixes to build system for Solaris (thanks... blob | commitdiff | raw | diff to current
2012-10-06 Morgan Deters* Clean up some options documentation blob | commitdiff | raw | diff to current
2012-10-05 Morgan DetersBug-related: blob | commitdiff | raw | diff to current
2012-09-29 Morgan DetersFix a few segfaults in driver. blob | commitdiff | raw | diff to current
2012-09-28 Morgan Deterssome fixes to build system blob | commitdiff | raw | diff to current
2012-09-28 Morgan DetersPublic interface review items: blob | commitdiff | raw | diff to current
2012-09-27 Morgan Deters* Rename SMT parts (printer, parser) to SMT1 blob | commitdiff | raw | diff to current
2012-09-27 Morgan Detersfinally, a portable solution blob | commitdiff | raw | diff to current
2012-09-27 Morgan Detersfix for non-Mac blob | commitdiff | raw | diff to current
2012-09-27 Morgan Detersspeed up mkoptions script (esp. on Macs) blob | commitdiff | raw | diff to current
2012-09-27 Morgan Detersbetter progress indicator for mkoptions blob | commitdiff | raw | diff to current
2012-09-25 Morgan Detersfix some Mac issues blob | commitdiff | raw | diff to current
2012-09-24 Morgan DetersFix the memout issue seen in recent nightly regressions... blob | commitdiff | raw | diff to current
2012-09-21 Morgan DetersSMT-LIBv2 compliance updates: blob | commitdiff | raw | diff to current
2012-09-20 Morgan Deterssome bugfixes that come as a result of debugging some... blob | commitdiff | raw | diff to current
2012-09-17 Morgan Detersspeed up option-file generation on Mac OS by an order... blob | commitdiff | raw | diff to current
2012-09-15 Morgan Detersminor interface improvements, compliance fixes blob | commitdiff | raw | diff to current
2012-09-14 Morgan DetersFix a few minor issues in options processing, improving... blob | commitdiff | raw | diff to current
2012-09-08 Morgan DetersAdd [*] footnotes to --help output indicating for many... blob | commitdiff | raw | diff to current
2012-08-22 Morgan Detersfix some build dependencies in options-building; should... blob | commitdiff | raw | diff to current
2012-08-06 Morgan DetersSupport setting :regular-output-channel and :diagnostic... blob | commitdiff | raw | diff to current
2012-07-31 Morgan DetersOptions merge. This commit: blob | commitdiff | raw | diff to current