Skip to content

Activity

Showing most recent first

org: split lexer, parser, and semantics into separate crates

Alextopherpushed 1 commit to main • c90fd3e…e85da60 • 
on Jul 27, 2024

semantics: rewrite solver to consider quotations

Alextopherpushed 3 commits to main • 7a6176a…c90fd3e • 
on Jul 27, 2024

semantics: fix bug in byte constraint solver

Alextopherpushed 6 commits to main • 36195e4…7a6176a • 
on Jul 25, 2024

Update README.md

Alextopherpushed 1 commit to main • 255a8f1…36195e4 • 
on Apr 26, 2023

remove old files, upgrade to logos 0.13 <3, slight progress towards m…

Alextopherpushed 2 commits to main • 59887b1…255a8f1 • 
on Apr 26, 2023

Update README.md

Alextopherpushed 1 commit to main • 1cbf784…59887b1 • 
on Apr 26, 2023

Update description.md

Alextopherpushed 1 commit to main • a023fff…1cbf784 • 
on Apr 26, 2023

Refactor some names (TokenType -> Token), (Token -> TokenKind) and de…

Alextopherpushed 1 commit to main • 4b8bc42…a023fff • 
on Apr 9, 2023

add out.txt to git ignore

Alextopherpushed 2 commits to main • 8fa6e36…4b8bc42 • 
on Apr 8, 2023

Update README.md

Alextopherpushed 1 commit to main • 92abc55…8fa6e36 • 
on Apr 8, 2023

start building serotonin command

Alextopherpushed 3 commits to main • 01041e7…92abc55 • 
on Apr 8, 2023

update deps, remove unstable feature requirements, add macro support

Alextopherpushed 1 commit to main • 3ae77f3…01041e7 • 
on Mar 14, 2023