HEL Louis Heredero
6 Followers · 3 Following
Suisse
https://github.com/LordBaryhobal
Joined on 2023-02-15
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL pushed to feat/add-tests at HEL/midas 2026-07-09 18:57:37 +02: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 16:59:30 +02:00
HEL pushed to main at HEL/midas 2026-07-09 16:59:30 +02: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 16:59:29 +02:00
HEL created pull request HEL/midas#37 2026-07-09 16:59:08 +02:00
Cleanup and minor improvements
HEL pushed to feat/tidying at HEL/midas 2026-07-09 16:54:49 +02: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 16:51:15 +02: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 16:00:03 +02: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 14:17:14 +02:00
4d343a61ff feat!: remove Python constraint type
HEL pushed to feat/tidying at HEL/midas 2026-07-09 12:33:02 +02: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-09 00:25:32 +02:00
HEL pushed to feat/tidying at HEL/midas 2026-07-09 00:25:32 +02: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 19:30:41 +02:00
HEL merged pull request HEL/midas#36 2026-07-08 19:30:40 +02:00
Properly check variable assignment
HEL pushed to main at HEL/midas 2026-07-08 19:30:40 +02: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 »
HEL pushed to feat/variable-is-defined at HEL/midas 2026-07-08 19:30:21 +02:00
4ed78d3d7e chore: add new parameter to docstring
HEL created pull request HEL/midas#36 2026-07-08 19:28:47 +02:00
Properly check variable assignment
HEL created branch feat/variable-is-defined in HEL/midas 2026-07-08 19:21:28 +02:00
HEL pushed to feat/variable-is-defined at HEL/midas 2026-07-08 19:21:28 +02:00
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 3 commits »
HEL deleted branch feat/complete-docs from HEL/midas 2026-07-08 17:41:03 +02:00