cedille
|
cedille: fix hash
|
2019-05-05 20:47:29 -05:00 |
clprover
|
clprover: init at 1.0.3 (#56403)
|
2019-02-26 12:36:04 +00:00 |
coq
|
coq: init at 8.10+β1
|
2019-05-15 10:30:03 +02:00 |
cryptominisat
|
cryptominisat: 5.6.6 -> 5.6.8
|
2019-03-01 16:58:38 -08:00 |
cryptoverif
|
treewide: Change URLs to HTTPS
|
2019-04-22 10:19:54 +02:00 |
elan
|
elan: 0.7.4 -> 0.7.5
|
2019-03-22 11:16:44 +01:00 |
eprover
|
eprover: 2.2 -> 2.3
|
2019-04-30 10:05:27 -07:00 |
hol_light
|
hol_light: 2018-09-30 -> 2019-03-27
|
2019-04-06 11:03:29 +02:00 |
isabelle
|
isabelle: refactor
|
2019-03-14 11:48:30 +01:00 |
otter
|
treewide: Change URLs to HTTPS
|
2019-04-22 10:19:54 +02:00 |
petrinizer
|
petrinizer: init at 0.9.1.1
|
2019-04-16 15:11:03 +02:00 |
proverif
|
treewide: Change URLs to HTTPS
|
2019-04-22 10:19:54 +02:00 |
sad
|
sad: Fix build
|
2019-03-09 01:07:18 +01:00 |
statverif
|
treewide: Change URLs to HTTPS
|
2019-04-22 10:19:54 +02:00 |
symbiyosys
|
symbiyosys: fix path to bash
|
2019-05-12 20:00:10 +02:00 |
tptp
|
tptp: switch to new base URL for source tarball
|
2019-05-09 22:57:59 +02:00 |
why3
|
why3: 1.1.1 -> 1.2.0
|
2019-02-25 10:09:15 +01:00 |