rev/mpl
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Commit graph

  • 7e679fa86c Record grammar-only surface gaps main developtheweb 2026-07-10 00:09:03 -04:00
  • b40ba77e26 Claim the M0 core, enforced developtheweb 2026-07-10 00:02:10 -04:00
  • 8bbb99e7aa Re-record and ratify the corpus developtheweb 2026-07-10 00:00:10 -04:00
  • 5e020dbee1 Implement composition; forall value; parse-only evaluation developtheweb 2026-07-09 23:36:13 -04:00
  • f5e840750c Align parser with grammar developtheweb 2026-07-09 23:34:52 -04:00
  • bb3c015416 Enforce boolean conditions, binding discipline, depth limit developtheweb 2026-07-09 23:31:45 -04:00
  • d3fa70bea8 Implement exact rational numbers developtheweb 2026-07-09 23:29:01 -04:00
  • c447eb7397 Amend grammar for rulings 18 and 26 developtheweb 2026-07-09 23:26:53 -04:00
  • 2d1d17899a Record ratified rulings developtheweb 2026-07-09 23:25:01 -04:00
  • ea66a2abda Gate CI on ratified conformance developtheweb 2026-07-09 19:21:13 -04:00
  • bc298b528e Add differential fuzzer developtheweb 2026-07-09 19:18:51 -04:00
  • 42ade676db Add coverage corpus developtheweb 2026-07-09 18:44:33 -04:00
  • 6f1db6de95 Add conformance harness developtheweb 2026-07-09 18:40:16 -04:00
  • 5e984c6d38 Add ParseCheck CLI developtheweb 2026-07-09 18:38:37 -04:00
  • 94f9ba68bd State that the M0 core runs developtheweb 2026-07-09 18:03:38 -04:00
  • e0dfbb4ec6 Run interpreter tests in CI developtheweb 2026-07-09 18:02:32 -04:00
  • d9dd032441 Add interpreter test suite developtheweb 2026-07-09 18:02:09 -04:00
  • f972046318 Add browser interpreter developtheweb 2026-07-09 18:02:08 -04:00
  • 468a8045c7 Sync all reference docs with the grammar developtheweb 2026-07-09 03:19:43 -04:00
  • 96002ec1bf Make every README claim verifiable and every code block parse developtheweb 2026-07-09 03:03:52 -04:00
  • b9a232667e Add Gradle wrapper and CI workflow developtheweb 2026-07-09 02:57:19 -04:00
  • acb98ae145 Fix examples so all ten parse developtheweb 2026-07-09 02:54:10 -04:00
  • f076a1dade Adopt canonical call syntax and wire in orphaned tokens developtheweb 2026-07-09 02:51:12 -04:00
  • 5230273ab1 Fix grammar compilation errors and latent build breakers developtheweb 2026-07-09 02:44:14 -04:00
  • 590762cad3 Remove test file developtheweb@protonmail.com 2025-07-26 22:04:23 -04:00
  • ccb9c1cde7 Test new ruleset developtheweb@protonmail.com 2025-07-26 22:04:11 -04:00
  • fa89dafd13 Replace non-existent images with ASCII diagrams developtheweb@protonmail.com 2025-07-26 21:30:33 -04:00
  • be1f6394fc Add CODEOWNERS file for repository protection developtheweb@protonmail.com 2025-07-26 19:47:46 -04:00
  • eb2cdb1c91 Remove fictional donation links from FUNDING.yml developtheweb@protonmail.com 2025-07-26 18:45:34 -04:00
  • 3cf435b41e Initial commit: Mathematical Programming Language (MPL) developtheweb@protonmail.com 2025-07-26 18:39:08 -04:00
  • 1fb7e360f5 Resolve M0 blockers and fix all examples v0.1-alpha developtheweb 2025-07-25 12:21:52 -04:00
  • 57efd37df6 Initial commit: MPL specification and M0 documentation developtheweb 2025-07-25 12:02:20 -04:00