Vincent Laporte
f727a6aebe
why3: remove spurious camlp5 dependency
2021-11-01 20:37:57 +01:00
Mauricio Collares
89d7336c20
lean: 3.34.0 -> 3.35.0
2021-11-01 19:17:17 +01:00
Mauricio Collares
c707a468a4
lean: 3.33.0 -> 3.34.0
2021-11-01 19:17:17 +01:00
Gabriel Ebner
f13aa788e1
elan: 1.2.0 -> 1.3.0
2021-11-01 13:37:56 +01:00
Smaug123
925ab444c9
elan: 1.1.0 -> 1.2.0
...
The move to 1.1.0 broke Darwin: the patch introduced during that move
is also required on Darwin, but is hidden behind a Linux-specific
optional. The patch has since made it upstream, so the easiest fix
is simply to upgrade Elan.
2021-10-31 21:41:38 +00:00
Sergei Trofimovich
597eb07e00
yices: drop symlink hack, avoid ldconfig on linux
...
Reported by sternenseemann as a failure on darwin:
https://github.com/NixOS/nixpkgs/pull/141541#discussion_r739634263
Instead of emulating symlink creation in `.nix` file let's create
them in Makefile.build directly in a way that can be upstreamed.
2021-10-31 09:08:41 +01:00
Vincent Laporte
22e732d03c
tamarin-prover: 1.6.0 → 1.6.1
2021-10-22 07:38:30 +02:00
Ben Darwin
3032353fcb
abella: 2.0.6 -> 2.0.7
2021-10-19 13:25:44 -04:00
Théo Zimmermann
e242eef8a4
coq_8_14: 8.14+rc1 -> 8.14.0
2021-10-15 18:50:05 +02:00
Artturi
6d65c1c56d
Merge pull request #141541 from trofi/fix-yices-links
2021-10-15 05:07:49 +03:00
Shadaj Laddad
9d02ea53de
cadical: include C++ headers
2021-10-14 15:23:05 -07:00
Vincent Laporte
cafe9f88fc
leo2: 1.6.2 → 1.7.0
...
Fix build with recent C++ compilers
Use a more recent OCaml (4.05)
2021-10-14 09:45:49 +02:00
Alyssa Ross
851b719ac6
treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriate
2021-10-13 17:39:37 +00:00
Sergei Trofimovich
0b2d3bbfcb
yices: 2.6.3 -> 2.6.2
...
2.6.3 is not a stable tag (and is really a 2.6.4 in disguise).
Failure is noticed by vbgl in https://github.com/NixOS/nixpkgs/pull/141241#issuecomment-942103854
The change downgrades from unstable to latest stable release and
adds a check for file presence to prevent upgrade that silently
breaks symlink.
2021-10-13 17:58:26 +01:00
Théo Zimmermann
3437b543fd
coq_8_14: init at 8.14+rc1
2021-10-13 10:44:09 +02:00
Vincent Laporte
e31bc3d26a
coq2html: 1.2 → 1.3
2021-10-13 10:15:05 +02:00
Sergei Trofimovich
b18a746169
yices: 2.6.1 -> 2.6.3 ( #141241 )
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2021-10-12 23:09:47 +02:00
Vincent Laporte
17e2fbf2dc
alt-ergo: 2.4.0 → 2.4.1
2021-10-12 14:41:54 +02:00
Gabriel Ebner
9044534a8d
elan: 1.0.7 -> 1.1.0
2021-10-09 20:06:10 +02:00
Anders Kaseorg
4ce09e0e06
lean: 3.32.1 → 3.33.0
...
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2021-10-07 18:54:06 -07:00
Austin Seipp
d474571392
symbiyosys: 2020.08.22 -> 2021.09.13
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-09-29 13:14:27 -05:00
Bruce Collie
3e213b8699
z3: 4.8.10 -> 4.8.12
2021-09-24 11:46:21 +01:00
Naïm Favier
b2391a51d2
coq: add desktop file for coqide
2021-09-23 14:39:50 +02:00
R. RyanTM
1c9cbe8a05
opensmt: 2.1.0 -> 2.1.1
2021-09-14 18:44:37 +00:00
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
