Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Register
Sign in
Toggle navigation
Menu
PLMZ
inca-scala
Repository
Branches
Overview
Active
Stale
All
Active branches
layered-ir
4a352081
·
adds IncA case studies and unit test files
·
Oct 04, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mono-types
dcb2cd32
·
Start implementing MonoTransformation.
·
Oct 04, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
objectoriented-interp
70b7dc75
·
experiment with generating prefix relations during demand transformation (deactivated by default)
·
Oct 04, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
4ac06bd5
·
Merge branch 'debugger'
·
Sep 05, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
debugger-master-merge
7c4ca519
·
adding polymorphism and monomorphization
·
Sep 05, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
langmodel_treesitter
e0a6704a
·
Adapt and add test to deal with supertype creation.
·
Apr 08, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
topdowndebugger
01ce4d0a
·
Env printing as tuples, various bug fixes
·
Apr 23, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
datamodel_treesitter
ae354cf2
·
Add GetClassName example.
·
Aug 19, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
clone-detect
274cf867
·
first working clone detection function (currently completly ignoring names and allocation sites)
·
Dec 06, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
java-analysis
dabc9c47
·
Finished tests for FieldIds in EditScripts, no errors detected; Updated...
·
Apr 14, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar