Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Externalize builtins and fix bugs #637

Merged
merged 10 commits into from
Oct 13, 2024

update

4040e7a
Select commit
Loading
Failed to load commit list.
Merged

Externalize builtins and fix bugs #637

update
4040e7a
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Oct 11, 2024 in 1s

93.47% of diff hit (target 87.78%)

View this Pull Request on Codecov

93.47% of diff hit (target 87.78%)

Annotations

Check warning on line 289 in src/exo/API.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/API.py#L289 

Added line #L289 was not covered by tests

Check warning on line 793 in src/exo/API_cursors.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/API_cursors.py#L793 

Added line #L793 was not covered by tests

Check warning on line 799 in src/exo/API_cursors.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/API_cursors.py#L799 

Added line #L799 was not covered by tests

Check warning on line 978 in src/exo/LoopIR_compiler.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/LoopIR_compiler.py#L978 

Added line #L978 was not covered by tests

Check warning on line 274 in src/exo/LoopIR_pprint.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/LoopIR_pprint.py#L274 

Added line #L274 was not covered by tests

Check warning on line 800 in src/exo/LoopIR_unification.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/LoopIR_unification.py#L800 

Added line #L800 was not covered by tests

Check warning on line 822 in src/exo/LoopIR_unification.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/LoopIR_unification.py#L822 

Added line #L822 was not covered by tests

Check warning on line 27 in src/exo/extern.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/extern.py#L27 

Added line #L27 was not covered by tests

Check warning on line 30 in src/exo/extern.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/extern.py#L30 

Added line #L30 was not covered by tests

Check warning on line 33 in src/exo/extern.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/extern.py#L33 

Added line #L33 was not covered by tests

Check warning on line 36 in src/exo/extern.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/extern.py#L36 

Added line #L36 was not covered by tests

Check warning on line 251 in src/exo/parse_fragment.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/parse_fragment.py#L251 

Added line #L251 was not covered by tests

Check warning on line 254 in src/exo/parse_fragment.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/parse_fragment.py#L254 

Added line #L254 was not covered by tests

Check warning on line 317 in src/exo/parse_fragment.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/parse_fragment.py#L317 

Added line #L317 was not covered by tests

Check warning on line 322 in src/exo/parse_fragment.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/parse_fragment.py#L322 

Added line #L322 was not covered by tests

Check warning on line 258 in src/exo/prec_analysis.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/prec_analysis.py#L257-L258 

Added lines #L257 - L258 were not covered by tests

Check warning on line 1078 in src/exo/pyparser.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/pyparser.py#L1078 

Added line #L1078 was not covered by tests

Check warning on line 1088 in src/exo/pyparser.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/pyparser.py#L1088 

Added line #L1088 was not covered by tests

Check warning on line 1093 in src/exo/pyparser.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/pyparser.py#L1093 

Added line #L1093 was not covered by tests

Check warning on line 384 in src/exo/stdlib/inspection.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/stdlib/inspection.py#L384 

Added line #L384 was not covered by tests

Check warning on line 566 in src/exo/stdlib/inspection.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/exo/stdlib/inspection.py#L566 

Added line #L566 was not covered by tests
View more details on Codecov