Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL created branch feat/report-setup in HEL/TB-Docs 2026-06-24 14:43:57 +00:00
HEL pushed to feat/report-setup at HEL/TB-Docs 2026-06-24 14:43:57 +00:00
82a3e1786d feat(report): setup report
HEL pushed to main at HEL/TB-Docs 2026-06-24 14:03:07 +00:00
15c6ec899e feat(journal): update week 7
HEL pushed to feat/dataframes at HEL/midas 2026-06-24 12:37:10 +00:00
78e10e0895 feat(checker): process frame type definitions
c81e4a9560 feat(cli): add frame type to highlighter
6d0cf1a055 feat(parser): add frame type to midas syntax
cc5e7af143 feat(gen): add support for tuples and dataframes
3bdbc80079 feat(checker): handle setting dataframe column
Compare 25 commits »
HEL pushed to main at HEL/midas 2026-06-24 12:18:09 +00:00
f7c43837b5 Merge pull request 'CLI tweaks' (#22) from fix/cli-tweaks into main
32ed62a6f1 fix(cli): show summary of diagnostic counts
66f39acec0 fix(cli): show all diagnostics in types command
6c04e2fee4 feat(cli): add compile option to ignore errors
Compare 4 commits »
HEL deleted branch fix/cli-tweaks from HEL/midas 2026-06-24 12:18:09 +00:00
HEL merged pull request HEL/midas#22 2026-06-24 12:18:08 +00:00
CLI tweaks
HEL created pull request HEL/midas#22 2026-06-24 12:18:03 +00:00
CLI tweaks
HEL created branch fix/cli-tweaks in HEL/midas 2026-06-24 12:14:30 +00:00
HEL pushed to fix/cli-tweaks at HEL/midas 2026-06-24 12:14:30 +00:00
32ed62a6f1 fix(cli): show summary of diagnostic counts
66f39acec0 fix(cli): show all diagnostics in types command
6c04e2fee4 feat(cli): add compile option to ignore errors
Compare 3 commits »
HEL pushed to main at HEL/midas 2026-06-24 12:00:04 +00:00
2bb2e0a684 Merge pull request 'Unsafe cast' (#21) from feat/unsafe-cast into main
5630320d21 chore: use unsafe_cast in demo script
9f05ba3224 feat: handle unsafe casts
5fbe965919 feat(checker): add typing submodule with cast functions
Compare 4 commits »
HEL deleted branch feat/unsafe-cast from HEL/midas 2026-06-24 12:00:04 +00:00
HEL merged pull request HEL/midas#21 2026-06-24 12:00:03 +00:00
Unsafe cast
HEL created pull request HEL/midas#21 2026-06-24 11:59:58 +00:00
Unsafe cast
HEL pushed to feat/unsafe-cast at HEL/midas 2026-06-24 11:57:45 +00:00
5630320d21 chore: use unsafe_cast in demo script
HEL created branch feat/unsafe-cast in HEL/midas 2026-06-24 11:57:12 +00:00
HEL pushed to feat/unsafe-cast at HEL/midas 2026-06-24 11:57:12 +00:00
9f05ba3224 feat: handle unsafe casts
5fbe965919 feat(checker): add typing submodule with cast functions
Compare 2 commits »
HEL deleted branch feat/literal-static-constraints from HEL/midas 2026-06-24 09:32:56 +00:00
HEL merged pull request HEL/midas#20 2026-06-24 09:32:55 +00:00
Static evalution of casts on literals
HEL pushed to main at HEL/midas 2026-06-24 09:32:55 +00:00
252a5abdfd Merge pull request 'Static evalution of casts on literals' (#20) from feat/literal-static-constraints into main
55fba6a088 tests: update test without evaluated casts
70ce263ea2 feat(gen): skip assertions for evaluated casts
e1d5eac8b8 feat(checker): evaluate constraints statically on literals
82666a4918 feat(checker): add evaluator
Compare 8 commits »