about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* symbiyosys: 2020.03.24 -> 2020.05.18Austin Seipp2020-06-11
* yosys: 2020.03.24 -> 2020.06.11Austin Seipp2020-06-11
* boolector: 3.0.0 -> 3.2.1Symphorien Gibol2020-06-08
* btor2tools: pre55 -> 1.0.0-preSymphorien Gibol2020-06-08
* lean: 3.14.0 -> 3.15.0R. RyanTM2020-06-06
* treewide: replace SRI hashesDaiderd Jordan2020-06-01
* cryptominisat: 5.7.0 -> 5.7.1R. RyanTM2020-05-27
* proverif: 2.00 -> 2.01R. RyanTM2020-05-27
* sad: use patch file extensionzowoq2020-05-26
* lean: 3.13.1 -> 3.14.0R. RyanTM2020-05-24
* coq_8_11: 8.11.1 → 8.11.2Vincent Laporte2020-05-20
* elan: 0.10.0 -> 0.10.2R. RyanTM2020-05-19
* lean: 3.10.0 -> 3.13.1Mario Rodas2020-05-16
* elan: 0.9.0 -> 0.10.0Gabriel Ebner2020-05-08
* elan: 0.8.0 -> 0.9.0Gabriel Ebner2020-05-07
* tlaplus: 1.5.6 -> 1.7.0Yurii Rashkovskii2020-05-06
* cryptominisat: 5.6.8 -> 5.7.0R. RyanTM2020-05-04
* lean: 3.9.0 -> 3.10.0Mario Rodas2020-05-02
* verifast: change license to MITPavol Rusnak2020-04-23
* Merge pull request #84535 from bcdarwin/update-belugaBenjamin Hipple2020-04-19
|\
| * beluga: 20180403 -> unstable-2020-03-11Ben Darwin2020-04-19
* | lean: 3.8.0 -> 3.9.0Mario Rodas2020-04-18
|/
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* lean: 3.7.2 -> 3.8.0Mario Rodas2020-04-09
* libpoly: fix srcJonathan Ringer2020-04-09
* libpoly: 0.1.7 -> 0.1.8R. RyanTM2020-04-09
* alt-ergo: 2.3.1 → 2.3.2Vincent Laporte2020-04-08
* coq_8_11: 8.11.0 → 8.11.1Vincent Laporte2020-04-05
* cadical: init at 1.2.1Narazaki, Shuji2020-04-05
* mcy: 2020.03.16 -> 2020.03.21Austin Seipp2020-03-25
* symbiyosys: 2020.02.11 -> 2020.03.24Austin Seipp2020-03-25
* alt-ergo: 2.3.0 → 2.3.1Vincent Laporte2020-03-24
* lean: 3.7.0 -> 3.7.2Mario Rodas2020-03-22
* ocamlPackages.camlp5: 7.10 → 7.11Vincent Laporte2020-03-19
* mcy: 2020.02.05 -> 2020.03.16Austin Seipp2020-03-17
* symbiyosys: 2020.02.08 -> 2020.02.11Austin Seipp2020-03-17
* yosys: 2020.02.25 -> 2020.03.16Austin Seipp2020-03-17
* lean: 3.6.1 -> 3.7.0Mario Rodas2020-03-14
* Merge pull request #80719 from mucaho/feature/clingcon_initMichael Raskin2020-03-09
|\
| * clingcon: init at 3.3.0mucaho2020-03-08
* | Merge pull request #81796 from JohnAZoidberg/satallax-gcc9Maximilian Bosch2020-03-08
|\ \
| * | satallax: Fix build with GCC9Daniel Schaefer2020-03-05
* | | acgtk: 1.5.0 → 1.5.1 (#81539)Vincent Laporte2020-03-07
* | | elan: v0.8.0 tag was force-pushed by upstreamGabriel Ebner2020-03-06
* | | elan: 0.7.5 -> 0.8.0Gabriel Ebner2020-03-06
* | | js_of_ocaml: 3.4.0 -> 3.5.2 (#75766)Joachim Breitner2020-03-06
* | | Merge pull request #81722 from r-ryantm/auto-update/workcraftMario Rodas2020-03-05
|\ \ \
| * | | workcraft: 3.2.5 -> 3.2.6R. RyanTM2020-03-04
| |/ /
* | | Merge pull request #81692 from r-ryantm/auto-update/leanGabriel Ebner2020-03-04
|\ \ \
| * | | lean: 3.6.0 -> 3.6.1R. RyanTM2020-03-04
| |/ /
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 20:20:48 +0000