|
|
55fba6a088
|
tests: update test without evaluated casts
|
2026-06-24 11:28:44 +02:00 |
|
|
|
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 |
|
|
|
e1d5eac8b8
|
feat(checker): evaluate constraints statically on literals
|
2026-06-24 11:10:09 +02:00 |
|
|
|
82666a4918
|
feat(checker): add evaluator
add an evaluator class to evaluate expressions using literal values
|
2026-06-24 11:08:15 +02:00 |
|
|
|
45f84a2f23
|
feat(checker): add debug diagnostics
|
2026-06-24 11:07:42 +02:00 |
|
|
|
dedfcb4dbb
|
feat(checker): store builtin python functions in preamble
|
2026-06-24 11:05:36 +02:00 |
|
|
|
d9ea6365ea
|
tests: update with cast expression judgement
|
2026-06-23 16:49:38 +02:00 |
|
