about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2022-04-03otter: remove after being marked broken for over two yearsajs1241-53/+0
2022-04-03lean2: remove after being marked broken for over two yearsajs1241-37/+0
2022-04-03jonprl: remove after being marked broken for over two yearsajs1241-35/+0
2022-03-30nuXmv: fix darwin buildBen Siraphob1-4/+12
2022-03-27Merge pull request #156413 from numinit/klee-fixesSandro2-17/+162
2022-03-26Merge pull request #159997 from jvanbruegge/isabelle-linterSandro4-1/+89
2022-03-24Merge pull request #165303 from Stunkymonkey/treewide-pname-version-18Ben Siraphob1-1/+1
2022-03-24Merge pull request #165297 from Stunkymonkey/treewide-pname-version-17davidak1-1/+1
2022-03-24coq_8_15: 8.15.0 → 8.15.1Vincent Laporte1-0/+1
2022-03-23treewide: rename name to pname&versionFelix Buehler1-1/+1
2022-03-23treewide: rename name to pname&versionFelix Buehler1-1/+1
2022-03-23isabelle: Add isabelle-linter as optional componentJan van Brügge4-1/+89
2022-03-20Merge pull request #157515 from jvanbruegge/isabelle-naprocheGabriel Ebner2-2/+41
2022-03-18Merge pull request #164717 from collares/lean-3.42.0Gabriel Ebner1-3/+3
2022-03-18lean: 3.41.0 -> 3.42.0Mauricio Collares1-3/+3
2022-03-17opensmt: 2.3.0 -> 2.3.1R. Ryantm1-2/+2
2022-03-15klee: build with klee-uclibcMorgan Jones2-17/+162
2022-03-15Merge pull request #164195 from siraben/nuXmv-initBen Siraphob1-0/+25
2022-03-15nuXmv: init at 2.0.0Ben Siraphob1-0/+25
2022-03-12Merge pull request #161434 from collares/lean-3.40.0Sandro1-3/+3
2022-03-12opensmt: 2.2.0 -> 2.3.0R. Ryantm1-2/+2
2022-03-11lean: 3.40.0 -> 3.41.0Mauricio Collares1-3/+3
2022-03-08abc-verifier: 2021.11.12 -> 2022.03.04Luflosi1-3/+3
2022-03-01isabelle: Use naproche from nixpkgsJan van Brügge1-2/+3
2022-03-01naproche: init at 0.1.0.0Jan van Brügge1-0/+38
2022-03-01Merge pull request #157843 from jvanbruegge/isabelle_setupGabriel Ebner1-1/+23
2022-02-28Merge pull request #160332 from florentc/tlapsBobby Rong1-4/+4
2022-02-27Merge pull request #161344 from ulrikstrid/ulrikstrid/tree-wide-native-inputsGuillaume Girol2-11/+11
2022-02-26Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-nativeVincent Laporte1-4/+6
2022-02-25treewide: switch all desktop file generators to new APIK9006-9/+7
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid1-1/+1
2022-02-25why3: 1.4.0 → 1.4.1Vincent Laporte1-5/+5
2022-02-24coq: Move dune to nativeBuildInputs and add ocaml, findlib and menhirUlrik Strid1-3/+5
2022-02-24ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid2-11/+11
2022-02-23Merge pull request #159967 from r-ryantm/auto-update/workcraftRenaud1-2/+2
2022-02-22lean: 3.39.2 -> 3.40.0Mauricio Collares1-3/+3
2022-02-18coq: allow static linking by moving wrapGAppsHook to nativeBuildInputsUlrik Strid1-1/+2
2022-02-17lean: 3.39.1 -> 3.39.2Mauricio Collares1-3/+3
2022-02-16tlaps: 1.4.3 -> 1.4.5Florent C1-4/+4
2022-02-16Merge pull request #159808 from r-ryantm/auto-update/tlaplusArtturi1-2/+2
2022-02-15Merge pull request #157626 from siraben/formula-initBen Siraphob2-0/+109
2022-02-15formula: init at 2.0Ben Siraphob2-0/+109
2022-02-15gradle: Update hashes of dependents for 7.4Lorenz Leutgeb1-1/+2
2022-02-14isabelle: Rebuild isabelle_setup.jarJan van Brügge1-1/+23
2022-02-14workcraft: 3.3.5 -> 3.3.6R. Ryantm1-2/+2
2022-02-13tlaplus: 1.7.1 -> 1.7.2R. Ryantm1-2/+2
2022-02-11maintainers: update emilytrauAngus Trau2-2/+2
2022-02-08lean: 3.39.0 -> 3.39.1Mauricio Collares1-3/+3
2022-02-06Merge pull request #156629 from siraben/coq-mainprogramBen Siraphob1-0/+1
2022-02-06coq: add meta.mainProgramBen Siraphob1-0/+1
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-05 03:10:30 +0000