Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL created pull request HEL/midas#38 2026-07-09 20:19:25 +00:00
Minor fixes and more tests
HEL pushed to feat/add-tests at HEL/midas 2026-07-09 20:16:35 +00:00
2b09a29165 tests: add frame constraint generation test
309e1d4a5b tests: add generator test for simple syntax
Compare 2 commits »
HEL pushed to feat/add-tests at HEL/midas 2026-07-09 19:59:18 +00:00
74472c974b tests: add test covering some function subtyping rules
HEL pushed to feat/add-tests at HEL/midas 2026-07-09 17:05:13 +00:00
3f2ccf4101 tests: add test covering some function subtyping rules
HEL created branch feat/add-tests in HEL/midas 2026-07-09 16:57:37 +00:00
HEL pushed to feat/add-tests at HEL/midas 2026-07-09 16:57:37 +00:00
a9a3164c24 fix: implement missing methods on printer and highlighter
88ab9dc14d fix: add final decorator to Visitor subclasses
f41dbb528c tests: add custom JSON encoder to for checker output
44963db425 tests: add test for all supported Python syntaxes
b67c940112 tests: add test for all Midas syntaxes
Compare 9 commits »
HEL deleted branch feat/tidying from HEL/midas 2026-07-09 14:59:30 +00:00
HEL pushed to main at HEL/midas 2026-07-09 14:59:30 +00:00
0c851cbc9b Merge pull request 'Cleanup and minor improvements' (#37) from feat/tidying into main
54b2058b86 chore: fix name and complete language configuration
60ff529226 chore: add midas snippets
c3b243288d fix(checker): remove redundant instance check
cd9b80d22b docs: fix some typos in manual
Compare 13 commits »
HEL automatically merged pull request HEL/midas#37 2026-07-09 14:59:29 +00:00
HEL created pull request HEL/midas#37 2026-07-09 14:59:08 +00:00
Cleanup and minor improvements
HEL pushed to feat/tidying at HEL/midas 2026-07-09 14:54:49 +00:00
54b2058b86 chore: fix name and complete language configuration
60ff529226 chore: add midas snippets
Compare 2 commits »
HEL pushed to feat/tidying at HEL/midas 2026-07-09 14:51:15 +00:00
a72bfaeaeb chore: fix name and complete language configuration
df5a4163c0 chore: add midas snippets
Compare 2 commits »
HEL pushed to feat/tidying at HEL/midas 2026-07-09 14:00:03 +00:00
c3b243288d fix(checker): remove redundant instance check
cd9b80d22b docs: fix some typos in manual
21b648e18f docs: fix some docstrings
742693fa38 chore: add script to check docstrings
Compare 4 commits »
HEL pushed to feat/tidying at HEL/midas 2026-07-09 12:17:14 +00:00
4d343a61ff feat!: remove Python constraint type
HEL pushed to feat/tidying at HEL/midas 2026-07-09 10:33:02 +00:00
f314a95e87 fix(checker): fix function subtyping logic
99350a9505 docs: add description of function subtyping
Compare 2 commits »
HEL created branch feat/tidying in HEL/midas 2026-07-08 22:25:32 +00:00
HEL pushed to feat/tidying at HEL/midas 2026-07-08 22:25:32 +00:00
aaa6d945d1 fix: tidy some TODOs
653612ee87 feat(checker): add variance manager to improve recursive types
2df6bca948 fix(gen): improve cast assert message for columns
Compare 3 commits »
HEL deleted branch feat/variable-is-defined from HEL/midas 2026-07-08 17:30:41 +00:00
HEL merged pull request HEL/midas#36 2026-07-08 17:30:40 +00:00
Properly check variable assignment
HEL pushed to main at HEL/midas 2026-07-08 17:30:40 +00:00
62612bd8db Merge pull request 'Properly check variable assignment' (#36) from feat/variable-is-defined into main
4ed78d3d7e chore: add new parameter to docstring
ab7012c538 fix(checker): leaking for-loop iterator target
06f71f2945 tests: add test for variable assignment
1b5691dca7 fix(resolver): properly check if variable is defined
Compare 5 commits »