Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL deleted branch feat/update-syntax from HEL/midas 2026-07-08 12:48:16 +00:00
HEL pushed to main at HEL/midas 2026-07-08 12:48:15 +00:00
db986d5242 Merge pull request 'Update syntax definitions' (#34) from feat/update-syntax into main
3c97e75db6 feat(parser): allow subscript in type annotations
e0a468a2c2 docs: update annotation syntax definitions
6740344eba docs: update Midas EBNF
4f9099a4c4 chore: update VSCode syntax definition
Compare 6 commits »
HEL merged pull request HEL/midas#34 2026-07-08 12:48:14 +00:00
Update syntax definitions
HEL created pull request HEL/midas#34 2026-07-08 12:48:09 +00:00
Update syntax definitions
HEL pushed to feat/update-syntax at HEL/midas 2026-07-08 12:44:38 +00:00
3c97e75db6 feat(parser): allow subscript in type annotations
e0a468a2c2 docs: update annotation syntax definitions
Compare 2 commits »
HEL created branch feat/update-syntax in HEL/midas 2026-07-08 12:09:54 +00:00
HEL pushed to feat/update-syntax at HEL/midas 2026-07-08 12:09:54 +00:00
6740344eba docs: update Midas EBNF
4f9099a4c4 chore: update VSCode syntax definition
5c66c4b645 docs: update syntax railroad diagrams
Compare 3 commits »
HEL deleted branch fix/weather-pipeline from HEL/midas 2026-07-08 08:13:10 +00:00
HEL pushed to main at HEL/midas 2026-07-08 08:13:10 +00:00
c0896d2b9b Merge pull request 'Minor improvements' (#33) from fix/weather-pipeline into main
607ff53987 feat(checker): handle single string literal in groupby
3268783cbe chore: improve weather pipeline
a48182a4e3 fix(checker): allow calling methods on TopType and UnknownType
205d19fb72 feat(checker): try to filter groupby columns
Compare 8 commits »
HEL merged pull request HEL/midas#33 2026-07-08 08:13:08 +00:00
Minor improvements
HEL pushed to fix/weather-pipeline at HEL/midas 2026-07-08 08:13:01 +00:00
607ff53987 feat(checker): handle single string literal in groupby
HEL created pull request HEL/midas#33 2026-07-08 08:09:13 +00:00
Minor improvements
HEL pushed to fix/weather-pipeline at HEL/midas 2026-07-08 08:04:24 +00:00
3268783cbe chore: improve weather pipeline
a48182a4e3 fix(checker): allow calling methods on TopType and UnknownType
205d19fb72 feat(checker): try to filter groupby columns
Compare 3 commits »
HEL created branch fix/weather-pipeline in HEL/midas 2026-07-08 07:39:22 +00:00
HEL pushed to fix/weather-pipeline at HEL/midas 2026-07-08 07:39:22 +00:00
10c6ea7dda feat(checker): add context to reports
1acf33f376 chore: fix weather pipeline example
aae481776f fix(checker): check ConstraintType's constraint type
Compare 3 commits »
HEL pushed to feat/complete-docs at HEL/midas 2026-07-07 17:08:10 +00:00
9fdc003a71 chore: allow passing commit hash through inputs
HEL reopened pull request HEL/midas#32 2026-07-07 16:46:18 +00:00
Complete documentation
HEL closed pull request HEL/midas#32 2026-07-07 16:46:14 +00:00
Complete documentation
HEL created pull request HEL/midas#32 2026-07-07 16:45:17 +00:00
Complete documentation
HEL created branch feat/complete-docs in HEL/midas 2026-07-07 16:44:31 +00:00