HEL/midas
1
0
Fork 0
Code Issues Pull Requests Actions Releases 3 Activity

Static evalution of casts on literals #20

Merged
HEL merged 7 commits from feat/literal-static-constraints into main 2026-06-24 09:32:55 +00:00
Conversation 0 Commits 7 Files Changed 11
+346 -67
7 Commits
Author SHA1 Message Date
HEL 55fba6a088 tests: update test without evaluated casts 2026-06-24 11:28:44 +02:00
HEL 70ce263ea2 feat(gen): skip assertions for evaluated casts 
avoid generating a runtime assertion for a cast which has already been checked statically
 2026-06-24 11:28:43 +02:00
HEL e1d5eac8b8 feat(checker): evaluate constraints statically on literals 2026-06-24 11:10:09 +02:00
HEL 82666a4918 feat(checker): add evaluator 
add an evaluator class to evaluate expressions using literal values
 2026-06-24 11:08:15 +02:00
HEL 45f84a2f23 feat(checker): add debug diagnostics 2026-06-24 11:07:42 +02:00
HEL dedfcb4dbb feat(checker): store builtin python functions in preamble 2026-06-24 11:05:36 +02:00
HEL d9ea6365ea tests: update with cast expression judgement 2026-06-23 16:49:38 +02:00