about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2021-10-19abella: 2.0.6 -> 2.0.7Ben Darwin1-2/+2
2021-10-15coq_8_14: 8.14+rc1 -> 8.14.0Théo Zimmermann1-1/+1
2021-10-15Merge pull request #141541 from trofi/fix-yices-linksArtturi1-4/+9
2021-10-14cadical: include C++ headersShadaj Laddad1-0/+1
2021-10-14leo2: 1.6.2 → 1.7.0Vincent Laporte1-8/+19
2021-10-13treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriateAlyssa Ross1-1/+1
2021-10-13yices: 2.6.3 -> 2.6.2Sergei Trofimovich1-4/+9
2021-10-13coq_8_14: init at 8.14+rc1Théo Zimmermann1-3/+6
2021-10-13coq2html: 1.2 → 1.3Vincent Laporte1-36/+0
2021-10-12yices: 2.6.1 -> 2.6.3 (#141241)Sergei Trofimovich1-4/+4
2021-10-12alt-ergo: 2.4.0 → 2.4.1Vincent Laporte1-2/+2
2021-10-09elan: 1.0.7 -> 1.1.0Gabriel Ebner1-4/+10
2021-10-07lean: 3.32.1 → 3.33.0Anders Kaseorg1-3/+3
2021-09-29symbiyosys: 2020.08.22 -> 2021.09.13Austin Seipp1-3/+3
2021-09-24z3: 4.8.10 -> 4.8.12Bruce Collie1-2/+2
2021-09-23coq: add desktop file for coqideNaïm Favier1-3/+17
2021-09-14opensmt: 2.1.0 -> 2.1.1R. RyanTM1-2/+2
2021-08-23lean: 3.31.0 -> 3.32.1kzvi1-3/+3
2021-08-23Merge pull request #135404 from r-ryantm/auto-update/workcraftArtturi1-2/+2
2021-08-23Merge pull request #135398 from r-ryantm/auto-update/verifastArtturi1-2/+2
2021-08-23workcraft: 3.3.2 -> 3.3.5R. RyanTM1-2/+2
2021-08-23verifast: 19.12 -> 21.04R. RyanTM1-2/+2
2021-08-22cadical: 1.3.0 -> 1.4.1Narazaki, Shuji1-2/+2
2021-08-22opensmt: 2.0.1 -> 2.1.0R. RyanTM1-2/+2
2021-08-19Merge pull request #134361 from Stunkymonkey/why3-phasesdavidak2-18/+17
2021-08-17Merge pull request #134394 from r-ryantm/auto-update/elanGabriel Ebner1-3/+3
2021-08-17elan: 1.0.6 -> 1.0.7R. RyanTM1-3/+3
2021-08-16why3: deprecate phasesFelix Buehler2-18/+17
2021-08-16tlaplusToolbox: deprecate phasesFelix Buehler1-5/+12
2021-08-16tlaps: deprecate phasesFelix Buehler1-7/+11
2021-08-12Merge pull request #131463 from angustrau/logisim-evolutionSandro1-0/+46
2021-08-03saw-tools: remove phasesFelix Buehler1-2/+0
2021-08-01treewide: fix redirected URLsBen Siraphob1-1/+1
2021-07-28libpoly: 0.1.9 -> 0.1.10R. RyanTM1-2/+2
2021-07-26Merge pull request #130663 from symphorien/bitwuzlaGuillaume Girol2-3/+86
2021-07-25logisim: create desktop entry (#131450)Angus Trau1-4/+26
2021-07-25bitwuzla: init at unstable-2021-07-01Guillaume Girol1-0/+67
2021-07-25logisim-evolution: init at 3.5.0Angus Trau1-0/+46
2021-07-23cadical: install libraryGuillaume Girol1-3/+19
2021-07-22Merge pull request #130971 from siraben/parallel-coqBen Siraphob1-0/+1
2021-07-22coq: enable parallel buildingBen Siraphob1-0/+1
2021-07-20Merge pull request #130812 from SuperSandro2000/SuperSandro2000-patch-4Sandro1-10/+9
2021-07-20logisim: cleanupSandro1-10/+9
2021-07-20Merge pull request #130192 from Stunkymonkey/logisim-phasesSandro1-1/+1
2021-07-19boolector: 3.2.1 -> 3.2.2Guillaume Girol1-12/+4
2021-07-19isabelle: Add desktop entryJan van Brügge1-1/+18
2021-07-18isabelle: 2020 -> 2021Jan van Brügge1-3/+5
2021-07-18treewide: remove meta.versionFelix Buehler4-4/+0
2021-07-17cedille: set no hydra platforms(cdep)illabout1-0/+1
2021-07-17cedille: mark broken(cdep)illabout1-0/+4
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-08 21:17:21 +0000