kzvi
|
befe89f3d7
|
lean: 3.31.0 -> 3.32.1
|
2021-08-23 15:43:00 -07:00 |
|
Artturi
|
f2f1718aae
|
Merge pull request #135404 from r-ryantm/auto-update/workcraft
|
2021-08-23 17:28:09 +03:00 |
|
Artturi
|
55fdaafe15
|
Merge pull request #135398 from r-ryantm/auto-update/verifast
verifast: 19.12 -> 21.04
|
2021-08-23 17:25:35 +03:00 |
|
R. RyanTM
|
6b086631c6
|
workcraft: 3.3.2 -> 3.3.5
|
2021-08-23 08:01:40 +00:00 |
|
R. RyanTM
|
a73fc504b7
|
verifast: 19.12 -> 21.04
|
2021-08-23 07:29:27 +00:00 |
|
Narazaki, Shuji
|
960ddb6f8f
|
cadical: 1.3.0 -> 1.4.1
|
2021-08-22 20:46:34 +09:00 |
|
R. RyanTM
|
3760bcfd58
|
opensmt: 2.0.1 -> 2.1.0
|
2021-08-22 09:30:15 +00:00 |
|
davidak
|
f2b906617d
|
Merge pull request #134361 from Stunkymonkey/why3-phases
why3: deprecate phases
|
2021-08-19 04:06:56 +02:00 |
|
Gabriel Ebner
|
f267d39257
|
Merge pull request #134394 from r-ryantm/auto-update/elan
elan: 1.0.6 -> 1.0.7
|
2021-08-17 10:03:05 +02:00 |
|
R. RyanTM
|
b1868a8296
|
elan: 1.0.6 -> 1.0.7
|
2021-08-17 03:53:13 +00:00 |
|
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 |
|