20 Commits

Author	SHA1	Message	Date
R. Ryantm	68c5d276f1	cbmc: 5.86.0 -> 5.87.0	2023-07-11 05:28:30 +00:00
Jiajie Chen	2db283819e	cbmc: 5.76.1 -> 5.86.0	2023-07-02 22:46:06 +08:00
Artturin	3251013cc1	treewide: env.NIX_CFLAGS_COMPILE use toString on result of optionals ... env values must be strings	2023-02-22 21:23:05 +02:00
Artturin	f9fdf2d402	treewide: move NIX_CFLAGS_COMPILE to the env attrset ... with structuredAttrs lists will be bash arrays which cannot be exported which will be a issue with some patches and some wrappers like cc-wrapper this makes it clearer that NIX_CFLAGS_COMPILE must be a string as lists in env cause a eval failure	2023-02-22 21:23:04 +02:00
github-actions[bot]	b2a1140ada	Merge master into staging-next	2023-02-06 06:01:25 +00:00
Vladimír Čunát	555f300879	treewide: another round of gcc12 fixups	2023-02-05 15:29:43 +01:00
R. Ryantm	eed37a8427	cbmc: 5.74.0 -> 5.76.1	2023-02-05 13:53:55 +00:00
Fabián Heredia Montiel	0cf5d85f0c	treewide: add gcc12 flags	2023-01-27 21:20:52 -06:00
Bobby Rong	60164ab87b	cbmc: mark as broken on aarch64-linux ... Upstream issue has no respond for a month and ofborg keeps reporting this failure.	2023-01-10 22:29:53 +08:00
R. Ryantm	9aa633ca8c	cbmc: 5.71.0 -> 5.74.0	2023-01-08 09:52:35 +00:00
R. Ryantm	d9af397634	cbmc: 5.70.0 -> 5.71.0	2022-11-25 08:37:13 +00:00
R. Ryantm	139ba95570	cbmc: 5.69.1 -> 5.70.0	2022-11-11 18:08:36 +08:00
R. Ryantm	4db4ddf01a	cbmc: 5.69.0 -> 5.69.1	2022-10-29 13:42:50 +00:00
R. Ryantm	52b1e28293	cbmc: 5.68.0 -> 5.69.0	2022-10-28 16:23:12 +08:00
R. Ryantm	9765cc81f6	cbmc: 5.67.0 -> 5.68.0	2022-10-14 23:46:21 +08:00
R. Ryantm	119b1e2fd7	cbmc: 5.65.1 -> 5.67.0	2022-09-30 10:33:04 +00:00
R. Ryantm	101fa50263	cbmc: 5.65.0 -> 5.65.1	2022-09-14 22:04:14 +08:00
R. Ryantm	35657ce4a6	cbmc: 5.64.0 -> 5.65.0	2022-09-02 10:22:16 +00:00
R. Ryantm	e0377f4a23	cbmc: 5.63.0 -> 5.64.0	2022-08-18 20:25:31 +00:00
Jiajie Chen	da87f77102	cbmc: init at 5.63.0 ... Cadical is used as sat solver backend. https://github.com/diffblue/cbmc/releases/tag/cbmc-5.63.0	2022-08-18 05:21:32 +02:00