summaryrefslogtreecommitdiffstats
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)Author
2021-01-06lean: 3.23.0 -> 3.24.0Devon Richards
2020-12-18cryptoverif: 2.03pl1 → 2.04Vincent Laporte
2020-12-18cryptoverif: fix search for default libraryVincent Laporte
2020-12-16coq_8_12: 8.12.1 → 8.12.2Vincent Laporte
2020-12-15coq_8_13: init at 8.13+β1Vincent Laporte
2020-12-10cedille: 1.1.1 -> 1.1.2; fix buildAlyssa Ross
2020-12-07clingo: 5.4.0 -> 5.4.1R. RyanTM
2020-12-02abc-verifier: 2020.06.22 -> 2020.11.24Austin Seipp
2020-12-02Merge pull request #100750 from arcz/boolectorAustin Seipp
2020-11-29boolector: fix darwin buildArtur Cygan
2020-11-29btor2tools: fix install_name on darwinArtur Cygan
2020-11-29proverif: install emacs modeVincent Laporte
2020-11-29Merge pull request #92646 from r-ryantm/auto-update/tla-toolboxSandro
2020-11-27z3: enable build on non-x86_64 unix; checked the build on aarch64-linuxMichael Raskin
2020-11-27Merge pull request #105111 from r-ryantm/auto-update/workcraftSandro
2020-11-27workcraft: 3.3.1 -> 3.3.2R. RyanTM
2020-11-27treewide: ran ./maintainers/scripts/update_redirected_urls.shPatrick Hilhorst
2020-11-25Merge pull request #99761 from fgaz/key/initSandro
2020-11-24Merge pull request #103590 from r-ryantm/auto-update/workcraftSandro
2020-11-15coq_8_12: 8.12.0 → 8.12.1Vincent Laporte
2020-11-12workcraft: 3.3.0 -> 3.3.1R. RyanTM
2020-11-11lean: 3.21.0 -> 3.23.0R. RyanTM
2020-11-05Merge branch 'master' into staging-nextJan Tojnar
2020-11-04lean: build olean filesGabriel Ebner
2020-11-03Merge staging-next into stagingFrederik Rietdijk
2020-11-01treewide: simplify rev/repo arguments in srcPavol Rusnak
2020-11-01Merge staging-next into stagingFrederik Rietdijk
2020-10-31Revert "coq: propagate and install ocaml and findlib"Vincent Laporte
2020-10-28Merge branch master into staging to fix eval errorAndreas Rammhold
2020-10-27treewide: remove package names from prefix of descriptionsBen Siraphob
2020-10-26Re-Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2"Vladimír Čunát
2020-10-25Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2"Vladimír Čunát
2020-10-25Merge #101508: libraw: 0.20.0 -> 0.20.2Vladimír Čunát
2020-10-23cryptoverif: 2.01pl1 → 2.03pl1Vincent Laporte
2020-10-22Merge branch 'staging-next' into stagingJan Tojnar
2020-10-21Merge pull request #100388 from thefloweringash/darwin-dylib-names-hookDaiderd Jordan
2020-10-21coq: propagate and install ocaml and findlibThéo Zimmermann
2020-10-21treewide: move fixDarwinDylibNames to nativeBuildInputsAndrew Childs
2020-10-19Merge pull request #100741 from arcz/btor2toolsAustin Seipp
2020-10-18lean: 3.19.0 -> 3.21.0R. RyanTM
2020-10-16btor2tools: enable unix platformsArtur Cygan
2020-10-13tamarin-prover: 1.4.1 → 1.6.0 (#100148)Vincent Laporte
2020-10-06key: init at 2.6.3Francesco Gazzetta
2020-10-03z3_4_4_0: add old version for IsabelleJakub Kądziołka
2020-09-30ocamlPackages.z3: init at 4.8.9Vincent Laporte
2020-09-23Merge pull request #98441 from vbgl/why3-1.3.3Doron Behar
2020-09-22cvc3: enable for darwinRobert Scott
2020-09-22cvc3: fix build against bison 3.7Robert Scott
2020-09-22Merge pull request #98239 from Sohalt/avyAustin Seipp
2020-09-23why3: 1.3.1 -> 1.3.3Vincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-14 13:21:52 +0000