|
|
f292d7e5dc
|
master > master: codego - utils + unit tests, A1[0-9]+ mit testen
|
2021-05-18 11:32:32 +02:00 |
|
|
|
d877f3905c
|
master > master: codego - test nicht mehr wegen generics überspringen
|
2021-05-15 10:59:20 +02:00 |
|
|
|
38c4614e3e
|
master > master: codego - minor fix
|
2021-05-15 10:58:56 +02:00 |
|
|
|
3b1c190543
|
master > master: codego - nnf für implies, iff
|
2021-05-15 00:05:42 +02:00 |
|
|
|
6d774a6a4c
|
master > master: codego - unittests
|
2021-05-15 00:05:26 +02:00 |
|
|
|
79bfcf57bb
|
master > master: codego - iff
|
2021-05-15 00:05:03 +02:00 |
|
|
|
39be87d52f
|
master > master: codego - cleanup
|
2021-05-14 18:35:06 +02:00 |
|
|
|
73b7817dcd
|
master > master: codego - auslagern, erzeugungsmethode verbessert, SyntaxBaum -> Formula
|
2021-05-14 16:58:27 +02:00 |
|
