Artur Meski
|
32d31f9fa1
|
Easier formulae
|
2017-12-02 00:13:08 +00:00 |
|
Artur Meski
|
4b9aa59aff
|
some sanity checks for a common mistake
|
2017-09-03 14:53:39 +01:00 |
|
Artur Meski
|
cabe9fc1b8
|
operators
|
2017-04-04 22:48:11 +02:00 |
|
Artur Meski
|
565d1c070d
|
Aesthetics, printing of rsLTL formulae
|
2017-03-18 18:40:33 +01:00 |
|
Artur Meski
|
59cd3af3e1
|
Formulae for Scalable Chain; some fixes and improvements
|
2017-03-15 23:30:29 +01:00 |
|
Artur Meski
|
7f6ea619b2
|
reset & initialise methods for SMT Checker; fixed some typos for rsLTL
|
2017-03-12 23:33:04 +01:00 |
|
Artur Meski
|
20464ac6dd
|
bugfix for F and G encodings -- missing element for i=k
|
2017-03-12 12:50:09 +01:00 |
|
Artur Meski
|
fab7880ccf
|
working on the new encoding
|
2017-03-11 19:57:42 +01:00 |
|
Artur Meski
|
97ff4baf35
|
working on the new encoding; backup commit
|
2017-03-09 23:06:44 +01:00 |
|
Artur Meski
|
f70cc0034b
|
implementation for encoding or rsLTL (without loop)
|
2017-03-05 17:41:26 +01:00 |
|
Artur Meski
|
827568e174
|
working on the encoding for rsLTL, testing functionality
|
2017-03-05 12:58:24 +01:00 |
|
Artur Meski
|
12fee678f6
|
encoder
|
2017-03-05 12:33:07 +01:00 |
|
Artur Meski
|
a91b7c732e
|
working on the encoder
|
2017-03-05 10:47:35 +01:00 |
|
Artur Meski
|
9fb4e4a343
|
encoder
|
2017-03-03 20:08:06 +01:00 |
|
Artur Meski
|
2abf76ae72
|
logics module
|
2017-03-02 20:59:07 +01:00 |
|