Default Branch

master
SonarQube Scan / SonarQube Trigger (push) Successful in 2m54s

78a8f82325 · Work on #389 · Updated 2026-09-15 14:00:10 +00:00

Branches

lazyList
SonarQube Scan / SonarQube Trigger (push) Failing after 2m17s
Build and Test with Maven / Build-and-test-with-Maven (push) Successful in 1m44s

2e5447c06b · Add Primzahlen, fixed a few problems · Updated 2026-09-10 14:22:00 +00:00    dholle

5
0
Included
dep-graph
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 43m51s

3bd19da742 · prototype implementation of scc unification · Updated 2026-09-01 08:44:37 +00:00    jschmidt

19
1
Compare
testoldunify
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 16m1s

b5c5f1d979 · modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java · Updated 2026-05-25 22:27:45 +00:00    pl

145
2
Compare
patternMatchingV2
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 14m4s

0f7ffe5381 · Flatten generics · Updated 2026-05-22 05:02:58 +00:00    dholle

39
0
Included
mplr26
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 1m6s

b3ba2714da · visualize constraints for mplr26 paper · Updated 2026-02-24 14:18:27 +00:00    jschmidt

56
1
Compare
KPS2025
Build and Test with Maven / Build-and-test-with-Maven (push) Successful in 2m28s

9c519d0746 · new file: resources/AllgemeinTest/Uncurrier.jav · Updated 2025-10-10 08:38:05 +00:00    pl

192
5
Compare
LSP-Interface
Build and Test with Maven / Build-and-test-with-Maven (push) Successful in 1m29s

e1007cce30 · return error Message String · Updated 2025-09-26 07:33:31 +00:00    RubenKraft

165
1
Compare
targetBytecode
SonarQube Scan / SonarQube Trigger (push) Successful in 3m50s
Build and Test with Maven / Build-and-test-with-Maven (push) Successful in 1m38s

acce38e8b1 · Fix #372 by using package name · Updated 2025-09-19 10:16:26 +00:00    dholle

192
0
Included
patternMatching
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 1m26s

a4f18e91fb · List append works · Updated 2025-08-13 11:52:14 +00:00    dholle

224
8
Compare
issue363
Build and Test with Maven / Build-and-test-with-Maven (push) Successful in 1m33s

d6ed0689bc · Fix test · Updated 2025-07-23 09:56:34 +00:00    dholle

226
0
Included
patternMatchingTmp
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 2m2s

007d55ea3f · modified: resources/AllgemeinTest/Box.jav · Updated 2025-05-15 16:04:32 +00:00    pl

260
1
Compare
tryCatch
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 45s

7b915df43d · Exception type not gets resolved with classpath · Updated 2025-05-14 11:57:31 +00:00    jschmidt

254
4
Compare
sealedInterfacesFix
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 6m7s

1e37538fde · Fix #356 · Updated 2025-01-26 15:18:38 +00:00    jschmidt

258
0
#357 Merged
newConstraints
Build and Test with Maven / Build-and-test-with-Maven (push) Successful in 59s

4085c62231 · Remove --enable-preview from pom.xml · Updated 2024-08-15 13:25:59 +00:00    stan

341
7
Compare
aspGen
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 48s

9c2c6a3ea9 · Alter OL Test · Updated 2024-07-01 10:36:22 +00:00    stan

361
5
Compare

bb01e78123 · Undo that change · Updated 2023-06-27 07:51:07 +00:00

575
0
Included

61653c5d88 · modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java · Updated 2023-05-25 08:05:10 +00:00

712
24
Compare

61653c5d88 · modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java · Updated 2023-05-25 08:05:10 +00:00

712
24
Compare

136bccab93 · Fix type deployment · Updated 2023-05-16 11:31:05 +00:00

696
0
Included

904bdca2f4 · Eliminate transitive children, add missing object bounds · Updated 2023-04-25 13:06:56 +00:00

704
0
Included