1668 Commits

Author	SHA1	Message	Date
github-actions[bot]	3503eea847	Merge master into staging-next	2023-08-26 18:00:55 +00:00
figsoda	b424933ae6	egglog: unstable-2023-08-19 -> unstable-2023-08-23 ... Diff: a4768b1751...9e53038196	2023-08-26 12:00:55 -04:00
github-actions[bot]	d4c8d05cac	Merge master into staging-next	2023-08-25 00:01:49 +00:00
R. Ryantm	fcf9eb1b51	cryptominisat: 5.11.11 -> 5.11.12	2023-08-24 17:19:43 +00:00
github-actions[bot]	11e56ed9bb	Merge master into staging-next	2023-08-23 12:01:03 +00:00
R. Ryantm	58a4a997db	cbmc: 5.89.0 -> 5.90.0	2023-08-23 00:42:48 +00:00
github-actions[bot]	6eac46a06d	Merge staging-next into staging	2023-08-21 06:01:22 +00:00
figsoda	9fece688bc	egglog: unstable-2023-08-09 -> unstable-2023-08-19 ... Diff: de31786679...a4768b1751	2023-08-20 15:59:22 -04:00
Theodore Ni	ece0953571	Merge branch 'staging-next' into staging	2023-08-18 16:02:27 -07:00
Vincent Laporte	ae68d70536	cvc5: 1.0.5 → 1.0.6	2023-08-16 21:33:07 +02:00
Pol Dellaiera	3eb7f7a63b	Merge pull request #248683 from oxij/tree/source-root-continues-3 ... treewide: cleanup `sourceRoot` and `setSourceRoot` usage	2023-08-15 05:53:52 +02:00
Weijia Wang	5075896acb	Merge pull request #247626 from r-ryantm/auto-update/fast-downward ... fast-downward: 22.12.0 -> 23.06.0	2023-08-13 13:49:08 +02:00
Jan Malakhovski	d098c821d6	treewide: remove unneeded dots and slashes in sourceRoots	2023-08-12 08:29:56 +00:00
Nick Cao	39f729e827	Merge pull request #248258 from r-ryantm/auto-update/cbmc ... cbmc: 5.88.1 -> 5.89.0	2023-08-10 19:30:18 -06:00
R. Ryantm	7dbd412737	cbmc: 5.88.1 -> 5.89.0	2023-08-10 02:27:01 +00:00
figsoda	a69648b581	egglog: unstable-2023-07-19 -> unstable-2023-08-09 ... Diff: 9fe03ad35a...de31786679	2023-08-09 16:46:12 -04:00
R. Ryantm	06fadebc20	libpoly: 0.1.11 -> 0.1.13	2023-08-07 04:40:37 +00:00
R. Ryantm	2f9afe24c3	fast-downward: 22.12.0 -> 23.06.0	2023-08-07 01:43:33 +00:00
Weijia Wang	70f066f77f	Merge pull request #247155 from wegank/beluga-hash ... beluga: fix hash	2023-08-04 22:10:47 +02:00
Weijia Wang	d4e52e4564	beluga: fix hash	2023-08-04 19:48:22 +02:00
Vincent Laporte	14651559b5	hol_light: 2019-10-06 → 2023-07-21	2023-08-04 18:15:31 +02:00
Jan Malakhovski	5852f26bdc	treewide: noop: refer to src.name or similar in sourceRoot where appropriate, part 1: trivial cases	2023-08-03 16:32:03 +00:00
Ben Darwin	93a35301f1	beluga: 1.0 -> 1.1	2023-08-02 13:20:41 -04:00
Jiajie Chen	b96dbd032c	cbmc: 5.87.0 -> 5.88.1	2023-08-01 23:52:10 +08:00
whonore	eb15838bdb	dafny: 4.0.0 -> 4.2.0	2023-07-28 17:11:46 -04:00
R. Ryantm	2dd3cda40f	elan: 2.0.0 -> 2.0.1	2023-07-27 04:51:49 +00:00
Nick Cao	f00fb876ad	Merge pull request #245556 from figsoda/egglog ... egglog: unstable-2023-07-11 -> unstable-2023-07-19	2023-07-26 17:50:11 -06:00
Sandro	d0202aa545	Merge pull request #244292 from Luflosi/update/yosys ... yosys: 0.30 -> 0.31	2023-07-27 00:35:20 +02:00
figsoda	3db4ace604	egglog: unstable-2023-07-11 -> unstable-2023-07-19 ... Diff: 14a6fc6060...9fe03ad35a	2023-07-26 12:09:56 -04:00
Felix Bühler	0a2745684e	Merge pull request #239624 from Stunkymonkey/use-optionalString-then ... treewide: use optionalString instead of 'then ""'	2023-07-22 13:02:47 +02:00
R. Ryantm	baf2e9b036	opensmt: 2.5.1 -> 2.5.2	2023-07-19 04:02:07 +00:00
Luflosi	f6cd7355c5	abc-verifier: unstable-2023-02-23 -> unstable-2023-06-28	2023-07-18 21:37:31 +02:00
figsoda	f6793ae4af	egglog: unstable-2023-06-26 -> unstable-2023-07-11 ... Diff: 187441ad0d...14a6fc6060	2023-07-14 11:37:35 -04:00
Weijia Wang	46ed1e3a8c	Merge pull request #242794 from r-ryantm/auto-update/elan ... elan: 1.4.6 -> 2.0.0	2023-07-11 22:22:35 +03:00
R. Ryantm	fc8230b13a	elan: 1.4.6 -> 2.0.0	2023-07-11 09:02:20 +00:00
R. Ryantm	68c5d276f1	cbmc: 5.86.0 -> 5.87.0	2023-07-11 05:28:30 +00:00
Janik	58da584acf	Merge pull request #185499 from mgregson/tlaplus-1.8.0	2023-07-10 10:30:58 +02:00
figsoda	8e1aab5d34	egglog: unstable-2023-06-11 -> unstable-2023-06-26 ... Diff: c7ef8b000c...187441ad0d	2023-07-04 11:57:03 -04:00
Nick Cao	8feaa9fe93	Merge pull request #241120 from jiegec/cbmc ... cbmc: 5.76.1 -> 5.86.0	2023-07-03 13:58:03 +08:00
figsoda	50acc2d57a	pkgs/applications: replace "${version}" with version	2023-07-02 14:39:50 -04:00
Jiajie Chen	2db283819e	cbmc: 5.76.1 -> 5.86.0	2023-07-02 22:46:06 +08:00
Michael Gregson	9269d5823d	tlaplus18: init at 1.8.0 ... This is a pre-release of version 1.8 of TLA+. It adds, among other things, a TLA+ REPL. Release Notes: https://github.com/tlaplus/tlaplus/releases/tag/v1.8.0	2023-06-30 16:09:41 -07:00
Vincent Laporte	002ffb885a	coq: 8.17.0 → 8.17.1	2023-06-30 06:48:15 +02:00
R. Ryantm	75b8e7eb4b	cryptominisat: 5.11.4 -> 5.11.11	2023-06-28 02:05:20 +00:00
Janik	77e5ce731b	Merge pull request #238964 from McSinyx/klee-3	2023-06-27 09:38:09 +02:00
Janik	a2f36b2963	Merge pull request #231149 from mgregson/tlaplus-remove-unnecessary-jdk-dependency	2023-06-26 18:15:28 +02:00
Mario Rodas	e0e4c97cd1	Merge pull request #239623 from marsam/update-z3 ... z3: 4.11.0 -> 4.11.2, 4.12.1 -> 4.12.2	2023-06-26 05:16:37 -05:00
R. Ryantm	aa93209605	elan: 1.4.5 -> 1.4.6	2023-06-25 17:27:10 +00:00
Felix Buehler	f3719756b5	treewide: use optionalString instead of 'then ""'	2023-06-24 20:19:19 +02:00
Mario Rodas	b2aee9c18e	Merge pull request #230298 from jleightcap/jl/z3-4.12 ... z3: 4.12.1	2023-06-24 10:53:02 -05:00