-
Notifications
You must be signed in to change notification settings - Fork 18
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.
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
Jit #134
base: master
Are you sure you want to change the base?
Commits on Sep 1, 2022
-
JIT backend: Initial draft implementation
Copied from implementation based on old machine, with new Transformer and minor changes.
Configuration menu - View commit details
-
Copy full SHA for b3d31a4 - Browse repository at this point
Copy the full SHA b3d31a4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6cf126e - Browse repository at this point
Copy the full SHA 6cf126eView commit details -
JIT backend: Use more specific type for datatypes
Also, collect all used datatypes over program
Configuration menu - View commit details
-
Copy full SHA for 32e1fb3 - Browse repository at this point
Copy the full SHA 32e1fb3View commit details -
Configuration menu - View commit details
-
Copy full SHA for f1acc3d - Browse repository at this point
Copy the full SHA f1acc3dView commit details -
JIT backend: Use register allocation from machine
since all locals are positional in machine, we can just use those positions as register numbers. Removes the now unnecessary `RegisterAllocation` analysis on JIT code
Configuration menu - View commit details
-
Copy full SHA for 6bddfe0 - Browse repository at this point
Copy the full SHA 6bddfe0View commit details -
JIT backend: Generate datatype info
Generate information on the used datatypes (which alternatives there are, with how many fields of what types) into the output for the JIT.
Configuration menu - View commit details
-
Copy full SHA for 9bd1167 - Browse repository at this point
Copy the full SHA 9bd1167View commit details -
* the main statement is run in an empty environment * `BlockLabel` does not need to be a `Tree`
Configuration menu - View commit details
-
Copy full SHA for 1e53cb0 - Browse repository at this point
Copy the full SHA 1e53cb0View commit details -
Configuration menu - View commit details
-
Copy full SHA for ddb2dd4 - Browse repository at this point
Copy the full SHA ddb2dd4View commit details -
JIT backend: Use Maps from register types instead of multiple fields
Allows easier extension with more register types and handling of registers
Configuration menu - View commit details
-
Copy full SHA for e269b7c - Browse repository at this point
Copy the full SHA e269b7cView commit details -
JIT backend: Name clause parameters appropriately
Clauses describe the values closed over explicitly, passed parameters are implicit. This is now reflected in the name.
Configuration menu - View commit details
-
Copy full SHA for f36d027 - Browse repository at this point
Copy the full SHA f36d027View commit details -
JIT backend: Split Environment and Frame descriptors
The Environment describes the variables currently in scope. The FrameDescriptor describes merely their numbers (i.e. how many registers are needed).
Configuration menu - View commit details
-
Copy full SHA for 6df5837 - Browse repository at this point
Copy the full SHA 6df5837View commit details -
Configuration menu - View commit details
-
Copy full SHA for 253a109 - Browse repository at this point
Copy the full SHA 253a109View commit details -
JIT backend: Rewrite code generation for clauses
There are two ways a clause may be compiled: As a "closure": only free variables of the clause are copied over, a new frame is generated. "inlined": All variables in the current environment survive, the enclosing frame is extended to leave enough space for the new locals.
Configuration menu - View commit details
-
Copy full SHA for 7cf8f04 - Browse repository at this point
Copy the full SHA 7cf8f04View commit details -
For now. Later, maybe add additional Bool registers.
Configuration menu - View commit details
-
Copy full SHA for 51cf695 - Browse repository at this point
Copy the full SHA 51cf695View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8a0a8cd - Browse repository at this point
Copy the full SHA 8a0a8cdView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4ac7824 - Browse repository at this point
Copy the full SHA 4ac7824View commit details -
JIT backend: Preserve registers through substitution
The substitutions generated in machine do not necessarily list all live variables
Configuration menu - View commit details
-
Copy full SHA for 043d0ef - Browse repository at this point
Copy the full SHA 043d0efView commit details -
JIT backend: transformInline: Correctly extend Frame
Make the frame big enough to fit locals of inline clause
Configuration menu - View commit details
-
Copy full SHA for 76a1356 - Browse repository at this point
Copy the full SHA 76a1356View commit details -
JIT backend: Transform continuations for primitives inline
Now also using `transformInline` for consistency
Configuration menu - View commit details
-
Copy full SHA for ce35441 - Browse repository at this point
Copy the full SHA ce35441View commit details -
JIT backend: Do not generate Subst's for enlarging the frame
Leave this to the jit executable, which has the frame sizes
Configuration menu - View commit details
-
Copy full SHA for 85ea843 - Browse repository at this point
Copy the full SHA 85ea843View commit details -
JIT backend: Add executable, libs and driver
we can now run programs using the JIT backend with `--backend jit --lib libraries/jit <source file>`. This adds the 5.7M executable to the repository for now. In the future, we should find a different solution to this.
Configuration menu - View commit details
-
Copy full SHA for f448646 - Browse repository at this point
Copy the full SHA f448646View commit details -
Configuration menu - View commit details
-
Copy full SHA for 97567e0 - Browse repository at this point
Copy the full SHA 97567e0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 452ed85 - Browse repository at this point
Copy the full SHA 452ed85View commit details -
* Use numbered register for output of Let * Use `ListMap`s in `PrettyPrinter` (preserve order)
Configuration menu - View commit details
-
Copy full SHA for 05bae32 - Browse repository at this point
Copy the full SHA 05bae32View commit details -
Configuration menu - View commit details
-
Copy full SHA for 24a8b44 - Browse repository at this point
Copy the full SHA 24a8b44View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5ce08e4 - Browse repository at this point
Copy the full SHA 5ce08e4View commit details -
Configuration menu - View commit details
-
Copy full SHA for fc850a5 - Browse repository at this point
Copy the full SHA fc850a5View commit details
Commits on Sep 2, 2022
-
JIT backend: Reuse registers if possible
This is a first step, reusing registers when choosing the names of the parameters of clauses transformed inline. Registers are reused if they are not free in the clause.
Configuration menu - View commit details
-
Copy full SHA for 65e4c17 - Browse repository at this point
Copy the full SHA 65e4c17View commit details -
JIT backend: Fix non-exhaustive matches
Currently just throwing an error
Configuration menu - View commit details
-
Copy full SHA for fd3d56a - Browse repository at this point
Copy the full SHA fd3d56aView commit details -
JIT backend: Fix handling of datatypes
* `Let` would not get a new register for the result * `Switch` would reuse registers, which is not possible with the current semantics of the `Match` instruction
Configuration menu - View commit details
-
Copy full SHA for c1c5321 - Browse repository at this point
Copy the full SHA c1c5321View commit details
Commits on Sep 5, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 55193f4 - Browse repository at this point
Copy the full SHA 55193f4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 92e6963 - Browse repository at this point
Copy the full SHA 92e6963View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5784cc0 - Browse repository at this point
Copy the full SHA 5784cc0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 48d5bb7 - Browse repository at this point
Copy the full SHA 48d5bb7View commit details -
Configuration menu - View commit details
-
Copy full SHA for afd74a2 - Browse repository at this point
Copy the full SHA afd74a2View commit details -
JIT backend: Refactor substitution generation
* Use maps of old registers to new ones, making the check if a register value is still needed easier (using `contains` now) * Simplify code by moving `todo`-list generation into the loop over register types
Configuration menu - View commit details
-
Copy full SHA for c882ff6 - Browse repository at this point
Copy the full SHA c882ff6View commit details
Commits on Sep 6, 2022
-
JIT backend: Add sbt target to download jit binary
Currently, this has to be done manually and requires either a GH_TOKEN environment variable or running `gh auth login` first.
Configuration menu - View commit details
-
Copy full SHA for 7c3af9d - Browse repository at this point
Copy the full SHA 7c3af9dView commit details -
Configuration menu - View commit details
-
Copy full SHA for d655aae - Browse repository at this point
Copy the full SHA d655aaeView commit details
Commits on Sep 7, 2022
-
JIT: Update names for architecture- and OS-dependent releases
Binaries have been renamed to `rpyeffect-jit-$(uname -m)-$(uname -s)`
Configuration menu - View commit details
-
Copy full SHA for 0a90228 - Browse repository at this point
Copy the full SHA 0a90228View commit details
Commits on Sep 8, 2022
-
JIT: Pass parameters to Clauses instead of Environment to close over
This corresponds to commit ae72574 in the jitting-effects repo.
Configuration menu - View commit details
-
Copy full SHA for 441e3c7 - Browse repository at this point
Copy the full SHA 441e3c7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 209e96c - Browse repository at this point
Copy the full SHA 209e96cView commit details -
Configuration menu - View commit details
-
Copy full SHA for a1abb40 - Browse repository at this point
Copy the full SHA a1abb40View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9ef246e - Browse repository at this point
Copy the full SHA 9ef246eView commit details -
JIT backend: Refactor: Remove
FreshBlockLabel
and generate directlyFor forward references, generate a mapping directly
Configuration menu - View commit details
-
Copy full SHA for d0a40e6 - Browse repository at this point
Copy the full SHA d0a40e6View commit details -
Configuration menu - View commit details
-
Copy full SHA for a78818a - Browse repository at this point
Copy the full SHA a78818aView commit details -
Merge pull request #128 from effekt-lang/feature/jit/download-binary
JIT backend: Add sbt target to download jit binary Merging although CI does not work yet due to missing token
Configuration menu - View commit details
-
Copy full SHA for a413f11 - Browse repository at this point
Copy the full SHA a413f11View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5fa8829 - Browse repository at this point
Copy the full SHA 5fa8829View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8c39f2a - Browse repository at this point
Copy the full SHA 8c39f2aView commit details -
Configuration menu - View commit details
-
Copy full SHA for a0aeb67 - Browse repository at this point
Copy the full SHA a0aeb67View commit details
Commits on Sep 9, 2022
-
Configuration menu - View commit details
-
Copy full SHA for a10dff2 - Browse repository at this point
Copy the full SHA a10dff2View commit details -
Configuration menu - View commit details
-
Copy full SHA for a31d1ad - Browse repository at this point
Copy the full SHA a31d1adView commit details -
Configuration menu - View commit details
-
Copy full SHA for 90cfffc - Browse repository at this point
Copy the full SHA 90cfffcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 12944ad - Browse repository at this point
Copy the full SHA 12944adView commit details -
Configuration menu - View commit details
-
Copy full SHA for 50809b4 - Browse repository at this point
Copy the full SHA 50809b4View commit details -
Search for the JIT binary in the following places: 1. specified as part of the settings arg `--jit-binary` 2. specified in environment variable `EFFEKT_JIT_BIN` 3. in `./bin/${platform}/rpyeffect-jit` relative to PWD 4. in `./bin/${platform}/rpyeffect-jit` relative to the jar
Configuration menu - View commit details
-
Copy full SHA for 16470e5 - Browse repository at this point
Copy the full SHA 16470e5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 569e214 - Browse repository at this point
Copy the full SHA 569e214View commit details
Commits on Sep 17, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 632aad8 - Browse repository at this point
Copy the full SHA 632aad8View commit details
Commits on Sep 19, 2022
-
Configuration menu - View commit details
-
Copy full SHA for ffb9bb3 - Browse repository at this point
Copy the full SHA ffb9bb3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 345522c - Browse repository at this point
Copy the full SHA 345522cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 23f4a4d - Browse repository at this point
Copy the full SHA 23f4a4dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 358b4fd - Browse repository at this point
Copy the full SHA 358b4fdView commit details -
Configuration menu - View commit details
-
Copy full SHA for cd9fd6c - Browse repository at this point
Copy the full SHA cd9fd6cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4e5ce66 - Browse repository at this point
Copy the full SHA 4e5ce66View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0ba31b5 - Browse repository at this point
Copy the full SHA 0ba31b5View commit details
Commits on Sep 21, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 2b4353d - Browse repository at this point
Copy the full SHA 2b4353dView commit details -
Configuration menu - View commit details
-
Copy full SHA for a274acb - Browse repository at this point
Copy the full SHA a274acbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8c4c211 - Browse repository at this point
Copy the full SHA 8c4c211View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8f85df6 - Browse repository at this point
Copy the full SHA 8f85df6View commit details -
Configuration menu - View commit details
-
Copy full SHA for adeb653 - Browse repository at this point
Copy the full SHA adeb653View commit details -
Configuration menu - View commit details
-
Copy full SHA for a3e294d - Browse repository at this point
Copy the full SHA a3e294dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 90b5ff4 - Browse repository at this point
Copy the full SHA 90b5ff4View commit details -
Configuration menu - View commit details
-
Copy full SHA for fd0a767 - Browse repository at this point
Copy the full SHA fd0a767View commit details
Commits on Sep 22, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 3857566 - Browse repository at this point
Copy the full SHA 3857566View commit details -
Configuration menu - View commit details
-
Copy full SHA for e674f6e - Browse repository at this point
Copy the full SHA e674f6eView commit details
Commits on Sep 26, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 493fafd - Browse repository at this point
Copy the full SHA 493fafdView commit details
Commits on Sep 29, 2022
-
Configuration menu - View commit details
-
Copy full SHA for a4665a1 - Browse repository at this point
Copy the full SHA a4665a1View commit details
Commits on Sep 30, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 397a8aa - Browse repository at this point
Copy the full SHA 397a8aaView commit details
Commits on Oct 5, 2022
-
Configuration menu - View commit details
-
Copy full SHA for af95b4f - Browse repository at this point
Copy the full SHA af95b4fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 56b2194 - Browse repository at this point
Copy the full SHA 56b2194View commit details -
Configuration menu - View commit details
-
Copy full SHA for cecd0f5 - Browse repository at this point
Copy the full SHA cecd0f5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 30f8c0b - Browse repository at this point
Copy the full SHA 30f8c0bView commit details -
Configuration menu - View commit details
-
Copy full SHA for d5f1ed6 - Browse repository at this point
Copy the full SHA d5f1ed6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 26cb6dd - Browse repository at this point
Copy the full SHA 26cb6ddView commit details -
Merge pull request #147 from effekt-lang/feature/jit/strings
`String` support for JIT
Configuration menu - View commit details
-
Copy full SHA for 9a9794c - Browse repository at this point
Copy the full SHA 9a9794cView commit details
Commits on Nov 7, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 2013562 - Browse repository at this point
Copy the full SHA 2013562View commit details -
Configuration menu - View commit details
-
Copy full SHA for a1231bc - Browse repository at this point
Copy the full SHA a1231bcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 23e058b - Browse repository at this point
Copy the full SHA 23e058bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2fdf18f - Browse repository at this point
Copy the full SHA 2fdf18fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3df8242 - Browse repository at this point
Copy the full SHA 3df8242View commit details -
Configuration menu - View commit details
-
Copy full SHA for 216e6a6 - Browse repository at this point
Copy the full SHA 216e6a6View commit details -
Configuration menu - View commit details
-
Copy full SHA for a5f27fd - Browse repository at this point
Copy the full SHA a5f27fdView commit details
Commits on Nov 8, 2022
-
Configuration menu - View commit details
-
Copy full SHA for e028435 - Browse repository at this point
Copy the full SHA e028435View commit details -
Configuration menu - View commit details
-
Copy full SHA for 98539e7 - Browse repository at this point
Copy the full SHA 98539e7View commit details -
Configuration menu - View commit details
-
Copy full SHA for fe5c40d - Browse repository at this point
Copy the full SHA fe5c40dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0f5d8ba - Browse repository at this point
Copy the full SHA 0f5d8baView commit details -
Moved
effekt/jit
toeffekt/generator/jit
To be consistent with the other backends (e.g. llvm)
Configuration menu - View commit details
-
Copy full SHA for 71e59f3 - Browse repository at this point
Copy the full SHA 71e59f3View commit details -
Move
examples/pos/jit
toexamples/jit
To be more consistent with other backends (e.g. llvm, chez)
Configuration menu - View commit details
-
Copy full SHA for 8d95ee4 - Browse repository at this point
Copy the full SHA 8d95ee4View commit details -
Merge pull request #180 from effekt-lang/refactor/jit/structure
JIT: Directory and package structure
Configuration menu - View commit details
-
Copy full SHA for da0c15d - Browse repository at this point
Copy the full SHA da0c15dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 94c0acf - Browse repository at this point
Copy the full SHA 94c0acfView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1955abe - Browse repository at this point
Copy the full SHA 1955abeView commit details -
Configuration menu - View commit details
-
Copy full SHA for 98dd9ab - Browse repository at this point
Copy the full SHA 98dd9abView commit details -
- Use the correct names without spurious builtin effects for primitives - Un-ignore tests with Boolean `==`
Configuration menu - View commit details
-
Copy full SHA for 7e7a10c - Browse repository at this point
Copy the full SHA 7e7a10cView commit details
Commits on Nov 16, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 7752754 - Browse repository at this point
Copy the full SHA 7752754View commit details -
Configuration menu - View commit details
-
Copy full SHA for 277c67c - Browse repository at this point
Copy the full SHA 277c67cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3b4b1c1 - Browse repository at this point
Copy the full SHA 3b4b1c1View commit details -
Configuration menu - View commit details
-
Copy full SHA for b473f82 - Browse repository at this point
Copy the full SHA b473f82View commit details
Commits on Nov 17, 2022
-
Configuration menu - View commit details
-
Copy full SHA for adcb31a - Browse repository at this point
Copy the full SHA adcb31aView commit details
Commits on Nov 21, 2022
-
Configuration menu - View commit details
-
Copy full SHA for c031346 - Browse repository at this point
Copy the full SHA c031346View commit details
Commits on Nov 24, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 67ee4ec - Browse repository at this point
Copy the full SHA 67ee4ecView commit details
Commits on Nov 25, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 021452c - Browse repository at this point
Copy the full SHA 021452cView commit details
Commits on Nov 28, 2022
-
Configuration menu - View commit details
-
Copy full SHA for a892d7a - Browse repository at this point
Copy the full SHA a892d7aView commit details -
Merge branch 'master' into jit
Also fixum JIT backend class (minor changes)
Configuration menu - View commit details
-
Copy full SHA for b72ab8e - Browse repository at this point
Copy the full SHA b72ab8eView commit details
Commits on Jan 11, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 15cfb74 - Browse repository at this point
Copy the full SHA 15cfb74View commit details -
In particular: * Type of compileSeparate changed * Compiled, Document now expect different argument types
Configuration menu - View commit details
-
Copy full SHA for 22ed382 - Browse repository at this point
Copy the full SHA 22ed382View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4846079 - Browse repository at this point
Copy the full SHA 4846079View commit details -
Configuration menu - View commit details
-
Copy full SHA for d56bc73 - Browse repository at this point
Copy the full SHA d56bc73View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1b2aa2e - Browse repository at this point
Copy the full SHA 1b2aa2eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 86feea8 - Browse repository at this point
Copy the full SHA 86feea8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 50e6e13 - Browse repository at this point
Copy the full SHA 50e6e13View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3c98f26 - Browse repository at this point
Copy the full SHA 3c98f26View commit details -
Basic standard library for jit with polymorphism
In particular: * Command line arguments * Exceptions * List * Option * Tuples
Configuration menu - View commit details
-
Copy full SHA for cb58b26 - Browse repository at this point
Copy the full SHA cb58b26View commit details
Commits on Jan 12, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 79e1a39 - Browse repository at this point
Copy the full SHA 79e1a39View commit details -
* Add safe versions based on rudimentary error handling (with error flag) * Add simple `show(String)`
Configuration menu - View commit details
-
Copy full SHA for 97334ad - Browse repository at this point
Copy the full SHA 97334adView commit details
Commits on Jan 13, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 1ec8891 - Browse repository at this point
Copy the full SHA 1ec8891View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7f0b08e - Browse repository at this point
Copy the full SHA 7f0b08eView commit details
Commits on Jan 16, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 39f819c - Browse repository at this point
Copy the full SHA 39f819cView commit details -
Configuration menu - View commit details
-
Copy full SHA for c2988cc - Browse repository at this point
Copy the full SHA c2988ccView commit details
Commits on Jan 24, 2023
-
Configuration menu - View commit details
-
Copy full SHA for bcf3f77 - Browse repository at this point
Copy the full SHA bcf3f77View commit details
Commits on Jan 30, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 1a4139f - Browse repository at this point
Copy the full SHA 1a4139fView commit details -
Change jit calling conventions: Parameters first
i.e. Return *pre*pends the value to the environment, as does Invoke.
Configuration menu - View commit details
-
Copy full SHA for 22af6d2 - Browse repository at this point
Copy the full SHA 22af6d2View commit details
Commits on Feb 1, 2023
-
Merge pull request #222 from effekt-lang/refactor/jit-new-calling-con…
…vention JIT: New calling convention
Configuration menu - View commit details
-
Copy full SHA for 7704540 - Browse repository at this point
Copy the full SHA 7704540View commit details
Commits on Feb 15, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 0ebd463 - Browse repository at this point
Copy the full SHA 0ebd463View commit details -
Also changes findJITBinary to make this easier
Configuration menu - View commit details
-
Copy full SHA for dd8d988 - Browse repository at this point
Copy the full SHA dd8d988View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7159dfb - Browse repository at this point
Copy the full SHA 7159dfbView commit details
Commits on Feb 20, 2023
-
jit: Change output to only use int/double/ptr registers
This requires a version of the jit binary after 46005416a819a850cd342a7447a7f05e21163e87.
Configuration menu - View commit details
-
Copy full SHA for 0d017bf - Browse repository at this point
Copy the full SHA 0d017bfView commit details -
Hotfix: move PolymorphismBoxing after Aggregate
So it can find the data type declarations. We need a better solution for this.
Configuration menu - View commit details
-
Copy full SHA for 34244c1 - Browse repository at this point
Copy the full SHA 34244c1View commit details
Commits on Feb 22, 2023
-
Breaking change in the output format! Corresponds to ca28a1f4d030b2bf26700912510666468396699b in jitting-effects.
Configuration menu - View commit details
-
Copy full SHA for e50a79d - Browse repository at this point
Copy the full SHA e50a79dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7da3db5 - Browse repository at this point
Copy the full SHA 7da3db5View commit details
Commits on Feb 23, 2023
-
Configuration menu - View commit details
-
Copy full SHA for d1303ee - Browse repository at this point
Copy the full SHA d1303eeView commit details -
Configuration menu - View commit details
-
Copy full SHA for ccc31e9 - Browse repository at this point
Copy the full SHA ccc31e9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6cc6123 - Browse repository at this point
Copy the full SHA 6cc6123View commit details -
Configuration menu - View commit details
-
Copy full SHA for e850497 - Browse repository at this point
Copy the full SHA e850497View commit details
Commits on Mar 8, 2023
-
Configuration menu - View commit details
-
Copy full SHA for cd972ef - Browse repository at this point
Copy the full SHA cd972efView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5b31296 - Browse repository at this point
Copy the full SHA 5b31296View commit details
Commits on Mar 21, 2023
-
Namely: MUL, PRINT, ISZERO, RESUME, RESET
Configuration menu - View commit details
-
Copy full SHA for 42d2a58 - Browse repository at this point
Copy the full SHA 42d2a58View commit details
Commits on Mar 24, 2023
-
Configuration menu - View commit details
-
Copy full SHA for d0fdecc - Browse repository at this point
Copy the full SHA d0fdeccView commit details -
JIT: Be more precise for codata environments
Codata (including closures) will now only capture what's free in at least one of the clauses.
1Configuration menu - View commit details
-
Copy full SHA for bb7046a - Browse repository at this point
Copy the full SHA bb7046aView commit details
Commits on Mar 28, 2023
-
Simplify generated evidence composition code
This drops the spurious 'ev_zero = 0; ev_acc = ev0 + ev_zero; ...' in evidence composition, simplifying generated code.
Configuration menu - View commit details
-
Copy full SHA for ca15593 - Browse repository at this point
Copy the full SHA ca15593View commit details
Commits on Apr 5, 2023
-
Configuration menu - View commit details
-
Copy full SHA for abac6a4 - Browse repository at this point
Copy the full SHA abac6a4View commit details
Commits on Apr 6, 2023
-
Configuration menu - View commit details
-
Copy full SHA for d69e201 - Browse repository at this point
Copy the full SHA d69e201View commit details -
block labels for generated blocks are now based on where they are generated from: - match: m0,m1,...,m* - push: p - if: ?t,?f - new stack (in reset): r - codata/effects: c0,c1,...
Configuration menu - View commit details
-
Copy full SHA for b132ba7 - Browse repository at this point
Copy the full SHA b132ba7View commit details
Commits on Oct 17, 2023
-
Configuration menu - View commit details
-
Copy full SHA for ac78d69 - Browse repository at this point
Copy the full SHA ac78d69View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3138482 - Browse repository at this point
Copy the full SHA 3138482View commit details -
JIT: Use state using evidence(-ish)
For now, just use the evidence in Allocate. This requires the smallest change in the actual jit implementation. TODO We should evaluate what's the best implementation strategy here.
Configuration menu - View commit details
-
Copy full SHA for 3080244 - Browse repository at this point
Copy the full SHA 3080244View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3a8bd7a - Browse repository at this point
Copy the full SHA 3a8bd7aView commit details
Commits on Oct 18, 2023
-
Configuration menu - View commit details
-
Copy full SHA for cb306fd - Browse repository at this point
Copy the full SHA cb306fdView commit details
Commits on Oct 20, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 59aaf3c - Browse repository at this point
Copy the full SHA 59aaf3cView commit details