summaryrefslogtreecommitdiffstats
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)Author
2020-11-15coq_8_12: 8.12.0 → 8.12.1Vincent Laporte
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-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
2020-09-20avy: 2017.10.16 -> 2019.05.01sohalt
2020-09-19leo3: fix executableGabriel Ebner
2020-09-14ott: 0.30 → 0.31Vincent Laporte
2020-09-11z3: 4.8.8 -> 4.8.9Thomas Tuegel
2020-09-09tlaplus: remove myself from maintainers listBadi Abdul-Wahid
2020-09-07proverif: 2.01 → 2.02pl1Vincent Laporte
2020-09-06ott: 0.30 -> 0.31R. RyanTM
2020-08-29lean: 3.18.4 -> 3.19.0Mario Rodas
2020-08-29alt-ergo: 2.3.2 → 2.3.3Vincent Laporte
2020-08-23mcy: 2020.07.06 -> 2020.08.03Austin Seipp
2020-08-23symbiyosys: 2020.07.03 -> 2020.08.22Austin Seipp
2020-08-23Merge pull request #87224 from Sohalt/isabelleLassulus
2020-08-21z3: add ttuegel to maintainersThomas Tuegel
2020-08-21z3: 4.8.7 -> 4.8.8Thomas Tuegel
2020-08-21ocamlPackages.lablgtk3: propagate gtk3 (#95849)Mario Rodas
2020-08-20Merge pull request #92337 from r-ryantm/auto-update/ltl2baLassulus
2020-08-17vampire: 4.4 -> 4.5.1Gabriel Ebner
2020-08-16Merge pull request #90281 from purcell/fast-downward-darwinMario Rodas
2020-08-15z3: Add Java Bindings (#92096)Lorenz Leutgeb
2020-08-08coq_8_12: 8.12+β1 → 8.12.0Vincent Laporte
2020-08-03coq_8_5: fix build (use gnumake 4.2)Vincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-08 02:39:26 +0000