Go to file
2015-07-16 01:16:06 +02:00
.externalToolBuilders Unifyaufruf aufgeteilt in Zusammenhangskomponenten in Sourcefile.java 2014-11-03 10:40:28 +01:00
.settings BCEL-Library anfügen und Compliance auf Java 8 erhöhen 2015-05-26 21:45:47 +02:00
antlr Java8 ANTLR-Parser angegfügt 2014-08-22 13:10:48 +02:00
bin Filter in Unify zw. Schritt 4 und 5 einfügen 2015-07-08 10:37:26 +02:00
doc Javadoc anfügen 2015-05-12 19:57:14 +02:00
examples Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf 2015-04-22 21:40:22 +02:00
lib Merge mit bytecode 2015-07-14 14:51:15 +02:00
notizen Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf 2015-04-22 21:40:22 +02:00
Papers/FMCO2005 Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf 2015-04-22 21:40:22 +02:00
src/de/dhbwstuttgart Cloner durch Unify.deepClone in UndMenge.java ersetzt 2015-07-16 01:16:06 +02:00
test Im Unify wird nur noch bei SUBST deepCopy angewendet. Timer implementiert zum ermitteln der Zeitaufwendungen der einzelnen Schritte im Algorithmus 2015-07-14 18:43:54 +02:00
tools Revert "Merge branch 'bytecode'" 2015-05-12 19:54:34 +02:00
.classpath Merge mit bytecode 2015-07-14 14:51:15 +02:00
.cvsignore Stand vom 9.11.2013 angefügt 2014-02-05 13:38:34 +01:00
.gitignore .log-Dateien zu gitignore hinzufügen. Filter in Unify verbessern 2015-07-08 14:23:29 +02:00
.project Einsetzen von Generics geändert. Unvollständiger Zustand 2014-06-25 17:30:31 +02:00
log4j.xml Logger angefügt 2014-10-09 12:01:16 +02:00
TODO.md Parser typename hinzugefügt 2014-08-07 12:11:18 +02:00