Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
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 »
HEL created pull request HEL/midas#20 2026-06-24 09:32:49 +00:00
Static evalution of casts on literals
HEL pushed to feat/literal-static-constraints at HEL/midas 2026-06-24 09:28:52 +00:00
55fba6a088 tests: update test without evaluated casts
70ce263ea2 feat(gen): skip assertions for evaluated casts
Compare 2 commits »
HEL pushed to feat/literal-static-constraints at HEL/midas 2026-06-24 09:24:13 +00:00
1781218ad8 feat(gen): skip assertions for evaluated casts
HEL created branch feat/literal-static-constraints in HEL/midas 2026-06-24 09:10:54 +00:00
HEL pushed to feat/literal-static-constraints at HEL/midas 2026-06-24 09:10:54 +00:00
e1d5eac8b8 feat(checker): evaluate constraints statically on literals
82666a4918 feat(checker): add evaluator
45f84a2f23 feat(checker): add debug diagnostics
dedfcb4dbb feat(checker): store builtin python functions in preamble
d9ea6365ea tests: update with cast expression judgement
Compare 5 commits »
HEL pushed to feat/dataframes at HEL/midas 2026-06-23 14:13:51 +00:00
6306a33f1c feat(checker): process frame type definitions
6199a429f7 feat(cli): add frame type to highlighter
c80e6bbbf0 feat(parser): add frame type to midas syntax
Compare 3 commits »
HEL created branch feat/dataframes in HEL/midas 2026-06-23 12:45:24 +00:00
HEL pushed to feat/dataframes at HEL/midas 2026-06-23 12:45:24 +00:00
9145496587 feat(gen): add support for tuples and dataframes
9144995b79 feat(checker): handle setting dataframe column
45e27ee04e feat(checker): type check subscript on dataframes
83bd3793df feat(types): add TupleType
c2a5517d09 fix(types): add str methods to dataframe types
Compare 6 commits »
HEL deleted branch feat/demonstration from HEL/midas 2026-06-23 08:15:57 +00:00
HEL pushed to main at HEL/midas 2026-06-23 08:15:57 +00:00
9c7a93412c Merge pull request 'Fixes and small demo' (#19) from feat/demonstration into main
d6b8fbfb60 chore: improve demo example
b290c59ac4 fix(gen): add bases for ConstraintType and TypeVar
093f2bc477 fix(checker): lookup member on typevar bound
7c771c4070 feat(checker): add input function to preamble
Compare 15 commits »
HEL merged pull request HEL/midas#19 2026-06-23 08:15:56 +00:00
Fixes and small demo
HEL created pull request HEL/midas#19 2026-06-23 08:15:49 +00:00
Fixes and small demo
HEL pushed to feat/demonstration at HEL/midas 2026-06-23 08:03:48 +00:00
d6b8fbfb60 chore: improve demo example