tree 654980db0dcfcd78a4396c3f92bf8aac2ade3d48
parent 075c6592262a2daaa48f6673580db020913c8fe3
author Sina Madani <sinadoom@googlemail.com> 1544812240 +0000
committer Sina Madani <sinadoom@googlemail.com> 1544812240 +0000

MAJOR: refactored first-order operations to be more concise using CheckedEolFunction/CheckedEolPredicate. Increased memory limit on EpsilonTestSuite.launch and removed deprecated options.