summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* Merge pull request #157515 from jvanbruegge/isabelle-naprocheGabriel Ebner2022-03-20
|\
| * isabelle: Use naproche from nixpkgsJan van Brügge2022-03-01
| * naproche: init at 0.1.0.0Jan van Brügge2022-03-01
* | Merge pull request #164717 from collares/lean-3.42.0Gabriel Ebner2022-03-18
|\ \
| * | lean: 3.41.0 -> 3.42.0Mauricio Collares2022-03-18
* | | opensmt: 2.3.0 -> 2.3.1R. Ryantm2022-03-17
|/ /
* | Merge pull request #164195 from siraben/nuXmv-initBen Siraphob2022-03-15
|\ \
| * | nuXmv: init at 2.0.0Ben Siraphob2022-03-15
* | | Merge pull request #161434 from collares/lean-3.40.0Sandro2022-03-12
|\ \ \
| * | | lean: 3.40.0 -> 3.41.0Mauricio Collares2022-03-11
| * | | lean: 3.39.2 -> 3.40.0Mauricio Collares2022-02-22
* | | | opensmt: 2.2.0 -> 2.3.0R. Ryantm2022-03-12
* | | | abc-verifier: 2021.11.12 -> 2022.03.04Luflosi2022-03-08
| |_|/ |/| |
* | | Merge pull request #157843 from jvanbruegge/isabelle_setupGabriel Ebner2022-03-01
|\ \ \
| * | | isabelle: Rebuild isabelle_setup.jarJan van Brügge2022-02-14
* | | | Merge pull request #160332 from florentc/tlapsBobby Rong2022-02-28
|\ \ \ \ | |_|_|/ |/| | |
| * | | tlaps: 1.4.3 -> 1.4.5Florent C2022-02-16
* | | | Merge pull request #161344 from ulrikstrid/ulrikstrid/tree-wide-native-inputsGuillaume Girol2022-02-27
|\ \ \ \
| * | | | ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid2022-02-24
* | | | | Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-nativeVincent Laporte2022-02-26
|\ \ \ \ \
| * | | | | coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid2022-02-25
| * | | | | coq: Move dune to nativeBuildInputs and add ocaml, findlib and menhirUlrik Strid2022-02-24
| |/ / / /
* | | | | treewide: switch all desktop file generators to new APIK9002022-02-25
* | | | | why3: 1.4.0 → 1.4.1Vincent Laporte2022-02-25
|/ / / /
* | | | Merge pull request #159967 from r-ryantm/auto-update/workcraftRenaud2022-02-23
|\ \ \ \ | |_|_|/ |/| | |
| * | | workcraft: 3.3.5 -> 3.3.6R. Ryantm2022-02-14
| | |/ | |/|
* | | coq: allow static linking by moving wrapGAppsHook to nativeBuildInputsUlrik Strid2022-02-18
* | | lean: 3.39.1 -> 3.39.2Mauricio Collares2022-02-17
* | | Merge pull request #159808 from r-ryantm/auto-update/tlaplusArtturi2022-02-16
|\ \ \ | |_|/ |/| |
| * | tlaplus: 1.7.1 -> 1.7.2R. Ryantm2022-02-13
| |/
* | Merge pull request #157626 from siraben/formula-initBen Siraphob2022-02-15
|\ \
| * | formula: init at 2.0Ben Siraphob2022-02-15
* | | gradle: Update hashes of dependents for 7.4Lorenz Leutgeb2022-02-15
| |/ |/|
* | maintainers: update emilytrauAngus Trau2022-02-11
* | lean: 3.39.0 -> 3.39.1Mauricio Collares2022-02-08
* | Merge pull request #156629 from siraben/coq-mainprogramBen Siraphob2022-02-06
|\ \
| * | coq: add meta.mainProgramBen Siraphob2022-02-06
* | | lean: 3.38.0 -> 3.39.0Mauricio Collares2022-02-03
* | | anders: init at 1.1.1Сухарик2022-02-02
| |/ |/|
* | Merge pull request #155897 from FliegendeWurst/key-2.10Sandro2022-01-30
|\ \
| * | key: add a desktop itemFliegendeWurst2022-01-29
| * | key: 2.6.3 -> 2.10.0FliegendeWurst2022-01-22
* | | Merge pull request #151363 from Stunkymonkey/doc-updateWalkerSandro2022-01-27
|\ \ \
| * | | treewide: remove all updateWalker/downloadURLRegexpFelix Buehler2022-01-26
| * | | treewide: remove *.upstream files from updateWalkerFelix Buehler2022-01-26
* | | | Merge pull request #154272 from jvanbruegge/isabelle-build-holGabriel Ebner2022-01-26
|\ \ \ \ | |/ / / |/| | |
| * | | maintainers: add jvanbrueggeJan van Brügge2022-01-19
| * | | isabelle: Prebuild HOL sessionJan van Brügge2022-01-19
| | |/ | |/|
* | | tamarin-prover: install emacs-modeVincent Laporte2022-01-25
* | | coq_8_15: 8.15+rc1 → 8.15.0Vincent Laporte2022-01-25
| |/ |/|
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-11 12:30:12 +0000