Lena Becker (021362c1) at 17 Feb 14:57
1.1.0
Lena Becker (4dfa1a9f) at 17 Feb 14:53
make parameter for compile function optional
Lena Becker (259a3831) at 10 Feb 07:23
use prepareLTL in cli.ts
Lena Becker (0d634a61) at 23 Nov 14:55
update dependencies, fix cli.ts
Lena Becker (58f3d144) at 18 Nov 11:23
utils, lex ltl properties
Lena Becker (7ba4d52d) at 22 Oct 09:49
change return type of compile function to PartCompRes
Lena Becker (23b28bdf) at 21 Oct 10:03
add option to disable inlines
Lena Becker (1c345de2) at 21 Oct 08:28
fix error handling and add function to prepend MAX_* counts
Lena Becker (f17f4771) at 22 Sep 10:50
end labels
Lena Becker (02a9869d) at 02 Sep 14:40
beautify compiled code
Lena Becker (8299cb0f) at 02 Sep 08:55
minor fix select case
Lena Becker (f9d0a862) at 01 Sep 09:03
finish atomify, fix bugs
Lena Becker (b2092e8d) at 31 Aug 17:11
add atomicSafe to (Exp-)PartCompRes & all compile functions
Lena Becker (f0ae0d84) at 10 Aug 11:28
atomicSafe
Lena Becker (afacefbd) at 10 Aug 11:23
small fixes
Lena Becker (a9041084) at 10 Aug 11:20
tried stuff
Lena Becker (db95ca26) at 05 Jul 08:17
fix cli.ts, add error trail
Lena Becker (8a904a00) at 25 Jun 09:54
build before commit...