JanUlrich 5386227a34 Merge branch 'bigRefactoring' into sat

2017-12-14 00:06:11 +01:00

..

bytecode

generiert Bytecode fuer einfachen Lambda

2017-11-07 10:55:33 +01:00

core

Finite CLosure TEst läuft wieder halbwegs. Sonst unfertiger Zustand

2017-11-16 15:10:08 +01:00

environment

Typdeklarationen wie List, werden jetzt automatisch TPHs eingesetzt. (Als hätte man den Diamond-Operator benutzt)

2017-11-16 16:56:12 +01:00

exceptions

bcel entfernen. pom.xml anlegen

2017-09-28 16:52:07 +02:00

parser

Typdeklarationen wie List, werden jetzt automatisch TPHs eingesetzt. (Als hätte man den Diamond-Operator benutzt)

2017-11-16 16:56:12 +01:00

sat/CNF

SAT Package erstellen

2017-08-17 15:08:07 +02:00

syntaxtree

ResultPairs des Unify Algorithmus könnnen nun auch Wildcard-Typen enthalten

2017-11-22 06:49:11 +01:00

typedeployment

ResultPairs des Unify Algorithmus könnnen nun auch Wildcard-Typen enthalten

2017-11-22 06:49:11 +01:00

typeinference

FunNClass anfügen

2017-11-22 13:12:21 +01:00

.DS_Store

Fehlende Tests anfügen

2017-10-06 13:31:36 +02:00