Default Branch

master c805f41da4 · Add --autotest option (#706) · Updated 2024-10-03 14:15:51 +03:00

ZIP  TAR.GZ

Branches

explainbetter bff46e7360 · Explain plugin: improve layout and formatting · Updated 2024-10-04 21:25:17 +03:00	0 11		ZIP  TAR.GZ
vbot@clerk-toml-encoding b796a4f051 · Replace existing parser with the encoder · Updated 2024-10-03 17:23:31 +03:00	0 2		ZIP  TAR.GZ
c-fixes 1d40f2846f · Clerk: apply -O to the backends by default · Updated 2024-10-03 14:16:35 +03:00	0 5		ZIP  TAR.GZ
vbot@misc-typos 44497943f1 · typo squash · Updated 2024-09-23 19:07:27 +03:00	84 1		ZIP  TAR.GZ
ci-test 223d175c51 · CI: fix for use of local opam switch · Updated 2024-08-28 15:53:44 +03:00	117 4		ZIP  TAR.GZ
input_context_subscopes 48498ef466 · Merge branch 'master' into input_context_subscopes · Updated 2024-07-19 20:02:18 +03:00	130 12		ZIP  TAR.GZ
vbot@lsp-tools a482cbb41c · add include errors · Updated 2024-07-18 13:16:33 +03:00	130 8		ZIP  TAR.GZ
clerkpy c85e665650 · CI: adjust script for new make rules & artifacts · Updated 2024-03-20 18:40:04 +03:00	341 0	Included	ZIP  TAR.GZ
r_tuples c2c46c431e · Adress @altgr's suggestion · Updated 2024-03-04 15:30:25 +03:00	367 0	Included	ZIP  TAR.GZ
c_backend afa8ee44bf · Delete duplicate code from 9d3550374d · Updated 2024-02-01 19:23:31 +03:00	430 0	Included	ZIP  TAR.GZ
better_error 34c62a73c1 · Improve missing field error message · Updated 2024-01-23 14:05:18 +03:00	509 0	Included	ZIP  TAR.GZ
reci 3348800fee · CI: yet another GH actions workaround (take 2) · Updated 2024-01-20 20:14:39 +03:00	514 0	Included	ZIP  TAR.GZ
fix_555 15c7691c09 · Fixes #555 · Updated 2024-01-16 13:40:10 +03:00	542 0	Included	ZIP  TAR.GZ
fix_558 b616e60c79 · Fixes #558 · Updated 2024-01-16 13:29:45 +03:00	542 0	Included	ZIP  TAR.GZ
coq_backend 83d6f3b75a · formatting · Updated 2024-01-08 18:41:34 +03:00	546 9		ZIP  TAR.GZ
dates_slicing ad81409e37 · Fix dummy z3 backend with compatible IO interface · Updated 2024-01-04 20:25:19 +03:00	902 31		ZIP  TAR.GZ
fix_551 14589010a0 · Restore tests · Updated 2023-12-19 16:13:42 +03:00	564 0	Included	ZIP  TAR.GZ
debugging_log e2aeb49a9b · Correct fix · Updated 2023-12-11 12:44:25 +03:00	572 0	Included	ZIP  TAR.GZ
adelaett-invariant-typing-default b5e7b297aa · typo fixing · Updated 2023-12-07 15:48:46 +03:00	581 0	Included	ZIP  TAR.GZ
fix_543 628cbc4fec · Fix #543 · Updated 2023-12-06 18:58:38 +03:00	605 0	Included	ZIP  TAR.GZ