Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
Active branches
master
default
protected
1b543922
·
Merge remote-tracking branch 'origin/finalize_roopl_translation'
·
Jul 02, 2025
finalize_roopl_translation
a87adcce
·
Update CliMain for presentation
·
Jul 01, 2025
managed-memory
cf19f4c7
·
Fix infinite recursion when printing relation values, improve interpretation...
·
Jun 24, 2025
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