Skip to content
GitLab
Explore
Sign in
Register
PLMZ
inca-scala
Repository
Branches
Overview
Active
Stale
All
langmodel_treesitter
e0a6704a
·
Adapt and add test to deal with supertype creation.
·
Apr 08, 2021
topdowndebugger
01ce4d0a
·
Env printing as tuples, various bug fixes
·
Apr 23, 2021
datamodel_treesitter
ae354cf2
·
Add GetClassName example.
·
Aug 19, 2021
clone-detect
274cf867
·
first working clone detection function (currently completly ignoring names and allocation sites)
·
Dec 06, 2021
java-analysis
dabc9c47
·
Finished tests for FieldIds in EditScripts, no errors detected; Updated...
·
Apr 14, 2022
new-souffle-frontend
55b8d3aa
·
converted some compiler tests to assertion tests
·
Apr 25, 2022
negative-demand
1cee2295
·
added NegationIndirectionTransformation
·
May 01, 2022
parametric-host-language
cf18cd67
·
WIP parametric host language
·
Aug 01, 2022
lattice-proofs
bdcfeeea
·
changed transData to bundle all the datatype declarations into one declare-datatype command
·
Aug 26, 2022
embedding
ff9c18b2
·
Sebastian meeting
·
Nov 30, 2022
demandtrans-fix
aa4c74a8
·
Fixed demand transformation
·
Apr 04, 2023
objectoriented
8c6e36a6
·
Fix MonoMap + Fix dynamic dispatching produces the same body multiple times
·
Apr 28, 2023
debugger
7c4ca519
·
adding polymorphism and monomorphization
·
Sep 05, 2023
debugger-master-merge
08006d19
·
add jvmopts
·
Sep 05, 2023
master
default
protected
4ac06bd5
·
Merge branch 'debugger'
·
Sep 05, 2023
mono-types
90a40a76
·
Update.
·
Nov 10, 2023
wildcard
6f2e8e75
·
Add exception when encountering an unknown mode in TermType
·
Nov 29, 2023
mono-def-scala
609822f4
·
Remove foreign visitor.
·
Dec 09, 2023
layered-ir-setfold-oodl
a84d4765
·
Add ToString to string IR
·
Dec 12, 2023
mono-set-impl
87b43f2a
·
Various fixes to make all tests in inca-oodl can pass.
·
Jan 08, 2024
Prev
1
2
Next