midas

Merge pull request 'Undefined variables and column aggregations' (#43 ) from fix/undefined-variable into main

Tests #28:Commit 7c96f7a19f pushed by HEL

main

2026-07-23 23:36:20 +00:00

6s

fix(checker): correct return type for column aggregation

Tests #27:Commit e37432ad57 pushed by HEL

#43

2026-07-23 23:36:03 +00:00

10s

Merge pull request 'Avoid raising exceptions, report diagnostics instead' (#42 ) from fix/remove-raises into main

Tests #26:Commit 12c5309cff pushed by HEL

main

2026-07-10 09:35:15 +00:00

6s

fix(checker): remove redundant match case

Tests #25:Commit 720a82c221 pushed by HEL

#42

2026-07-10 09:34:05 +00:00

6s

Merge pull request 'Add Contributing and License sections to README' (#41 ) from feat/readme-additions into main

Tests #24:Commit e302ed2377 pushed by HEL

main

2026-07-09 22:39:18 +00:00

6s

chore: add icon to README

Tests #23:Commit 1d927e532f pushed by HEL

#41

2026-07-09 22:38:53 +00:00

6s

chore: add icon to README

Tests #22:Commit 9a7c1e24f1 pushed by HEL

#41

2026-07-09 22:37:56 +00:00

6s

Merge pull request 'Add Apache 2.0 license' (#40 ) from feat/license into main

Tests #21:Commit 3e06a236b5 pushed by HEL

main

2026-07-09 22:20:48 +00:00

6s

chore: add Apache 2.0 license

Tests #20:Commit ab53ac67d5 pushed by HEL

#40

2026-07-09 22:20:21 +00:00

6s

Merge pull request 'Tidy examples and minor housekeeping' (#39 ) from feat/tidy-examples into main

Tests #19:Commit b3ff5a7b96 pushed by HEL

main

2026-07-09 21:41:56 +00:00

5s

chore: add justfile

Tests #18:Commit dce35391b4 pushed by HEL

#39

2026-07-09 21:41:31 +00:00

6s

chore: add justfile

Tests #17:Commit 9f3c8b96e9 pushed by HEL

#39

2026-07-09 21:39:32 +00:00

7s

Merge pull request 'Minor fixes and more tests' (#38 ) from feat/add-tests into main

Tests #16:Commit 34072de270 pushed by HEL

main

2026-07-09 20:19:55 +00:00

5s

tests: add frame constraint generation test

Tests #15:Commit 2b09a29165 pushed by HEL

#38

2026-07-09 20:19:32 +00:00

6s

Merge pull request 'Cleanup and minor improvements' (#37 ) from feat/tidying into main

Tests #14:Commit 0c851cbc9b pushed by HEL

main

2026-07-09 14:59:40 +00:00

5s

chore: fix name and complete language configuration

Tests #13:Commit 54b2058b86 pushed by HEL

#37

2026-07-09 14:59:18 +00:00

7s

Merge pull request 'Properly check variable assignment' (#36 ) from feat/variable-is-defined into main

Tests #12:Commit 62612bd8db pushed by HEL

main

2026-07-08 17:30:50 +00:00

6s

chore: add new parameter to docstring

Tests #11:Commit 4ed78d3d7e pushed by HEL

#36

2026-07-08 17:30:28 +00:00

5s

fix(checker): leaking for-loop iterator target

Tests #10:Commit ab7012c538 pushed by HEL

#36

2026-07-08 17:28:56 +00:00

6s

Merge pull request 'Complete documentation' (#32 ) from feat/complete-docs into main

Tests #9:Commit 2118c260ab pushed by HEL

main

2026-07-08 15:41:11 +00:00

6s

docs: add commands in manual

Tests #8:Commit 403238da09 pushed by HEL

#32

2026-07-08 15:39:22 +00:00

6s

chore: pin python version for test ci

Tests #7:Commit c00dfe9910 pushed by HEL

#32

2026-07-08 14:47:29 +00:00

23s

tests: add tests summary

Tests #6:Commit 597ae6bb4c pushed by HEL

#32

2026-07-08 14:45:25 +00:00

5s

tests: exit with error code if failure when running all tests

Tests #5:Commit 1162716a25 pushed by HEL

#32

2026-07-08 14:20:59 +00:00

5s

chore: remove uv from test workflow

Tests #4:Commit c2ebf885ac pushed by HEL

#32

2026-07-08 14:19:39 +00:00

6s

chore: add some files in gitignore

Tests #3:Commit 7cddc62aaa pushed by HEL

#32

2026-07-08 14:13:38 +00:00

1m32s

chore: allow passing commit hash through inputs

ci.yaml #2:Commit 9fdc003a71 pushed by HEL

#32

2026-07-07 17:09:57 +00:00

1m45s

chore: add ci to compile manual

ci.yaml #1:Commit 496413415f pushed by HEL

#32

2026-07-07 16:50:21 +00:00

4m1s