Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
PLMZ
inca-scala
Repository
Branches
Overview
Active
Stale
All
Active branches
debugger-efficient
bdeb065c
·
introducing different doop encodings of programs
·
Feb 01, 2023
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
objectoriented
e63c61b3
·
Add support for MonotoneMap example
·
Jan 20, 2023
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
intellij-plugin
359ee490
·
correction in types
·
Dec 14, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
debug-aggregate
ddde476d
·
Fixes AVL tree: redundant values trigger aggregation operation
·
Dec 07, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
embedding
ff9c18b2
·
Sebastian meeting
·
Nov 30, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
development-intellij
7f01279c
·
WIP intellij plug-in
·
Dec 01, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
langmodel_treesitter
e0a6704a
·
Adapt and add test to deal with supertype creation.
·
Apr 08, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
topdowndebugger
01ce4d0a
·
Env printing as tuples, various bug fixes
·
Apr 23, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
measure-itypes
9103d1d5
·
revised README
·
Aug 11, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
ff846891
·
README and license
·
Aug 13, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
