about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* Merge pull request #284008 from r-ryantm/auto-update/workcraftWeijia Wang2024-02-04
|\
| * workcraft: 3.4.1 -> 3.4.2R. Ryantm2024-01-26
* | abella: update url, refactor to finalAttrs styleBen Darwin2024-02-03
* | Merge pull request #285422 from marsam/update-lean4Mario Rodas2024-02-01
|\ \
| * | lean4: add version testerMario Rodas2024-02-01
| * | lean4: 4.4.0 -> 4.5.0Mario Rodas2024-02-01
* | | Merge pull request #284969 from marsam/update-z3_4_12Mario Rodas2024-01-31
|\ \ \ | |/ / |/| |
| * | z3_4_12: 4.12.4 -> 4.12.5Mario Rodas2024-01-30
* | | Merge pull request #283906 from ConnorBaker/feat/egglog-unstable-2024-01-26figsoda2024-01-30
|\ \ \
| * | | egglog: unstable-2023-09-12 -> 0-unstable-2024-01-26Connor Baker2024-01-26
| | |/ | |/|
* | | Merge pull request #284834 from wegank/btor2tools-gcc-13Nick Cao2024-01-30
|\ \ \ | |_|/ |/| |
| * | btor2tools: fix build with gcc 13Weijia Wang2024-01-29
* | | cvc5: 1.1.0 -> 1.1.1R. Ryantm2024-01-30
|/ /
* | why3: move the OCaml library to its own dev outputVincent Laporte2024-01-29
* | why3: make it easy to disable IDE supportVincent Laporte2024-01-29
* | why3: 1.7.0 → 1.7.1Vincent Laporte2024-01-29
* | coq: 8.19+rc1 -> 8.19.0Pierre Roux2024-01-26
|/
* easycrypt: 2023.09 -> 2024.01R. Ryantm2024-01-18
* msat: init at 0.9.1Vincent Laporte2024-01-16
* cadical: 1.9.3 -> 1.9.4R. Ryantm2024-01-12
* iprover: 3.1 → 3.8.1Vincent Laporte2024-01-10
* Merge pull request #277227 from r-ryantm/auto-update/cvc5Weijia Wang2024-01-03
|\
| * cvc5: 1.0.9 -> 1.1.0R. Ryantm2023-12-28
* | z3_4_12: 4.12.2 -> 4.12.4Lucas Van Laer2023-12-31
|/
* Merge pull request #276854 from r-ryantm/auto-update/cadicalFabián Heredia Montiel2023-12-26
|\
| * cadical: 1.9.1 -> 1.9.3R. Ryantm2023-12-26
* | Merge pull request #276940 from tejing1/cleanup-lean4Mario Rodas2023-12-26
|\ \
| * | lean4: clean up colliding filesJeff Huffman2023-12-26
* | | Merge pull request #275586 from r-ryantm/auto-update/cvc5Mario Rodas2023-12-26
|\ \ \ | |_|/ |/| |
| * | cvc5: 1.0.8 -> 1.0.9R. Ryantm2023-12-20
* | | lean4: 4.3.0 -> 4.4.0R. Ryantm2023-12-22
| |/ |/|
* | Merge pull request #274496 from whonore/update-dafny-4.4.0Guillaume Maudoux2023-12-20
|\ \
| * | dafny: 4.3.0 -> 4.4.0whonore2023-12-15
* | | coq_8_19: init at 8.19+rc1Pierre Roux2023-12-19
| |/ |/|
* | alt-ergo: fix build on darwinWeijia Wang2023-12-17
|/
* cadical: 1.9.0 -> 1.9.1R. Ryantm2023-12-15
* Merge pull request #243497 from jvanbruegge/isabelle-2023Weijia Wang2023-12-10
|\
| * isabelle-linter: 1.2.1 -> 2023-1.0.0Jan van Brügge2023-12-10
| * isabelle: 2022 -> 2023Jan van Brügge2023-10-06
| * naproche: 2022-10-24 -> unstable-2023-07-11Jan van Brügge2023-10-06
* | Merge pull request #271924 from stepbrobd/z3-solverOTABI Tomoya2023-12-10
|\ \
| * | python3Packages.z3-solver: rename from z3Yifei Sun2023-12-06
* | | eprover: 3.0 -> 3.0.03R. Ryantm2023-12-09
* | | Merge pull request #263288 from r-ryantm/auto-update/cryptominisatWeijia Wang2023-12-05
|\ \ \ | |/ / |/| |
| * | cryptominisat: 5.11.14 -> 5.11.15R. Ryantm2023-10-25
* | | Merge pull request #271114 from vbgl/why3-1.7.0Peder Bergebakken Sundt2023-12-02
|\ \ \
| * | | why3: 1.6.0 → 1.7.0Vincent Laporte2023-11-30
* | | | Merge pull request #271084 from marsam/update-lean4Mario Rodas2023-11-30
|\ \ \ \ | |/ / / |/| | |
| * | | lean4: 4.2.0 -> 4.3.0Mario Rodas2023-11-29
* | | | acgtk: 1.5.4 → 2.0.0Vincent Laporte2023-11-30
|/ / /
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-15 05:00:49 +0000