summaryrefslogtreecommitdiff
path: root/contrib
AgeCommit message (Expand)Author
2021-04-20More LFSC signatureajreynol
2021-04-20Add proofs for sets purificationajreynol
2021-04-20Minor to LFSCajreynol
2021-04-20Minor for LFSC term conversion, increase commitajreynol
2021-04-19Fixes for printing typesajreynol
2021-04-19Work on real and bv constants in LFSC term processajreynol
2021-04-15Increase LFSC signature commitajreynol
2021-04-13Update commitajreynol
2021-04-13Fixes for term processor for LFSC, update commitajreynol
2021-04-13Updates to scriptsajreynol
2021-04-12Merge branch 'master' into proof-newHaniel Barbosa
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Basic work on printing other LFSC term typesajreynol
2021-04-09Revertajreynol
2021-04-09Automating set up of latest LFSCajreynol
2021-04-09Fixajreynol
2021-04-09Hack to extract regression callsajreynol
2021-04-09Basic scripts for summarizing status of regressions for LFSCajreynol
2021-03-31Merge branch 'master' of https://github.com/CVC4/CVC4 into proof-newajreynol
2021-03-31Refactor GMP and Poly dependencies (#6245)Gereon Kremer
2021-03-31Refactor dependencies for external SAT solvers (#6215)Gereon Kremer
2021-03-31Refactor SymFPU dependency (#6218)Gereon Kremer
2021-03-29Merge branch 'master' of https://github.com/CVC4/CVC4 into proof-newajreynol
2021-03-27Refactor ANTLR3 dependency (#6202)Gereon Kremer
2021-03-25Merge branch 'master' of https://github.com/CVC4/CVC4 into proof-newajreynol
2021-03-24Refactor our integration of LFSC (#6201)Gereon Kremer
2021-03-18Improve redundant checks in test_proof_new scriptajreynol
2021-03-16Merge branch 'master' of https://github.com/CVC4/CVC4 into proof-newajreynol
2021-03-15Disable sqlite (#6145)Gereon Kremer
2021-03-10Merge branch 'master' of https://github.com/CVC4/CVC4 into proof-newajreynol
2021-03-10Improved handing of 'lib64' vs. 'lib' for glpk-cut-log and antlr-3.4 (#6091)Andrew V. Jones
2021-03-09Merge branch 'master' of https://github.com/CVC4/CVC4 into proof-newajreynol
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-08Merge branch 'master' of https://github.com/CVC4/CVC4 into proof-newajreynol
2021-03-08contrib: Do not use HOST env variable for cross-compilation host target. (#6078)Mathias Preiner
2021-03-02Merge branch 'master' of https://github.com/CVC4/CVC4 into proof-newajreynol
2021-03-02Add aarch64 (ARM64) cross-compile support. (#6033)Mathias Preiner
2021-02-22Proofs are no longer newajreynol
2020-12-16Fix stats scripts for new stats outputajreynol
2020-12-07Merge branch 'master' of https://github.com/CVC4/CVC4 into proof-newajreynol
2020-12-04update-copyright: Preserve file permissions. (#5597)Mathias Preiner
2020-11-16Merge branch 'master' of https://github.com/CVC4/CVC4 into proof-newajreynol
2020-11-16Improve accuracy of resource limitation (#4763)Gereon Kremer
2020-11-10Merge branch 'master' of https://github.com/CVC4/CVC4 into proof-newajreynol
2020-11-10Pin LFSC version (#5412)Alex Ozdemir
2020-11-04Merge branch 'master' of https://github.com/CVC4/CVC4 into proof-newajreynol
2020-11-02contrib: Remove dependency directories. (#5367)Aina Niemetz
2020-10-13Setting up datatype inference manager, add mkfinalrulecount script.ajreynol
2020-10-07Merge branch 'master' of https://github.com/CVC4/CVC4 into proof-newajreynol
2020-10-06Improve OSX support by adding os detection and adapting calls for OSX. (#5023)Malte Mues
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback