Commits

Commit history

1. Commits on Oct 10, 2026

   • More updates to the eoc pipeline (#251)

     Show description for c6844e9
     

     ajreynol

     and

     claude

     authored
     c6844e9View commit details

     Copy full SHA for c6844e9

     Browse repository at this point
2. Commits on Oct 6, 2026

   • Minor updates to the eoc pipeline (#250)

     Show description for 30775b2
     

     ajreynol

     and

     claude

     authored
     30775b2View commit details

     Copy full SHA for 30775b2

     Browse repository at this point
3. Commits on Sep 25, 2026

   • Prepare 0.2.5 release (#249)

     ajreynol

     authored
     08e4aa4View commit details

     Copy full SHA for 08e4aa4

     Browse repository at this point

   • Fix parsing for parametric datatypes (#248)

     Show description for 2c8945b
     ajreynol

     authored
     2c8945bView commit details

     Copy full SHA for 2c8945b

     Browse repository at this point
4. Commits on Sep 23, 2026

   • Fix define-const with reference checking (#247)

     ajreynol

     authored
     c95a259View commit details

     Copy full SHA for c95a259

     Browse repository at this point

   • More fixes for reference checking (#234)

     Show description for 3370073
     ajreynol

     authored
     3370073View commit details

     Copy full SHA for 3370073

     Browse repository at this point

   • Address more issues from anoieu (#245)

     Show description for 0878546
     ajreynol

     authored
     0878546View commit details

     Copy full SHA for 0878546

     Browse repository at this point

   • Support :binder in eoc compiler (#246)

     Show description for 0b7e60d
     ajreynol

     authored
     0b7e60dView commit details

     Copy full SHA for 0b7e60d

     Browse repository at this point
5. Commits on Sep 21, 2026

   • Improve type rule initialization and compiled logos parsing (#244)

     Show description for 8844c19
     ajreynol

     authored
     8844c19View commit details

     Copy full SHA for 8844c19

     Browse repository at this point

   • Remove deprecated scripts, update to standard repository layout (#243)

     Show description for 4db069f
     

     ajreynol

     and

     claude

     authored
     4db069fView commit details

     Copy full SHA for 4db069f

     Browse repository at this point
6. Commits on Sep 19, 2026

   • Update AI policies, documentation (#242)

     Show description for 04a9b4d
     

     ajreynol

     and

     claude

     authored
     04a9b4dView commit details

     Copy full SHA for 04a9b4d

     Browse repository at this point

   • Fix some initial findings from anoieu (#241)

     Show description for 39f2f90
     ajreynol

     authored
     39f2f90View commit details

     Copy full SHA for 39f2f90

     Browse repository at this point
7. Commits on Sep 11, 2026

   • Prepare 0.2.4 release (#239)

     daniel-larraz

     authored
     8dc85c4View commit details

     Copy full SHA for 8dc85c4

     Browse repository at this point
8. Commits on Sep 10, 2026

   • Reformat maintenance section in README.md (#238)

     daniel-larraz

     authored
     ece360eView commit details

     Copy full SHA for ece360e

     Browse repository at this point
9. Commits on Sep 2, 2026

   • Update the maintence policy (#237)

     ajreynol

     authored
     d338624View commit details

     Copy full SHA for d338624

     Browse repository at this point
10. Commits on Sep 1, 2026

    • Finalize eoc compiler (#236)

      Show description for 24d02c4
      

      ajreynol

      and

      claude

      authored
      24d02c4View commit details

      Copy full SHA for 24d02c4

      Browse repository at this point

    • Major updates to the agility of the eoc compiler (#235)

      Show description for ffec5aa
      ajreynol

      authored
      ffec5aaView commit details

      Copy full SHA for ffec5aa

      Browse repository at this point
11. Commits on Aug 29, 2026

    • Fixes for reference checking (#233)

      Show description for 8709609
      

      ajreynol

      and

      claude

      authored
      8709609View commit details

      Copy full SHA for 8709609

      Browse repository at this point

    • Miscellaneous changes from eoc branch (#232)

      Show description for 56f4c53
      

      ajreynol

      and

      claude

      authored
      56f4c53View commit details

      Copy full SHA for 56f4c53

      Browse repository at this point
12. Commits on Aug 27, 2026

    • Add semantics compiler infrastructure (#231)

      Show description for a711942
      ajreynol

      authored
      a711942View commit details

      Copy full SHA for a711942

      Browse repository at this point
13. Commits on Aug 26, 2026

    • Add smt meta plugin (#230)

      Show description for 09fe898
      ajreynol

      authored
      09fe898View commit details

      Copy full SHA for 09fe898

      Browse repository at this point

    • Rm misc

      ajreynol

      committed
      ced31b4View commit details

      Copy full SHA for ced31b4

      Browse repository at this point
14. Commits on Aug 25, 2026

    • Add core Eunoia compiler infrastructure (#229)

      Show description for b9fc583
      

      ajreynol

      and

      codex

      authored
      b9fc583View commit details

      Copy full SHA for b9fc583

      Browse repository at this point

    • Add lean meta plugin (#228)

      Show description for 53f5e06
      

      ajreynol

      and

      daniel-larraz

      authored
      53f5e06View commit details

      Copy full SHA for 53f5e06

      Browse repository at this point

    • Add model smt plugin (#227)

      Show description for 2f5329b
      

      ajreynol

      and

      claude

      authored
      2f5329bView commit details

      Copy full SHA for 2f5329b

      Browse repository at this point
15. Commits on Aug 24, 2026

    • Minor updates to plugins based on eoc development branch (#226)

      Show description for ddd9184
      ajreynol

      authored
      ddd9184View commit details

      Copy full SHA for ddd9184

      Browse repository at this point
16. Commits on Aug 21, 2026

    • Add trim definitions plugin (#225)

      Show description for 216364d
      

      ajreynol

      and

      claude

      authored
      216364dView commit details

      Copy full SHA for 216364d

      Browse repository at this point

    • Add the desugar plugin (#224)

      Show description for a87ce2a
      

      ajreynol

      and

      claude

      authored
      a87ce2aView commit details

      Copy full SHA for a87ce2a

      Browse repository at this point

    • Optionally require that the last step proves false (#222)

      Show description for 0b1a6dd
      ajreynol

      authored
      0b1a6ddView commit details

      Copy full SHA for 0b1a6dd

      Browse repository at this point

    • Add linear-pattern transformation for Eunoia programs (#221)

      Show description for d431466
      

      ajreynol

      and

      claude

      authored
      d431466View commit details

      Copy full SHA for d431466

      Browse repository at this point

    • Add shared plugin meta-reduction support (#220)

      Show description for 1ace0f8
      

      ajreynol

      and

      claude

      authored
      1ace0f8View commit details

      Copy full SHA for 1ace0f8

      Browse repository at this point
17. Commits on Aug 20, 2026

    • Restore working version of cpp compiler (#219)

      Show description for 0735540
      

      ajreynol

      and

      codex

      authored
      0735540View commit details

      Copy full SHA for 0735540

      Browse repository at this point

    • Add CI infrastructure for plugins, generic base class for plugin (#218)

      Show description for 0f46a2d
      ajreynol

      authored
      0f46a2dView commit details

      Copy full SHA for 0f46a2d

      Browse repository at this point
18. Commits on Aug 13, 2026

    • Indicate time unit in stats (#217)

      Show description for d41486a
      

      ajreynol

      and

      claude

      authored
      d41486aView commit details

      Copy full SHA for d41486a

      Browse repository at this point
19. Commits on Jun 23, 2026

    • Option to treat define-fun as Eunoia definitions (#207)

      Show description for add55d0
      

      ajreynol

      and

      codex

      authored
      add55d0View commit details

      Copy full SHA for add55d0

      Browse repository at this point