JanUlrich
|
0d3514cbd8
|
backup
|
2018-08-24 13:55:53 +02:00 |
|
JanUlrich
|
dad9e58763
|
Fehler beheben
|
2018-07-17 19:56:01 +02:00 |
|
JanUlrich
|
d0e7ea86ed
|
Tests bereinigen
|
2018-07-17 19:51:50 +02:00 |
|
JanUlrich
|
0ae743f446
|
Benchmark Endgültig
|
2018-07-07 02:10:33 +02:00 |
|
JanUlrich
|
ef9f9157f3
|
Benchmark
|
2018-07-06 10:54:56 +02:00 |
|
JanUlrich
|
a71c1f3893
|
Gencoy ASP Generator fertig stellen
|
2018-07-05 16:33:20 +02:00 |
|
JanUlrich
|
1f8421db27
|
ASP Generate Gencay
|
2018-07-04 12:29:02 +02:00 |
|
JanUlrich
|
3dfbddf693
|
Vector Test anpasen
|
2018-06-28 16:41:13 +02:00 |
|
JanUlrich
|
79fb15f269
|
MAsterarbeit
|
2018-06-28 16:04:12 +02:00 |
|
JanUlrich
|
fe72936737
|
Merge mit bigRefactoring
|
2018-06-13 23:54:35 +02:00 |
|
JanUlrich
|
a2c30f83a8
|
Tests anfügen
|
2018-05-28 15:55:29 +02:00 |
|
JanUlrich
|
fc9b1a6bb1
|
Beginnen mit ASP Generator für Unify WITH wildcards
|
2018-05-28 15:51:40 +02:00 |
|
JanUlrich
|
b6d67a1c51
|
Beginnen mit Tests von UnifyWithoutWildcards
|
2018-04-12 19:31:32 +02:00 |
|
JanUlrich
|
10be0b17e9
|
Oder-Constraints generieren
|
2018-04-11 17:16:45 +02:00 |
|
JanUlrich
|
277dac20e7
|
Tests anpassen. Beginnen mit Oder Constraints
|
2018-04-11 14:13:15 +02:00 |
|
JanUlrich
|
e7e96d5943
|
Tests erweitern und ANTLR Grammatik parsed nur noch unifier Regeln
|
2018-04-09 13:00:24 +02:00 |
|
JanUlrich
|
87a2ed8117
|
APS GeneratorTest.simple anfügen
|
2018-03-27 14:25:54 +02:00 |
|
JanUlrich
|
daf684deef
|
ASP Factory für Algorithmus von Herr Gencay
|
2018-03-23 16:54:32 +01:00 |
|
JanUlrich
|
123f94aea7
|
ANTLR Parser für ASP Statements implementieren
|
2018-03-13 00:24:40 +01:00 |
|
JanUlrich
|
dff72b0c97
|
ResultSetOutputGenerator
|
2018-03-12 00:38:02 +01:00 |
|
JanUlrich
|
83aaff140c
|
Aufräumen
|
2018-03-08 01:44:40 +01:00 |
|
JanUlrich
|
3deaceec01
|
UnifyWithoutWildcards Test läuft durch
|
2018-03-08 01:41:38 +01:00 |
|
JanUlrich
|
9f2702276f
|
Fehler beheben
|
2018-03-08 00:03:26 +01:00 |
|
JanUlrich
|
87cf674352
|
Fehler in FCGenerator beheben
|
2018-03-07 23:07:53 +01:00 |
|
JanUlrich
|
095f9a7956
|
Tests an neue ASPFactory anpassen
|
2018-03-07 22:41:00 +01:00 |
|
JanUlrich
|
284af1246b
|
Nicht lauffähig. ASPFactory neu implementieren
|
2018-03-07 07:41:46 +01:00 |
|
JanUlrich
|
18545cff9a
|
GenericRefType umgestalten. Unnötige Backreferenzen entfernen
|
2018-03-01 13:25:03 +01:00 |
|
JanUlrich
|
9840281d83
|
Test für ASP anfügen
|
2018-03-01 12:31:56 +01:00 |
|
JanUlrich
|
92b110a971
|
Funktionierender Clingo Test
|
2018-02-27 19:10:16 +01:00 |
|
JanUlrich
|
d53faa0c86
|
FiniteClosure korrekt generieren
|
2018-02-19 11:33:08 +01:00 |
|
JanUlrich
|
19a1ef4024
|
Erste lauffähige aber unvollständige Version des UnifyWithoutWildcards
|
2018-01-10 10:53:07 +01:00 |
|
JanUlrich
|
09bdaa6a21
|
Generics Test erzeugt falsches ConstraintSet
|
2017-12-20 13:34:34 +01:00 |
|
JanUlrich
|
e8757a179f
|
ASP-Generierung: parameterListe
|
2017-12-18 14:43:03 +01:00 |
|