sidekick

mirror of https://github.com/c-cube/sidekick.git synced 2026-05-06 01:14:48 -04:00

Author	SHA1	Message	Date
Simon Cruanes	d191317108	format Some checks failed build / build (push) Has been cancelled Details	2026-03-16 03:01:15 +00:00
Simon Cruanes	eff6016151	support trace-fuchsia if present	2023-12-27 17:24:35 -05:00
Simon Cruanes	43c8e60790	use `trace` instead of our own custom tracing setup	2023-10-06 22:04:15 -04:00
Simon Cruanes	a1bc186d2e	use ocamlformat	2022-07-14 22:09:13 -04:00
Simon Cruanes	8bc1f1c864	feat: inner DRUP proof checking for pure-sat-solver	2021-08-19 00:15:00 -04:00
Simon Cruanes	bef0c810d3	wip: trace checking - continue Drup checker - create sidekick-bin.lib to share parsers - parse problem+proof for sidekick-check	2021-08-07 18:10:42 -04:00