1128 Commits

Author	SHA1	Message	Date
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
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