projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit (#8955)
[cvc5.git] / .gitignore
2021-03-27 Gereon KremerRefactor ANTLR3 dependency (#6202) blob | commitdiff | raw
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2018-10-19 Mathias PreinerRemove autotools build system. (#2639) blob | commitdiff | raw | diff to current
2018-04-19 yoni206Adding config/tap-driver.sh to .gitignore (#1792) blob | commitdiff | raw | diff to current
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... 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-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 #39 from mdeters/bv-warnings 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-22 Morgan DetersAPI documentation improvements. 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-21 Kshitij BansalMerge pull request #10 from kbansal/sets-for-merge blob | commitdiff | raw | diff to current
2014-02-21 Kshitij Bansaladd new theory (sets) blob | commitdiff | raw | diff to current
2013-12-03 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2013-11-27 Morgan DetersIgnore config/compile file, which newer autotools create blob | commitdiff | raw | diff to current
2013-11-04 lianahMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-10-21 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2013-10-17 Kshitij Bansalminor fix to last commit (gitignore) blob | commitdiff | raw | diff to current
2013-10-17 Kshitij Bansal.gitignore personal configuration files blob | commitdiff | raw | diff to current
2012-06-11 Morgan DetersMerge from quantifiers2-trunkmerge branch. blob | commitdiff | raw | diff to current
2012-02-20 Morgan Detersportfolio merge blob | commitdiff | raw | diff to current
2010-07-07 Christopher L. ConwayAdding config.reconfig to .gitignore blob | commitdiff | raw | diff to current
2010-05-27 Christopher L. ConwayAdding .cvc4_config to .gitignore blob | commitdiff | raw | diff to current
2010-04-05 Christopher L. ConwayIgnoring gcov files blob | commitdiff | raw | diff to current
2010-04-01 Christopher L. ConwayAdding newly generated files blob | commitdiff | raw | diff to current
2010-03-31 Christopher L. ConwayAdding 'generated/' to .gitignore blob | commitdiff | raw | diff to current
2010-03-30 Christopher L. ConwayRemoving unnecessary .gitignores blob | commitdiff | raw | diff to current
2010-03-30 Christopher L. ConwayMerging from branches/antlr3 (r246:354) blob | commitdiff | raw | diff to current