|
|
87a2ed8117
|
APS GeneratorTest.simple anfügen
|
2018-03-27 14:25:54 +02:00 |
|
|
|
daf684deef
|
ASP Factory für Algorithmus von Herr Gencay
|
2018-03-23 16:54:32 +01:00 |
|
|
|
123f94aea7
|
ANTLR Parser für ASP Statements implementieren
|
2018-03-13 00:24:40 +01:00 |
|
|
|
dff72b0c97
|
ResultSetOutputGenerator
|
2018-03-12 00:38:02 +01:00 |
|
|
|
83aaff140c
|
Aufräumen
|
2018-03-08 01:44:40 +01:00 |
|
|
|
3deaceec01
|
UnifyWithoutWildcards Test läuft durch
|
2018-03-08 01:41:38 +01:00 |
|
|
|
9f2702276f
|
Fehler beheben
|
2018-03-08 00:03:26 +01:00 |
|
|
|
87cf674352
|
Fehler in FCGenerator beheben
|
2018-03-07 23:07:53 +01:00 |
|
|
|
095f9a7956
|
Tests an neue ASPFactory anpassen
|
2018-03-07 22:41:00 +01:00 |
|
|
|
284af1246b
|
Nicht lauffähig. ASPFactory neu implementieren
|
2018-03-07 07:41:46 +01:00 |
|
|
|
18545cff9a
|
GenericRefType umgestalten. Unnötige Backreferenzen entfernen
|
2018-03-01 13:25:03 +01:00 |
|
|
|
9840281d83
|
Test für ASP anfügen
|
2018-03-01 12:31:56 +01:00 |
|
|
|
92b110a971
|
Funktionierender Clingo Test
|
2018-02-27 19:10:16 +01:00 |
|
|
|
d53faa0c86
|
FiniteClosure korrekt generieren
|
2018-02-19 11:33:08 +01:00 |
|
|
|
19a1ef4024
|
Erste lauffähige aber unvollständige Version des UnifyWithoutWildcards
|
2018-01-10 10:53:07 +01:00 |
|
|
|
09bdaa6a21
|
Generics Test erzeugt falsches ConstraintSet
|
2017-12-20 13:34:34 +01:00 |
|
|
|
e8757a179f
|
ASP-Generierung: parameterListe
|
2017-12-18 14:43:03 +01:00 |
|
