HEL ec80b1e92e feat(checker): add head/tail methods

2026-07-03 12:13:30 +02:00

..

checker

feat(checker): add head/tail methods

2026-07-03 12:13:30 +02:00

generator

tests: update test without evaluated casts

2026-06-24 11:28:44 +02:00

midas-parser

tests: update with new predicate AST representation

2026-06-19 22:13:01 +02:00

python-parser

tests: update with multi-parameter generics

2026-07-01 10:16:12 +02:00