Commit Graph

54 Commits

Author SHA1 Message Date
Arpad Ryszka
5d38caf222 generic cleanup 2017-06-26 01:21:46 +02:00
Arpad Ryszka
2d8d1ae4ef disable tracing 2017-06-26 00:20:54 +02:00
Arpad Ryszka
b457d39101 remove separate quantifier parser 2017-06-25 23:38:32 +02:00
Arpad Ryszka
b86872c58e import code to its own repo 2017-06-25 17:51:08 +02:00