Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
Active branches
master
default
protected
1820b596
·
Simplify value tokens
·
Apr 27, 2026
diss
36e01eb0
·
Refactor primitive creation
·
Apr 23, 2026
roopl-language-server
0813940f
·
Bachelor Last Fix
·
Apr 19, 2026
Stale branches
local-constant-propagation
86fc7547
·
Small draft for local constant propagation
·
Jul 22, 2024
theseus-translation
26a2c909
·
Add some drafts for theseus -> hssa
·
Sep 14, 2024
jump-simplification
45faec54
·
Adapt tm implementations to changed entry/exit semantics
·
Oct 15, 2024
wellformedness
ee807896
·
Check variable usages and parameter definitions
·
Nov 18, 2024
modular
bc2a229b
·
Add better autoformatting, add simple test runner
·
Jan 23, 2025
Show more stale branches