| .. |
|
Anoma/Compilation
|
Monad and Applicative traits in juvix stdlib (#2979)
|
2024-08-30 15:07:29 +02:00 |
|
Asm
|
Remove copy propagation from the native/WASM and Rust pipelines (#2846)
|
2024-06-20 12:44:15 +02:00 |
|
benchmark
|
Merge if -> ite renaming from stdlib (#2869)
|
2024-07-02 10:03:06 +02:00 |
|
Casm
|
The assert builtin (#3014)
|
2024-09-12 09:29:57 +02:00 |
|
Compilation
|
Reimplement positivity checker (#3057)
|
2024-10-01 13:39:28 +02:00 |
|
Core
|
Fix inference of let and letrec in core (#2953)
|
2024-08-14 15:15:49 +01:00 |
|
examplesExpected
|
Add a test suite for milestone examples (#1920)
|
2023-03-24 13:16:26 +00:00 |
|
Internal
|
Migrate old named application syntax (#2876)
|
2024-07-12 18:31:09 +02:00 |
|
negative
|
Reimplement positivity checker (#3057)
|
2024-10-01 13:39:28 +02:00 |
|
nockma/positive
|
Fix bugs in the Nockma prettyprinter and parser (#2632)
|
2024-02-09 14:59:42 +01:00 |
|
positive
|
Fix termination crash due to empty permutation (#3081)
|
2024-10-02 18:59:30 +02:00 |
|
Reg/positive
|
Copy propagation in JuvixReg (#2828)
|
2024-06-18 21:38:02 +02:00 |
|
runtime/positive
|
Add an if instruction to JuvixReg (#2855)
|
2024-06-26 19:08:33 +02:00 |
|
Rust/Compilation/positive
|
Improve specialization optimization (#2944)
|
2024-08-14 10:04:30 +02:00 |
|
smoke
|
Ignore files that start with a . (#3072)
|
2024-09-30 12:17:18 +02:00 |
|
Tree
|
Fix JuvixTree type unification (#2972)
|
2024-08-27 10:31:14 +02:00 |
|
VampIR
|
Merge if -> ite renaming from stdlib (#2869)
|
2024-07-02 10:03:06 +02:00 |
|
WithoutPackageFile
|
Fix #2510 (#2512)
|
2023-11-17 16:10:38 +01:00 |
|
.gitattributes
|
Juvix C runtime (#1580)
|
2022-11-03 09:38:09 +01:00 |
