| .. |
|
Anoma/Compilation
|
Support compilation of Anoma transactions in nockma backend (#2693)
|
2024-03-22 23:03:38 +01:00 |
|
Asm
|
JuvixReg to CASM translation (#2671)
|
2024-03-20 12:14:12 +01:00 |
|
benchmark
|
Fix benchmarks test compilation (#2552)
|
2023-12-10 12:13:56 +01:00 |
|
Casm
|
JuvixReg to CASM translation (#2671)
|
2024-03-20 12:14:12 +01:00 |
|
Compilation
|
Add field element type (#2659)
|
2024-02-27 14:54:43 +01:00 |
|
Core
|
Add field element type (#2659)
|
2024-02-27 14:54:43 +01:00 |
|
examplesExpected
|
Add a test suite for milestone examples (#1920)
|
2023-03-24 13:16:26 +00:00 |
|
Geb/positive
|
Read Package on demand and cache it (#2548)
|
2023-12-06 18:24:59 +01:00 |
|
Internal
|
Per-module compilation (#2468)
|
2023-12-30 20:15:35 +01:00 |
|
negative
|
Improve formatting of function definition arguments (#2551)
|
2023-12-07 11:26:48 +01:00 |
|
nockma/positive
|
Fix bugs in the Nockma prettyprinter and parser (#2632)
|
2024-02-09 14:59:42 +01:00 |
|
positive
|
Use the target of aliases when resolving name signatures and iterators (#2669)
|
2024-02-26 11:53:47 +00:00 |
|
Reg/positive
|
JuvixReg to CASM translation (#2671)
|
2024-03-20 12:14:12 +01:00 |
|
runtime/positive
|
Merge stack and temporary variable groups in JuvixReg (#2579)
|
2024-01-17 19:11:40 +01:00 |
|
smoke/Commands
|
Release 0.6.1 (#2699)
|
2024-03-25 11:45:18 +00:00 |
|
Tree
|
Support nockma scry (#2678)
|
2024-03-21 16:44:14 +01:00 |
|
VampIR
|
Add PackageDescription.Basic module Package variant (#2509)
|
2023-11-13 17:36:18 +00: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 |
