7 Commits

Author	SHA1	Message	Date
Roman	594026b040	fix: docs, LEZ commit hash	2026-07-09 12:50:46 +02:00
Roman	42f683ef29	fix: undo prove feature ... - install external prover	2026-07-06 15:24:30 +02:00
Roman	4768d581b3	fix: bump to the latest hash	2026-06-30 09:47:37 +02:00
Roman	e4c4d1eca7	fix: sync with updated LEZ API	2026-06-25 13:15:33 +08:00
Roman	21281e1c96	feat: automatic corpus update with minimize	2026-06-23 13:49:55 +08:00
Roman	56162a66a3	fix: repo pinning ... - minor invariant changes - missing target in CI added - docs	2026-06-22 10:17:30 +08:00
Roman	db477a42d0	feat: apply changes from PR1 except corpus	2026-05-27 19:41:34 +08:00