Default branch

main 39823c425e · Add SEO attribution: author meta tag, JSON-LD structured data, 'Created by Scott Scoble' branding · Updated 2026-05-24 01:14:32 +00:00

ZIP  TAR.GZ

Branches

lagrangia-v1.1 264318c9ed · lagrangia v1.1: real Z3 wiring via shell-out to z3 -smt2 · Updated 2026-07-19 08:38:59 +00:00    sscoble	0 27	Compare	ZIP  TAR.GZ
ifblock-fix 9e4ac1b120 · ifblock-fix: real if/else codegen + parser require-continuation fix · Updated 2026-07-19 08:31:27 +00:00    sscoble	0 25	Compare	ZIP  TAR.GZ
now-fix 8f78ceac28 · fix(rust): replace now() TODO stub with real SystemTime::now() call · Updated 2026-07-19 08:26:26 +00:00    sscoble	0 25	Compare	ZIP  TAR.GZ
lagrangia-score 313be7997e · feat(lagrangia): action functional + ToggleSwitch stationary-point test · Updated 2026-07-19 05:10:38 +00:00    sscoble	0 26	Compare	ZIP  TAR.GZ
fix/speckl-55-ltl-inner-identifier-scope e6f95ddf0b · fix(parser): parse multi-line input/output blocks as record types (speckl#57) · Updated 2026-06-09 20:53:02 +00:00    sscoble	0 3	Compare	ZIP  TAR.GZ
fix/parser-precondition-postcondition 898e2e53ae · fix(compiler): protect object literal identifiers from this. prefix in rewriteExpr · Updated 2026-05-10 03:06:36 +00:00    sscoble	38 0	Included	ZIP  TAR.GZ
fix/compiler-enum-rewrite-parser-quotes ade3fe2177 · fix: correct enum value rewriting and parser quoted-string handling · Updated 2026-05-06 04:50:49 +00:00    sscoble	62 1	#16 Closed	ZIP  TAR.GZ