about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* coq_8_19: 8.19.0 → 8.19.1Vincent Laporte2024-03-12
* Revert "elan: revert temporary directory creation"Joachim Breitner2024-03-09
* fix: elan: use relative paths in wrapper scriptJoachim Breitner2024-03-09
* Merge pull request #292724 from r-ryantm/auto-update/cvc5Weijia Wang2024-03-08
|\
| * cvc5: 1.1.1 -> 1.1.2R. Ryantm2024-03-02
* | Merge pull request #287372 from r-ryantm/auto-update/cryptominisatWeijia Wang2024-03-07
|\ \
| * | cryptominisat: 5.11.15 -> 5.11.21R. Ryantm2024-02-09
* | | elan: revert temporary directory creationMario Rodas2024-03-07
* | | opensmt: 2.5.2 -> 2.6.0R. Ryantm2024-03-07
* | | Merge pull request #289177 from r-ryantm/auto-update/clingconWeijia Wang2024-03-06
|\ \ \
| * | | clingcon: 5.2.0 -> 5.2.1R. Ryantm2024-02-16
* | | | cadical: 1.9.4 -> 1.9.5R. Ryantm2024-03-06
* | | | lean4: 4.6.0 -> 4.6.1Mario Rodas2024-03-04
| |_|/ |/| |
* | | lean4: 4.5.0 -> 4.6.0Mario Rodas2024-02-28
* | | Merge master into staging-nextgithub-actions[bot]2024-02-23
|\ \ \
| * | | elan: 3.1.0 -> 3.1.1Mario Rodas2024-02-22
* | | | boolector: 3.2.2 -> 3.2.3 + upstream patch for C++14 compatibility.Simon Hollingshead2024-02-22
|/ / /
* | | Merge pull request #289941 from marsam/update-elanMario Rodas2024-02-19
|\ \ \
| * | | elan: 3.0.0 -> 3.1.0Mario Rodas2024-02-19
* | | | clingo: 5.7.0 -> 5.7.1R. Ryantm2024-02-19
|/ / /
* / / clingo: 5.6.2 -> 5.7.0R. Ryantm2024-02-16
|/ /
* | Merge pull request #288470 from McSinyx/stp-u8Pol Dellaiera2024-02-15
|\ \
| * | stp: fix build failureNguyễn Gia Phong2024-02-13
* | | Merge pull request #287601 from trofi/stp-gcc-13-fixMario Rodas2024-02-14
|\ \ \
| * | | stp: fix the build against `gcc-13`Sergei Trofimovich2024-02-09
| | |/ | |/|
* | | cryptoverif: 2.07 → 2.08pl1Vincent Laporte2024-02-13
| |/ |/|
* | Merge pull request #287604 from trofi/lean3-mark-brokenMario Rodas2024-02-11
|\ \
| * | lean3: fix `gcc-13` build failure)Sergei Trofimovich2024-02-11
| |/
* / mcrl2: 202206 -> 202307Sergei Trofimovich2024-02-10
|/
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-22 10:27:40 +0000