Artur Meski
|
dca5f84b63
|
Parameter constraints
|
2017-12-31 21:33:15 +00:00 |
|
Artur Meski
|
98f6b805ab
|
Parameter Constraints
|
2017-12-31 19:35:59 +00:00 |
|
Artur Meski
|
40a166e5da
|
Parameter Constraints
|
2017-12-31 19:35:36 +00:00 |
|
Artur Meski
|
32d31f9fa1
|
Easier formulae
|
2017-12-02 00:13:08 +00:00 |
|
Artur Meski
|
1b94cbc7c0
|
Loading of the variables to use for the encoding
|
2017-11-05 17:52:02 +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
|
b22fcd8015
|
cleanup; flush_cache
|
2017-03-19 20:50:01 +01:00 |
|
Artur Meski
|
5a34d4028b
|
Cache. Massive improvement
|
2017-03-19 15:58:44 +01:00 |
|
Artur Meski
|
565d1c070d
|
Aesthetics, printing of rsLTL formulae
|
2017-03-18 18:40:33 +01:00 |
|
Artur Meski
|
ab5550d3fd
|
benchmarks for SC
|
2017-03-16 20:57:42 +01:00 |
|
Artur Meski
|
59cd3af3e1
|
Formulae for Scalable Chain; some fixes and improvements
|
2017-03-15 23:30:29 +01:00 |
|
Artur Meski
|
56d4d8fde8
|
Sanity checks for bags.
|
2017-03-15 22:33:14 +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
|
5934c6381d
|
Bugfix: bad variable name for the implementation of the Globally operator
|
2017-03-12 14:38:18 +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 |
|