Fabian Holzwarth af15a1b90c Merge branch 'master' into feat/unify-server-mergeMaster

2025-07-24 14:41:05 +02:00

..

cartesianproduct

feat: cleanup code

2025-07-21 16:12:56 +02:00

interfaces

feat: implement serialization and adjust packets to correct data types

2025-06-20 18:53:25 +02:00

model

Merge branch 'master' into feat/unify-server-mergeMaster

2025-07-24 14:41:05 +02:00

CancellableTask.java

feat: cleanup code

2025-07-21 16:12:56 +02:00

ConcurrentSetMergeTask.java

feat: implement new logger into type inference code

2025-07-01 22:16:29 +02:00

distributeVariance.java

feat: more Boxing replacements

2025-07-06 15:49:59 +02:00

freshPlaceholder.java

Pfadumstellung

2018-12-21 15:27:29 +01:00

GuavaSetOperations.java

Merge branch 'bigRefactoring' into simplifyRes

2019-07-29 16:21:25 +02:00

MartelliMontanariUnify.java

feat: reduce temporary objects and repeated loops

2025-07-12 13:14:55 +02:00

Match.java

modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/Match.java

2024-04-09 01:50:42 +02:00

PlaceholderRegistry.java

feat: fix error by reintroducing name generator and add server tests

2025-06-30 16:42:20 +02:00

RuleSet.java

feat: reduce temporary objects and repeated loops

2025-07-12 13:14:55 +02:00

TypeUnify2Task.java

feat: implement partically cancellable tasks

2025-07-16 11:16:30 +02:00

TypeUnify.java

feat: implement new logger into type inference code

2025-07-01 22:16:29 +02:00

TypeUnifyTask.java

feat: cleanup code

2025-07-21 16:12:56 +02:00

TypeUnifyTaskHelper.java

feat: reduce temporary objects and repeated loops

2025-07-12 13:14:55 +02:00

Unifikationsalgorithmus.java

Pfadumstellung

2018-12-21 15:27:29 +01:00

UnifyContext.java

feat: replace unnecessary boxing with primitives

2025-07-06 15:18:51 +02:00

UnifyResultEvent.java

Observer Pattern für ResultSet.

2019-01-24 11:16:26 +01:00

UnifyResultListener.java

Observer für TypeResults.

2019-01-23 22:25:30 +01:00

UnifyResultListenerImpl.java

modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java

2019-01-31 15:08:36 +01:00

UnifyResultModel.java

feat: turn UnifyContext into a record

2025-06-18 18:26:44 +02:00

UnifyTaskModel.java

feat: implement partically cancellable tasks

2025-07-16 11:16:30 +02:00

visitUnifyTypeVisitor.java

Pfadumstellung

2018-12-21 15:27:29 +01:00