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 main at HEL/midas 2026-06-20 16:55:03 +02:00
12782dda1e Merge pull request 'Variance inference and subtyping' (#16) from feat/variance into main
48a20b4aa0 tests: add tests for variance inference and subtyping
9467187313 feat(checker): use variance in subtype check
cd8f14153d feat(checker): infer type variables variance
Compare 4 commits »
HEL deleted branch feat/variance from HEL/midas 2026-06-20 16:55:03 +02:00
HEL merged pull request HEL/midas#16 2026-06-20 16:55:02 +02:00
Variance inference and subtyping
HEL created pull request HEL/midas#16 2026-06-20 16:54:56 +02:00
Variance inference and subtyping
HEL created branch feat/variance in HEL/midas 2026-06-20 16:48:23 +02:00
HEL pushed to feat/variance at HEL/midas 2026-06-20 16:48:23 +02:00
48a20b4aa0 tests: add tests for variance inference and subtyping
9467187313 feat(checker): use variance in subtype check
cd8f14153d feat(checker): infer type variables variance
Compare 3 commits »
HEL deleted branch feat/constraint-type from HEL/midas 2026-06-19 22:21:05 +02:00
HEL merged pull request HEL/midas#15 2026-06-19 22:21:04 +02:00
Constraint types
HEL pushed to main at HEL/midas 2026-06-19 22:21:04 +02:00
6eea0c02e0 Merge pull request 'Constraint types' (#15) from feat/constraint-type into main
3205e7b961 fix(checker): change back warning to errors
0aba134290 tests: add predicates and constraints test
1f0bcab2ca fix(checker) minor tweaks
db8d88ef35 feat(parser): parse strings in Midas files
Compare 27 commits »
HEL pushed to feat/constraint-type at HEL/midas 2026-06-19 22:20:41 +02:00
3205e7b961 fix(checker): change back warning to errors
0aba134290 tests: add predicates and constraints test
1f0bcab2ca fix(checker) minor tweaks
db8d88ef35 feat(parser): parse strings in Midas files
7695d50537 fix(parser): correctly parse keyword arguments
Compare 28 commits »
HEL created pull request HEL/midas#15 2026-06-19 22:20:32 +02:00
Constraint types
HEL pushed to feat/constraint-type at HEL/midas 2026-06-19 22:12:52 +02:00
776a3fb86c fix(checker): change back warning to errors
HEL pushed to feat/constraint-type at HEL/midas 2026-06-19 22:09:23 +02:00
fcbbff0177 tests: add predicates and constraints test
HEL pushed to feat/constraint-type at HEL/midas 2026-06-19 21:55:41 +02:00
e2efbf693e fix(checker) minor tweaks
68f83ab6cf feat(parser): parse strings in Midas files
Compare 2 commits »
HEL pushed to feat/constraint-type at HEL/midas 2026-06-19 21:11:07 +02:00
4118f95753 fix(parser): correctly parse keyword arguments
d5972df3f6 fix(checker): handle all operations and calls in predicates
3411aa9953 fix(checker): lookup predicate variables in preamble
Compare 3 commits »
HEL pushed to main at HEL/midas 2026-06-19 15:25:11 +02:00
9672dfd588 Merge pull request 'Update README' (#14) from fix/update-readme into main
7639ccc94d chore: update README with new commands
Compare 2 commits »
HEL deleted branch fix/update-readme from HEL/midas 2026-06-19 15:25:11 +02:00
HEL merged pull request HEL/midas#14 2026-06-19 15:25:09 +02:00
Update README
HEL created pull request HEL/midas#14 2026-06-19 15:25:04 +02:00
Update README
HEL created branch fix/update-readme in HEL/midas 2026-06-19 15:23:57 +02:00