8000 Commits · Hack666r/juvix · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Dec 19, 2024

Make top-level definitions mutually recursive (#3250)
lukaszcz
authored

Commits on Dec 18, 2024

Allow module self-reference (#3240)

lukaszcz
and
janmasrovira
authored

Commits on Dec 17, 2024

Update Juvix Cairo VM (#3249)
lukaszcz
authored

Commits on Dec 6, 2024

Fix basic block calls in the Reg -> CASM translation (#3238)

lukaszcz
and
janmasrovira
authored
Debug tooling improvements for Reg and CASM (#3232)
lukaszcz
authored

Commits on Dec 5, 2024

Fix RISC0 CI (#3233)
lukaszcz
authored

Commits on Dec 4, 2024

Commits on Dec 3, 2024

Commits on Dec 2, 2024

Commits on Dec 1, 2024

Commits on Nov 29, 2024

Fix `juvix clean --global` (#3200)
lukaszcz
authored

Commits on Nov 26, 2024

Improve generated code for derived instances (#3189)
lukaszcz
authored

Commits on Nov 25, 2024

Allow pattern-matching in variable definitions (#3181)

lukaszcz
and
janmasrovira
authored

Commits on Nov 20, 2024

Unify type signature declaration syntax (#3178)

lukaszcz
and
janmasrovira
authored

Commits on Nov 19, 2024

HTML generation: make the light theme lighter (#3168)
lukaszcz
authored

Commits on Nov 15, 2024

Commits on Nov 11, 2024

Commits on Nov 4, 2024

Non-recursive definitions (#3138)

lukaszcz
authored and
janmasrovira
committed

Commits on Nov 1, 2024

Commits on Oct 30, 2024

Detect redundant patterns (#3101)
lukaszcz
authored

Commits on Oct 29, 2024

Allow trailing semicolons everywhere (#3123)
lukaszcz
authored

Commits on Oct 28, 2024

Improve function argument names in the standard library (#3127)
lukaszcz
authored

Commits on Oct 25, 2024

Formatter: add braces when the iterator body is not enclosed (#3122)
lukaszcz
authored

Commits on Oct 24, 2024

Commits on Oct 18, 2024

Fix closure representation in the Nock backend (#3105)
lukaszcz
authored

0