This website requires JavaScript.
Explore
Help
Register
Sign In
HEL
/
midas
Watch
1
Star
0
Fork
0
Code
Issues
Pull Requests
Actions
Releases
3
Activity
Files
main
midas
/
tests
/
cases
/
checker
T
Add File
New File
Upload File
Apply Patch
Copy Permalink
Download directory as ZIP
Download directory as TAR.GZ
Delete Directory
History
HEL
e37432ad57
Tests / tests (pull_request)
Successful in 10s
Details
fix(checker): correct return type for column aggregation
2026-07-24 00:03:26 +02:00
..
01_simple_types.py
feat!: remove Python constraint type
2026-07-09 14:15:36 +02:00
01_simple_types.py.ref.json
feat!: remove Python constraint type
2026-07-09 14:15:36 +02:00
02_simple_operations.py
tests: add tests for type checker
2026-05-29 19:08:58 +02:00
02_simple_operations.py.ref.json
tests: update tests
2026-06-15 00:03:33 +02:00
03_functions.py
tests: add tests for type checker
2026-05-29 19:08:58 +02:00
03_functions.py.ref.json
tests: update with unsupported flag
2026-07-07 13:51:46 +02:00
04_custom_types.midas
tests: update tests
2026-06-15 00:03:33 +02:00
04_custom_types.py
fix(tests): remove custom imports
2026-06-05 10:48:46 +02:00
04_custom_types.py.ref.json
tests: update with multi-parameter generics
2026-07-01 10:16:12 +02:00
05_control_flow.py
tests(checker): add control flow test
2026-06-01 14:22:03 +02:00
05_control_flow.py.ref.json
tests: update with newly reported judgements
2026-06-15 00:03:33 +02:00
06_subtyping.py
tests: update tests
2026-06-15 00:03:33 +02:00
06_subtyping.py.ref.json
tests: update with unsupported flag
2026-07-07 13:51:46 +02:00
07_variance.midas
tests: add tests for variance inference and subtyping
2026-06-20 16:48:19 +02:00
07_variance.py
fix(resolver): properly check if variable is defined
2026-07-08 18:42:28 +02:00
07_variance.py.ref.json
fix(resolver): properly check if variable is defined
2026-07-08 18:42:28 +02:00
08_unification.py
tests: add unification test
2026-06-21 13:19:17 +02:00
08_unification.py.ref.json
tests: update with unsupported flag
2026-07-07 13:51:46 +02:00
09_frame_ops.py
fix(resolver): properly check if variable is defined
2026-07-08 18:42:28 +02:00
09_frame_ops.py.ref.json
fix(checker): correct return type for column aggregation
2026-07-24 00:03:26 +02:00
10_variable_defined.py
fix(checker): leaking for-loop iterator target
2026-07-08 19:21:19 +02:00
10_variable_defined.py.ref.json
fix(checker): leaking for-loop iterator target
2026-07-08 19:21:19 +02:00
11_function_subtyping.py
tests: add test covering some function subtyping rules
2026-07-09 21:58:51 +02:00
11_function_subtyping.py.ref.json
tests: add test covering some function subtyping rules
2026-07-09 21:58:51 +02:00