about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* lean: 3.31.0 -> 3.32.1kzvi2021-08-23
* Merge pull request #135404 from r-ryantm/auto-update/workcraftArtturi2021-08-23
|\
| * workcraft: 3.3.2 -> 3.3.5R. RyanTM2021-08-23
* | Merge pull request #135398 from r-ryantm/auto-update/verifastArtturi2021-08-23
|\ \
| * | verifast: 19.12 -> 21.04R. RyanTM2021-08-23
| |/
* / cadical: 1.3.0 -> 1.4.1Narazaki, Shuji2021-08-22
|/
* opensmt: 2.0.1 -> 2.1.0R. RyanTM2021-08-22
* Merge pull request #134361 from Stunkymonkey/why3-phasesdavidak2021-08-19
|\
| * why3: deprecate phasesFelix Buehler2021-08-16
* | Merge pull request #134394 from r-ryantm/auto-update/elanGabriel Ebner2021-08-17
|\ \ | |/ |/|
| * elan: 1.0.6 -> 1.0.7R. RyanTM2021-08-17
* | tlaplusToolbox: deprecate phasesFelix Buehler2021-08-16
* | tlaps: deprecate phasesFelix Buehler2021-08-16
|/
* Merge pull request #131463 from angustrau/logisim-evolutionSandro2021-08-12
|\
| * logisim-evolution: init at 3.5.0Angus Trau2021-07-25
* | saw-tools: remove phasesFelix Buehler2021-08-03
* | treewide: fix redirected URLsBen Siraphob2021-08-01
* | libpoly: 0.1.9 -> 0.1.10R. RyanTM2021-07-28
* | Merge pull request #130663 from symphorien/bitwuzlaGuillaume Girol2021-07-26
|\ \
| * | bitwuzla: init at unstable-2021-07-01Guillaume Girol2021-07-25
| * | cadical: install libraryGuillaume Girol2021-07-23
* | | logisim: create desktop entry (#131450)Angus Trau2021-07-25
| |/ |/|
* | Merge pull request #130971 from siraben/parallel-coqBen Siraphob2021-07-22
|\ \
| * | coq: enable parallel buildingBen Siraphob2021-07-22
* | | Merge pull request #130812 from SuperSandro2000/SuperSandro2000-patch-4Sandro2021-07-20
|\ \ \
| * | | logisim: cleanupSandro2021-07-20
* | | | Merge pull request #130192 from Stunkymonkey/logisim-phasesSandro2021-07-20
|\ \ \ \ | |/ / / |/| | |
| * | | logisim: deprecate phasesFelix Buehler2021-07-14
* | | | boolector: 3.2.1 -> 3.2.2Guillaume Girol2021-07-19
* | | | isabelle: Add desktop entryJan van Brügge2021-07-19
* | | | isabelle: 2020 -> 2021Jan van Brügge2021-07-18
| |/ / |/| |
* | | treewide: remove meta.versionFelix Buehler2021-07-18
| |/ |/|
* | cedille: set no hydra platforms(cdep)illabout2021-07-17
* | cedille: mark broken(cdep)illabout2021-07-17
* | Merge pull request #130193 from Stunkymonkey/verifast-phasesSandro2021-07-15
|\ \
| * | verifast: deprecate phasesFelix Buehler2021-07-14
| |/
* | Merge pull request #130187 from Stunkymonkey/workcraft-phasesSandro2021-07-15
|\ \
| * | workcraft: deeprecate phasesFelix Buehler2021-07-14
| |/
* | gappa: 1.3.5 → 1.4.0Vincent Laporte2021-07-15
* | leo3-bin: deprecate phasesFelix Buehler2021-07-14
|/
* Merge pull request #124454 from r-ryantm/auto-update/elanGabriel Ebner2021-07-04
|\
| * elan: 1.0.2 -> 1.0.6R. RyanTM2021-05-26
* | tlaToolbox: fix crash on file open dialogSarunas Valaskevicius2021-07-02
* | Merge pull request #128926 from collares/lean-3.31Gabriel Ebner2021-07-02
|\ \
| * | lean: 3.30.0 -> 3.31.0Mauricio Collares2021-07-01
* | | hol: expand platforms to unixBen Siraphob2021-07-01
|/ /
* | coq: fix issue introduced in #128603Théo Zimmermann2021-06-30
* | Coq: adapt for upcoming 8.14 (#128603)Théo Zimmermann2021-06-30
* | why3: use GTK3Vincent Laporte2021-06-27
* | why3: 1.3.3 → 1.4.0Vincent Laporte2021-06-27
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-26 06:38:06 +0000