summaryrefslogtreecommitdiff
path: root/contrib
AgeCommit message (Expand)Author
2019-10-02[SMT-COMP] Remove --unconstrained-simp for incremental QF_LIA (#3333)Andres Noetzli
2019-09-18Add run script for next SMT-COMP (#3298)Andres Noetzli
2019-09-16Adding new scripts for CASC/TPTP (#3291)Haniel Barbosa
2019-08-26Make contrib/get-* more robust. (#3198)Mathias Preiner
2019-08-08Add subdirectories to contrib for competition scripts (#3164)Andrew Reynolds
2019-08-06Scripts for CASC-27 (#3163)Haniel Barbosa
2019-08-02Update CaDiCaL to version 1.0.3. (#3137)Mathias Preiner
2019-08-02Add better Python detection for contrib scripts. (#3150)Mathias Preiner
2019-08-01Use python realpath instead of relying on shell realpath (#3117)makaimann
2019-07-24adding runscripts for syguscomp2019 (#3118)Haniel Barbosa
2019-06-03[SMT-COMP] No unconstrained simp for QF_LIA UC (#3039)Andres Noetzli
2019-06-02[SMT-COMP] Increase sequential portfolio times (#3038)Andres Noetzli
2019-06-02[SMT-COMP 2019] Use lazy BV as backup for QF_UFBV (#3037)Andres Noetzli
2019-06-02Enable SymFPU assertions in production (#3036)Andres Noetzli
2019-06-02[SMT-COMP 2019] Update run script for unsat cores (#3034)Andres Noetzli
2019-06-01Update QF_BV options for SMT-COMP 2019. (#3033)Aina Niemetz
2019-05-21Update to symfpu 0.0.7, fixes RTI 3/5 issue (#3007)Martin
2019-05-20[SMT-COMP 2019] Update run scripts to match tracks (#3018)Andres Noetzli
2019-05-17Update QF_NIA strategy (#3012)Andrew Reynolds
2019-05-17[SMT-COMP2019] Better strings configuration (#3010)Andres Noetzli
2019-05-17Support for incremental bit-blasting with CaDiCaL (#3006)Andres Noetzli
2019-04-15Initial version of run scripts for SMT-COMP 2019 (#2951)Andres Noetzli
2019-04-03get-authors: Add GitHub user ayveejay -> Andrew V. Jones.Aina Niemetz
2019-03-26update-copyright: Update to 2019.Aina Niemetz
2019-03-26get-authors: Exclude empty lines.Mathias Preiner
2019-03-25get-authors: Exclude common source code patterns. (#2900)Mathias Preiner
2019-03-25update-copyright: Fix matching of excluded paths.Aina Niemetz
2019-03-25get-authors: Readd option -C to git blame command.Aina Niemetz
2018-12-17 Configured for linking against drat2er (#2754)Alex Ozdemir
2018-11-22Use https for antlr3.org downloads (#2701)Tom Smeding
2018-10-22Only build CryptoMiniSat library, no binary (#2657)Andres Noetzli
2018-10-19Remove autotools build system. (#2639)Mathias Preiner
2018-09-22cmake: Add support for cross-compiling for Windows.Mathias Preiner
2018-09-22cmake: Various CMakeLists.txt fixes/cleanup.Mathias Preiner
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-09-17Follow redirects with cURL in contrib/get* scripts (#2471)Andres Noetzli
2018-09-04Remove CVC3 compatibility layer (#2418)Andres Noetzli
2018-08-15Add contrib/get-gmp script. (#2292)Mathias Preiner
2018-08-01Remove outdated references to TLS (#2245)Andres Noetzli
2018-07-25Use CryptoMiniSat 5.6.3. (#2205)Mathias Preiner
2018-06-26sygusComp2018: add scripts. (#2103)Andrew Reynolds
2018-06-26Add casc j9 tfn script (#2100)Andrew Reynolds
2018-06-25Do not use git blame -C in get-authors (too many false positives).Aina Niemetz
2018-06-25Fix update-copyright script for files without a header.Aina Niemetz
2018-06-25Added Makai and Yoni to get-authors script.Aina Niemetz
2018-06-08Disable BV-abstraction in the competition script. (#2061)Mathias Preiner
2018-06-04[SMT-COMP] Add new logics to run-scripts (#2022)Andres Noetzli
2018-05-30[SMT-COMP] Print non-(un)sat output to stderr (#2019)Andres Noetzli
2018-05-30Use CaDiCaL for eager bit-blasting in QF_NIA and QF_UFBV. (#2018)Mathias Preiner
2018-05-30Draft run script for strings smt comp 2018. (#2016)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback