Default Branch

master
SonarQube Scan / SonarQube Trigger (push) Failing after 13m41s

ea3ce98530 · Some changes for the plugin · Updated 2026-06-25 13:58:32 +00:00

Branches

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

120
2
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

14
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

31
1
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

167
5
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

140
1
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

167
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

199
8
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

201
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

235
1
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

229
4
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

233
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

316
7
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

336
5

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

550
0
Included

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

687
24

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

687
24

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

671
0
Included

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

679
0
Included

4affe5074d · On branch unif23Full · Updated 2023-04-20 10:13:20 +00:00

687
22

d6a79ea3a1 · modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java · Updated 2023-04-11 20:45:15 +00:00

687
21