Commit Graph

Select branches

Hide Pull Requests

main

#1

#10

#11

#12

#13

#14

#15

#16

#17

#18

#19

#2

#20

#21

#22

#23

#24

#25

#26

#27

#28

#29

#3

#30

#31

#32

#33

#34

#35

#36

#37

#38

#39

#4

#40

#41

#42

#43

#44

#5

#6

#7

#8

#9

official

v0.0.1-proto

v0.1.0

v0.1.0-rc

v0.1.1

Mono Color

• 7236749bd5 refactor(checker): unify builtins definitions HEL 2026-06-08 13:44:26 +02:00
• 2ff1f27614 refactor(checker): restructure around shared registry HEL 2026-06-08 13:41:42 +02:00
• 111afe4dd4 feat(checker): add reporter class HEL 2026-06-08 13:38:35 +02:00
• c4c142482a feat(resolver): handle generic application HEL 2026-06-08 10:59:01 +02:00
• f9c15abaf4 refactor(checker): move is_subtype to resolver HEL 2026-06-08 10:57:50 +02:00
• d51d24f865 refactor(checker): move unfold_type to types.py HEL 2026-06-08 10:56:27 +02:00
• 1d00875a8c feat(resolver): handle generics definition HEL 2026-06-08 10:55:15 +02:00
• f89722fad8 feat(checker): add generic type structure HEL 2026-06-08 10:52:34 +02:00
• 27917496c1 Merge pull request 'Subtyping' (#8) from feat/subtyping into main HEL 2026-06-14 22:01:45 +00:00
• e0179bc442 feat(checker): handle assignments to attributes HEL 2026-06-07 17:50:56 +02:00
• e665d03533 fix: remove unused SetExpr HEL 2026-06-07 17:48:31 +02:00
• b8cb2b4273 feat(checker): handle attribute getter HEL 2026-06-07 15:07:24 +02:00
• d278dc5f5b tests: update tests with operation overloads HEL 2026-06-07 14:28:36 +02:00
• 59e73f0fd9 fix(checker): invert property subtype check HEL 2026-06-07 14:00:02 +02:00
• 3e0dc60283 fix(checker): only unfold alias on subtype HEL 2026-06-07 13:59:27 +02:00
• c24eb5125e feat(checker): resolve operation overloads with subtypes HEL 2026-06-07 13:43:43 +02:00
• 25bd895dde feat(cli): improve diagnostic printing HEL 2026-06-07 13:42:15 +02:00
• bccd75317e tests: add subtyping test HEL 2026-06-06 16:59:49 +02:00
• f0e3f7574f feat(tests): add judgements to test results HEL 2026-06-06 16:58:13 +02:00
• 5d44081847 feat(checker): implement function subtyping HELandClaude 2026-06-06 16:53:52 +02:00
• 2a2bb0aec7 feat(checker): store function param position HEL 2026-06-06 16:50:42 +02:00
• 67c40a3909 feat(checker): add is_subtype method HEL 2026-06-06 16:30:04 +02:00
• 1c30188122 feat(checker): record type judgements HEL 2026-06-06 16:25:33 +02:00
• 82a0f13242 feat(cli): add verbose flag to compile HEL 2026-06-05 14:17:24 +02:00
• 288d15a9bc Merge pull request 'Usage documentation' (#7) from feat/usage-documentation into main HEL 2026-06-05 10:29:42 +00:00
• 504703d0f7 fix(cli): remove print in main command HEL 2026-06-05 12:26:09 +02:00
• e48895d0af docs: add usage documentation in README HEL 2026-06-05 12:25:02 +02:00
• 13d32d0d27 Merge pull request 'Basic type checker' (#6) from feat/basic-type-checker into main HEL 2026-06-05 09:31:53 +00:00
• 19b9fdd623 Merge pull request 'Improve syntax and types' (#5) from feat/improve-syntax-and-types into feat/basic-type-checker HEL 2026-06-05 09:20:56 +00:00
• ddcaebb51a fix: remove outdated syntax definition HEL 2026-06-05 11:19:29 +02:00
• f182312cd2 fix: update midas syntax definitions HEL 2026-06-05 11:14:53 +02:00
• 73b21789d5 fix(tests): remove custom imports HEL 2026-06-05 10:48:46 +02:00
• 5d7c724bc8 fix(cli): add types files argument HEL 2026-06-05 10:44:20 +02:00
• 74b297c89c feat(checker): remove custom midas import HEL 2026-06-05 10:43:52 +02:00
• 822a74acce refactor(checker): rename methods HEL 2026-06-03 13:03:41 +02:00
• 9a934fabfd tests: remove union type HEL 2026-06-02 17:22:19 +02:00
• 828ec9a3fa fix!: remove union type HEL 2026-06-02 17:19:17 +02:00
• 63a43d79dd chore: update examples HEL 2026-06-02 13:07:53 +02:00
• 029caf4526 fix(tests): update tests with new syntax HEL 2026-06-02 13:05:38 +02:00
• 1c5c418f1c fix(tests): serialize ternary expressions HEL 2026-06-02 13:05:06 +02:00
• a4139d4652 feat(checker): handle logical expressions HEL 2026-06-02 13:03:07 +02:00
• 2fd2071d40 feat(parser): parse pass statement and None HEL 2026-06-02 13:02:45 +02:00
• 97b1ee8ab8 feat(cli): add format command HEL 2026-06-02 13:00:43 +02:00
• dee479def5 fix(checker): wrap type definitions in AliasType HEL 2026-06-02 13:00:03 +02:00
• c8536e20d2 feat(tests): update Midas serializer HEL 2026-06-02 12:36:21 +02:00
• d70137775f feat(cli): update highlighter with new nodes HEL 2026-06-02 12:29:39 +02:00
• 35ceda99aa chore: tidy HEL 2026-06-02 11:45:49 +02:00
• 7f3d74ee49 feat(checker)!: resolve new types HEL 2026-06-02 11:44:31 +02:00
• b9f378de6f feat(parser)!: update Midas parser with new nodes HEL 2026-06-02 11:42:35 +02:00
• ccb17c7290 feat(parser)!: add new Midas AST nodes HEL 2026-06-02 11:41:53 +02:00
• 505779310a feat: add new midas syntax example HEL 2026-06-02 11:40:42 +02:00
• bea3f399ad feat(checker): handle ternary expression HEL 2026-06-01 15:02:12 +02:00
• 55060bfecd feat(parser): add ternary statement HEL 2026-06-01 15:00:21 +02:00
• dd126f2559 fix(cli): improve diagnostic message popup HEL 2026-06-01 14:48:24 +02:00
• 4151f5373d fix(checker): early define fully-typed function HEL 2026-06-01 14:40:42 +02:00
• bd31713ab4 tests(checker): add control flow test HEL 2026-06-01 14:22:03 +02:00
• f4dc57cb96 chore: add control flow example HEL 2026-06-01 14:15:10 +02:00
• 261fd47494 feat(cli): update highlighter HEL 2026-06-01 14:14:10 +02:00
• 1b66a8553d fix(checker): handle paths with no returns in functions HEL 2026-06-01 14:13:48 +02:00
• 65164abadb feat(checker): type check if statements HEL 2026-06-01 14:13:17 +02:00
• 9d45163d9c feat(checker): handle comparisons HEL 2026-06-01 14:12:22 +02:00
• ab0fa1de1a feat(parser): add if statement HEL 2026-06-01 14:10:46 +02:00
• 5d4df7978b fix(cli): ignore repeated visit of types HEL 2026-06-01 14:10:07 +02:00
• 86ad348b99 feat(cli): add option to highlight diagnostics HEL 2026-06-01 11:57:57 +02:00
• 29f691e38a fix: update vscode syntax HEL 2026-06-01 11:30:56 +02:00
• f2c61d24e2 refactor(checker): move builtins definition to separate file HEL 2026-06-01 00:55:54 +02:00
• 112ed0e816 feat(parser): desugar AugAssign statements HEL 2026-05-31 18:54:55 +02:00
• 7eb1e13b70 fix(cli): add cast visitor method to highlighter HEL 2026-05-31 18:45:25 +02:00
• 893e1ba190 feat(cli): dump environment after compile HEL 2026-05-31 18:44:41 +02:00
• 1a1b0e8e15 docs(checker): add documentation to checker, resolvers, etc. HEL 2026-05-31 13:32:08 +02:00
• 4ddde364ed doc(checker): add documentation to checker methods HEL 2026-05-31 12:56:20 +02:00
• 4a3363a3d6 feat(checker): add cast expression HEL 2026-05-29 22:04:03 +02:00
• 0a3216e07d feat(parser):add cast expression HEL 2026-05-29 22:03:39 +02:00
• c29c0ed3ec tests: add tests for type checker HEL 2026-05-29 19:08:58 +02:00
• fa7e56cb77 tests: add checker tester HEL 2026-05-29 19:08:41 +02:00
• 13c19db818 fix(checker): stabilize call error message HEL 2026-05-29 19:08:13 +02:00
• 95b218fbed tests: add tests for python parser HEL 2026-05-29 18:45:06 +02:00
• c3722c7438 tests: add python parser tester HEL 2026-05-29 18:44:53 +02:00
• 9dd547d6c1 fix(tests): handle new tests with no snapshot HEL 2026-05-29 18:44:28 +02:00
• e2d5943517 tests: move midas parser tests in subfolder HEL 2026-05-29 18:39:25 +02:00
• 86e4763a12 refactor(tests): make cases dir configurable in subclass HEL 2026-05-29 17:52:10 +02:00
• 89ec63cb05 refactor(tests): extract tester base class HEL 2026-05-29 17:42:39 +02:00
• e6375f1aa9 chore: tidy HEL 2026-05-29 17:25:12 +02:00
• d16e192a3a feat(checker): map and check function call arguments HEL 2026-05-29 15:48:36 +02:00
• 3f61f84e5a feat(parser): parse function param defaults and sinks HEL 2026-05-29 15:47:19 +02:00
• fd5399f50a feat(checker): evaluate function definitions HEL 2026-05-29 12:10:09 +02:00
• 8906ac3db8 feat(parser): add return statements HEL 2026-05-29 11:25:11 +02:00
• 022aebf55b fix(parser): prevent duplicate properties in complex types HEL 2026-05-29 10:41:54 +02:00
• 5dc6903425 fix(cli): enable midas ast dump HEL 2026-05-29 10:41:31 +02:00
• 1b078b832c chore: add some operations in the example HEL 2026-05-28 18:27:10 +02:00
• 7515716864 feat(checker): add diagnostics HEL 2026-05-28 18:19:02 +02:00
• 218b0c5b78 fix(parser): add location in all AST nodes HEL 2026-05-28 18:18:16 +02:00
• 928901ef9c fix(checker): get literal types from context HEL 2026-05-28 18:16:35 +02:00
• 4b62c78874 feat(cli): integrate checker in compile command HEL 2026-05-28 17:35:38 +02:00
• f882eebaf5 feat(checker): add basic checker HEL 2026-05-28 17:35:00 +02:00
• a872938405 feat(checker): add midas context resolver HEL 2026-05-28 17:33:16 +02:00
• 146be72fd7 chore: add simple operation and type examples HEL 2026-05-28 17:31:12 +02:00
• 6de54e1da1 feat(checker): add python scope resolver HEL 2026-05-28 17:30:16 +02:00
• c82b41a4df feat(checker): add environment manager HEL 2026-05-28 17:29:37 +02:00
• 8304760fe0 fix(parser): add function body and all_args property HEL 2026-05-28 15:26:33 +02:00