Skip to content
GitLab
Menu
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
4fd5e511
·
bugfix in constant folding
·
May 04, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
negative-demand
1cee2295
·
added NegationIndirectionTransformation
·
May 01, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lattice-proofs
d22dee9c
·
Tests Invertierbarkeit erweitert auf Integer division und doubleOps
·
Apr 29, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
debugger-efficient
ba2312e0
·
fixup
·
Apr 26, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
new-souffle-frontend
55b8d3aa
·
converted some compiler tests to assertion tests
·
Apr 25, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
diffing
5c178f93
·
started on sec 4
·
May 07, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
development-data
merged
96d7820a
·
move findbugs tests
·
Sep 02, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
development-souffle
merged
ce73c76a
·
define souffle pointsto analysis as test
·
Oct 05, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
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