Experiment: Compile down to machine instructions - #474
Merged
Conversation
JSAbrahams
force-pushed
the
feat-llvm-in-env
branch
from
July 6, 2025 14:58
e721580 to
6177991
Compare
Codecov Report❌ Patch coverage is Additional details and impacted files@@ Coverage Diff @@
## develop #474 +/- ##
===========================================
+ Coverage 90.73% 91.31% +0.57%
===========================================
Files 103 113 +10
Lines 14746 15823 +1077
===========================================
+ Hits 13380 14448 +1068
- Misses 1366 1375 +9
🚀 New features to boost your workflow:
|
JSAbrahams
force-pushed
the
feat-llvm-in-env
branch
from
July 6, 2025 15:02
6177991 to
65b9013
Compare
JSAbrahams
force-pushed
the
feat-llvm-in-env
branch
from
July 6, 2025 15:03
65b9013 to
bfbe12f
Compare
JSAbrahams
force-pushed
the
feat-llvm-in-env
branch
from
August 25, 2026 14:18
bfbe12f to
4d5b3db
Compare
JSAbrahams
had a problem deploying
to
development
August 25, 2026 14:19 — with
GitHub Actions
Failure
JSAbrahams
had a problem deploying
to
development
August 25, 2026 14:19 — with
GitHub Actions
Failure
added 2 commits
August 26, 2026 12:27
The body should never leak out. We do not override outer variable. This is stricter than Python, if we define a new variable then it is only scoped there. We are, however, allowed te reassign to outer variables, if mutable, of course.
JSAbrahams
had a problem deploying
to
development
August 26, 2026 10:56 — with
GitHub Actions
Failure
This is required for MacOS.
JSAbrahams
had a problem deploying
to
development
August 26, 2026 11:05 — with
GitHub Actions
Failure
added 2 commits
August 26, 2026 13:13
Deal with some complex edge cases for min and max. Relied heavily on Claude here in this case.
JSAbrahams
force-pushed
the
feat-llvm-in-env
branch
from
August 26, 2026 11:55
161088b to
9696562
Compare
JSAbrahams
marked this pull request as ready for review
August 26, 2026 11:55
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
For fun, lets see how far we can get.
Doing this we also uncover some scoping bugs in our outputted Python.
Note that Mamba is stricter than Python with regards to scoping rules, so we need to take care of this in our output.
Added Tests
execution.rswhich check the output of our Mamba program via PythonFor both we execute and check the output via stdout.
Python output we run via a Python interpreter.
We test on MacOS, Windows, and Linux to see if compilation works as expected.