1405 Commits

Author	SHA1	Message	Date
Sebastián Mancilla	68696eca80	Merge pull request #180682 from r-ryantm/auto-update/fast-downward ... fast-downward: 21.12.0 -> 22.06.0	2022-08-17 20:28:49 -04:00
Vincent Laporte	9bb0d53a4a	alt-ergo: 2.4.1 → 2.4.2	2022-08-17 17:07:27 +02:00
Mrmaxmeier	4929601fe9	bitwuzla: unstable-2021-07-01 -> unstable-2022-08-07	2022-08-14 22:58:44 +02:00
Austin Seipp	5b93ac113c	yosys: 0.18 -> 0.20 ... Includes necessary `abc` update as well. Signed-off-by: Austin Seipp <aseipp@pobox.com>	2022-08-12 13:23:18 -05:00
Mario Rodas	e27fb54ad8	Merge pull request #185834 from kilianar/lean-3.46.0 ... lean: 3.45.0 -> 3.46.0	2022-08-12 05:40:55 -05:00
Gabriel Ebner	f056e64e5b	Merge pull request #180766 from jvierling/metis-prover ... metis-prover: 2.3.20160713 -> 2.4.20200713	2022-08-10 13:02:34 +02:00
kilianar	3bf4c6f470	lean: 3.45.0 -> 3.46.0 ... https://github.com/leanprover-community/lean/releases/tag/v3.46.0	2022-08-09 22:21:39 +02:00
superherointj	5c30c1cbf1	Merge pull request #183064 from bcdarwin/update-mcrl2 ... mcrl2: 201707 -> 202206	2022-08-02 15:50:46 -03:00
R. Ryantm	c37576257b	workcraft: 3.3.6 -> 3.3.8	2022-07-31 06:18:04 +00:00
Bobby Rong	ac95058e3c	Merge pull request #183276 from r-ryantm/auto-update/cvc5 ... cvc5: 1.0.0 -> 1.0.1	2022-07-30 10:50:46 +08:00
R. Ryantm	33d34d205c	opensmt: 2.3.1 -> 2.4.1	2022-07-29 14:26:39 +00:00
R. Ryantm	f238ea8ee8	cvc5: 1.0.0 -> 1.0.1	2022-07-28 10:49:58 +00:00
Ben Darwin	a39c8ddb1f	mcrl2: 201707 -> 202206	2022-07-27 01:25:01 -04:00
Gabriel Ebner	ec71376b1c	Merge pull request #179568 from collares/lean-3.44.1 ... lean: 3.43.0 -> 3.45.0	2022-07-21 19:04:45 +02:00
Mauricio Collares	2646dae16e	lean: 3.44.1 -> 3.45.0	2022-07-21 13:03:03 -03:00
Mauricio Collares	b394165a8a	lean: 3.44.0 -> 3.44.1	2022-07-21 12:52:30 -03:00
Mauricio Collares	f1fe61ba70	lean: 3.43.0 -> 3.44.0	2022-07-21 12:52:30 -03:00
Ben Siraphob	0952243f1f	Merge pull request #182056 from jiegec/cvc3-darwin	2022-07-20 23:12:29 -07:00
Jiajie Chen	fa917a6f8c	cvc3: unbreak on aarch64-darwin ... Disable stackprotector on aarch64-darwin.	2022-07-21 08:09:26 +08:00
Vladimír Čunát	0879ac5da6	Merge branch 'master' into staging-next	2022-07-16 20:07:05 +02:00
Ben Siraphob	68c9333eb4	Merge pull request #176321 from siraben/smtcoq-fix	2022-07-16 09:27:57 -07:00
Ben Siraphob	0a0006a9d8	formula: add mainProgram	2022-07-15 11:41:08 -07:00
Artturin	a584822577	treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH' ... f7414e2	2022-07-15 02:50:09 +03:00
Artturin	83b4764dc3	treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH' ... f7414e2b3a	2022-07-12 18:25:19 +03:00
Théo Zimmermann	3ea8ed7d7e	Split out CoqIDE by default when Coq >= 8.14.	2022-07-10 15:49:44 +02:00
Jannik Vierling	abf573a0c7	metis-prover: 2.3.20160713 -> 2.4.20200713	2022-07-08 22:22:33 +02:00
Théo Zimmermann	1014f00cff	Prepare Coq derivation for Coq 8.17 build infrastructure.	2022-07-08 14:54:04 +02:00
R. Ryantm	4f64659d54	fast-downward: 21.12.0 -> 22.06.0	2022-07-08 09:59:52 +00:00
Jonas Heinrich	fc4b3a846d	klee: 2.2 -> 2.3 ... * klee: 2.2 -> 2.3	2022-07-07 09:18:27 -03:00
github-actions[bot]	b1e76b5db1	Merge master into staging-next	2022-06-27 00:02:25 +00:00
Ivv	f3b81e3229	Merge pull request #178481 from siraben/formula-update ... formula: update, add update script and unbreak darwin	2022-06-26 21:10:36 +02:00
github-actions[bot]	5b9ee17283	Merge master into staging-next	2022-06-24 00:02:29 +00:00
Rick van Schijndel	c100196b08	Merge pull request #176823 from risicle/ris-native-source-provenance-applications ... treewide/applications: add `sourceType` `binaryNativeCode` for many packages	2022-06-23 20:55:09 +02:00
github-actions[bot]	4f79f81d47	Merge master into staging-next	2022-06-23 18:01:15 +00:00
Robert Scott	466c2e342a	treewide/applications: add sourceType binaryNativeCode for many packages	2022-06-23 18:38:19 +01:00
Shea Levy	c4f2260cdb	isabelle: Fix build on darwin	2022-06-23 13:24:53 -04:00
Shea Levy	4d781f329d	z3_4_4_0: Fix build on darwin.	2022-06-23 12:40:46 -04:00
Ben Siraphob	354c51a748	formula: unmark as broken on darwin	2022-06-22 17:04:55 -07:00
Ben Siraphob	c76653603c	formula: unstable-2022-02-02 -> unstable-2022-06-20	2022-06-22 17:04:55 -07:00
Ben Siraphob	7071d43fd3	formula: add update script	2022-06-22 17:04:53 -07:00
github-actions[bot]	506a80a667	Merge staging-next into staging	2022-06-23 00:02:43 +00:00
Hernan Rajchert	ef22f5fd93	veriT: Fix build on macos	2022-06-22 16:57:33 -03:00
github-actions[bot]	8fe94dceb1	Merge staging-next into staging	2022-06-21 06:02:15 +00:00
Anderson Torres	97f37b6e05	Merge pull request #178307 from Luflosi/update/yosys ... yosys: 0.16 -> 0.18	2022-06-20 22:35:38 -03:00
github-actions[bot]	8c4cc99917	Merge staging-next into staging	2022-06-20 18:01:47 +00:00
Ivv	71003947fc	Merge pull request #177991 from mdarocha/dotnet-6-update ... dotnet-sdk: 6.0.300 -> 6.0.301	2022-06-20 19:56:52 +02:00
Luflosi	f4a768e251	abc-verifier: 2022.03.22 -> 2022.05.06	2022-06-20 10:40:17 +02:00
github-actions[bot]	f40a25207d	Merge staging-next into staging	2022-06-18 00:02:27 +00:00
Dennis Gosnell	529de76e8a	tamarin-prover: remove darwin from hydraPlatforms	2022-06-17 19:20:10 +09:00
mdarocha	e8eb946183	formula: update dependencies	2022-06-17 10:12:42 +02:00