Felix Buehler
|
c849ada0c5
|
why3: deprecate phases
|
2021-08-16 22:50:19 +02:00 |
|
Felix Buehler
|
8a8a949ffd
|
tlaplusToolbox: deprecate phases
|
2021-08-16 21:54:44 +02:00 |
|
Felix Buehler
|
8ad1a7859a
|
tlaps: deprecate phases
|
2021-08-16 21:54:22 +02:00 |
|
Sandro
|
7d75a19c60
|
Merge pull request #131463 from angustrau/logisim-evolution
|
2021-08-12 12:22:42 +02:00 |
|
Felix Buehler
|
f67a0a37f0
|
saw-tools: remove phases
|
2021-08-03 00:03:41 +02:00 |
|
Ben Siraphob
|
2f94991628
|
treewide: fix redirected URLs
Using the script in maintainers/scripts/update-redirected-urls.sh
|
2021-08-01 00:01:50 +07:00 |
|
R. RyanTM
|
1d4ae0cfb7
|
libpoly: 0.1.9 -> 0.1.10
|
2021-07-28 00:31:53 +00:00 |
|
Guillaume Girol
|
455712841c
|
Merge pull request #130663 from symphorien/bitwuzla
bitwuzla: init at unstable-2021-07-01
|
2021-07-26 19:45:46 +00:00 |
|
Angus Trau
|
351b7d24e2
|
logisim: create desktop entry (#131450)
|
2021-07-25 17:46:34 -04:00 |
|
Guillaume Girol
|
1894e8d945
|
bitwuzla: init at unstable-2021-07-01
|
2021-07-25 15:52:25 +02:00 |
|
Angus Trau
|
92cced04c6
|
logisim-evolution: init at 3.5.0
|
2021-07-25 19:52:24 +10:00 |
|
Guillaume Girol
|
0708fe494b
|
cadical: install library
|
2021-07-23 21:19:27 +02:00 |
|
Ben Siraphob
|
a5049e8caa
|
Merge pull request #130971 from siraben/parallel-coq
coq: enable parallel building
|
2021-07-22 10:00:42 +07:00 |
|
Ben Siraphob
|
7c1d4d8255
|
coq: enable parallel building
|
2021-07-22 02:04:47 +07:00 |
|
Sandro
|
8472d44b82
|
Merge pull request #130812 from SuperSandro2000/SuperSandro2000-patch-4
logisim: cleanup
|
2021-07-20 19:48:37 +02:00 |
|
Sandro
|
fd1ab319b7
|
logisim: cleanup
|
2021-07-20 18:33:48 +02:00 |
|
Sandro
|
c401885fe1
|
Merge pull request #130192 from Stunkymonkey/logisim-phases
logisim: deprecate phases
|
2021-07-20 18:32:40 +02:00 |
|
Guillaume Girol
|
6554384a70
|
boolector: 3.2.1 -> 3.2.2
|
2021-07-19 16:11:01 -07:00 |
|
Jan van Brügge
|
e32da890c9
|
isabelle: Add desktop entry
|
2021-07-19 12:04:30 +02:00 |
|
Jan van Brügge
|
9111bd40b2
|
isabelle: 2020 -> 2021
|
2021-07-18 23:51:36 +02:00 |
|
Felix Buehler
|
82cb33a0ae
|
treewide: remove meta.version
|
2021-07-18 00:07:38 +02:00 |
|
(cdep)illabout
|
299082636c
|
cedille: set no hydra platforms
|
2021-07-17 11:17:09 +09:00 |
|
(cdep)illabout
|
ff0c051daf
|
cedille: mark broken
|
2021-07-17 11:10:26 +09:00 |
|
Sandro
|
9b8e8b2047
|
Merge pull request #130193 from Stunkymonkey/verifast-phases
verifast: deprecate phases
|
2021-07-15 23:40:17 +02:00 |
|
Sandro
|
025cab89d9
|
Merge pull request #130187 from Stunkymonkey/workcraft-phases
workcraft: deeprecate phases
|
2021-07-15 21:59:16 +02:00 |
|
Vincent Laporte
|
e57571bdb6
|
gappa: 1.3.5 → 1.4.0
|
2021-07-15 07:55:52 +02:00 |
|
Felix Buehler
|
b6fb4cedaf
|
verifast: deprecate phases
|
2021-07-14 16:41:30 +02:00 |
|
Felix Buehler
|
ac75afe239
|
logisim: deprecate phases
|
2021-07-14 16:40:28 +02:00 |
|
Felix Buehler
|
cdf9e86ad1
|
leo3-bin: deprecate phases
|
2021-07-14 16:38:38 +02:00 |
|
Felix Buehler
|
3680a85bcb
|
workcraft: deeprecate phases
|
2021-07-14 16:33:41 +02:00 |
|
Gabriel Ebner
|
7880aaa756
|
Merge pull request #124454 from r-ryantm/auto-update/elan
elan: 1.0.2 -> 1.0.6
|
2021-07-04 10:19:58 +02:00 |
|
Sarunas Valaskevicius
|
5b69b1f3fe
|
tlaToolbox: fix crash on file open dialog
|
2021-07-02 23:04:39 +01:00 |
|
Gabriel Ebner
|
b38329171a
|
Merge pull request #128926 from collares/lean-3.31
lean: 3.30.0 -> 3.31.0
|
2021-07-02 19:57:13 +02:00 |
|
Mauricio Collares
|
258e959faf
|
lean: 3.30.0 -> 3.31.0
|
2021-07-01 20:47:08 -03:00 |
|
Ben Siraphob
|
e86f5bfa8f
|
hol: expand platforms to unix
|
2021-07-01 22:19:02 +07:00 |
|
Théo Zimmermann
|
cc84f3906e
|
coq: fix issue introduced in #128603
This triggerred coq-community/coq-nix-toolbox#42.
|
2021-06-30 16:38:39 +02:00 |
|
Théo Zimmermann
|
d3bb50e7da
|
Coq: adapt for upcoming 8.14 (#128603)
|
2021-06-30 04:47:31 +02:00 |
|
Vincent Laporte
|
d60534722e
|
why3: use GTK3
|
2021-06-27 09:03:12 +02:00 |
|
Vincent Laporte
|
773bdf6998
|
why3: 1.3.3 → 1.4.0
framac: 22.0 → 23.0-rc1
|
2021-06-27 09:03:12 +02:00 |
|
R. RyanTM
|
b7ecc3db11
|
eprover: 2.5 -> 2.6
|
2021-06-23 11:11:41 +00:00 |
|
R. RyanTM
|
816d212fa2
|
gappa: 1.3.5 -> 1.4.0
|
2021-06-16 13:16:13 -07:00 |
|
Vincent Laporte
|
5ca9831cb1
|
ocamlPackages.menhir: 20190626 → 20210419
ocamlPackages.menhirLib: init at 20210419
ocamlPackages.menhirSdk: init at 20210419
|
2021-06-05 13:38:01 +02:00 |
|
Mauricio Collares
|
cbaf78cdaa
|
lean: substitute release commit sha1
|
2021-05-26 11:53:55 -03:00 |
|
R. RyanTM
|
15c278930c
|
elan: 1.0.2 -> 1.0.6
|
2021-05-26 05:44:59 +00:00 |
|
Robert Scott
|
bcc99b83d0
|
libpoly: fix darwin build
issue reported upstream
|
2021-05-21 20:21:20 -07:00 |
|
Stéphan Kochen
|
acf640be7b
|
elan: fix darwin build
|
2021-05-15 12:02:46 +02:00 |
|
maralorn
|
881d2af5ee
|
Merge pull request #122286 from NixOS/haskell-updates
|
2021-05-11 02:31:06 +02:00 |
|
Malte Brandy
|
39c0dd99a4
|
tamarin-prover: Mark broken
|
2021-05-11 01:56:48 +02:00 |
|
Ben Siraphob
|
418a37d99c
|
coq2html: 20170720 -> 1.2
|
2021-05-09 22:00:15 +02:00 |
|
R. RyanTM
|
2c143443f7
|
libpoly: 0.1.8 -> 0.1.9
|
2021-05-08 18:34:00 -07:00 |
|