Artur Meski
|
a1a250d8b8
|
Reviving the old encoding (to use the new multi-path rsLTL encoder)
|
2018-01-22 20:55:02 +00:00 |
|
Artur Meski
|
52d39d3ebe
|
Experiments: options, script
|
2018-01-13 20:29:49 +00:00 |
|
Artur Meski
|
9ea443554d
|
Benchmarks
|
2018-01-07 22:45:41 +00:00 |
|
Artur Meski
|
f490c5e2b5
|
Scaling parameter check
|
2018-01-06 20:40:17 +00:00 |
|
Artur Meski
|
bc2c3f3a3d
|
Powerset limited to max two components
|
2018-01-03 22:47:57 +00:00 |
|
Artur Meski
|
3edc3feb8b
|
Mutex
|
2018-01-03 22:11:51 +00:00 |
|
Artur Meski
|
dca5f84b63
|
Parameter constraints
|
2017-12-31 21:33:15 +00:00 |
|
Artur Meski
|
8d89047941
|
Cleanup, example
|
2017-12-27 21:35:39 +00:00 |
|
Artur Meski
|
32d31f9fa1
|
Easier formulae
|
2017-12-02 00:13:08 +00:00 |
|
Artur Meski
|
2c399dc5c1
|
RSLTL shortcuts and gene expr example
|
2017-11-26 20:06:58 +00:00 |
|
Artur Meski
|
d910de17ab
|
New tests
|
2017-11-05 17:51:18 +00:00 |
|
Artur Meski
|
81b1ab4507
|
Command line arguments
|
2017-09-22 21:22:38 +02:00 |
|
Artur Meski
|
687b1c9cab
|
maxsat
|
2017-09-17 20:57:45 +01:00 |
|
Artur Meski
|
9501feeb7e
|
Testing example
|
2017-09-17 19:53:08 +01:00 |
|
Artur Meski
|
9297a7caf7
|
Semi-working version of parametric MC for rsLTL
|
2017-09-17 12:24:07 +01:00 |
|
Artur Meski
|
dab97e9dae
|
parameter variables; some cleanup
|
2017-09-10 21:47:57 +01:00 |
|
Artur Meski
|
690d3e5d0a
|
comment
|
2017-09-03 19:07:34 +01:00 |
|
Artur Meski
|
3cba5901f9
|
get_param
|
2017-09-03 18:52:25 +01:00 |
|
Artur Meski
|
782ae117a3
|
introducing parameters
|
2017-09-03 17:59:26 +01:00 |
|
Artur Meski
|
203182c520
|
parametric example
|
2017-09-03 14:53:08 +01:00 |
|
Artur Meski
|
c83779c9d5
|
Declaration of the intermediate product variables for the reactions and entities that are actually used as products
|
2017-08-13 15:51:20 +01:00 |
|
Artur Meski
|
27c86497e4
|
RSC with Param; RSCA for Param, SMTChecker for Param
|
2017-08-13 13:48:42 +01:00 |
|
Artur Meski
|
9c9084e4e2
|
simple rsLTL example for paper
|
2017-04-04 22:48:33 +02:00 |
|
Artur Meski
|
15500b7e38
|
New formula, 5
|
2017-03-18 18:39:52 +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
|
7f6ea619b2
|
reset & initialise methods for SMT Checker; fixed some typos for rsLTL
|
2017-03-12 23:33:04 +01:00 |
|
Artur Meski
|
05557440a0
|
preparing for experiments, HSR -- reachability testing via rsLTL; some cleanup
|
2017-03-12 15:29:28 +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
|
ac389b238b
|
working on smt encoding for NA
|
2017-01-01 18:23:02 +01:00 |
|
Artur Meski
|
1594659509
|
getters for the used actions, automata supporting actions, transitions for actions, etc.
|
2017-01-01 00:34:27 +01:00 |
|
Artur Meski
|
ebee3aa03e
|
working on RSNA
|
2016-12-29 20:21:56 +01:00 |
|
Artur Meski
|
f367c5d72c
|
network of automata
|
2016-12-28 22:43:26 +01:00 |
|
Artur Meski
|
58f06c3fc1
|
cleanup
|
2016-12-28 22:30:00 +01:00 |
|
Artur Meski
|
5e8417baf2
|
SmtCheckerPGRS -> ..RS; new: SmtCheckerRSNA
|
2016-12-28 22:13:16 +01:00 |
|
Artur Meski
|
5ddc549245
|
adding support for network of automata...
|
2016-12-28 21:36:49 +01:00 |
|
Artur Meski
|
f73d0784ca
|
working on ECA
|
2016-12-28 18:32:32 +01:00 |
|
Artur Meski
|
b2fa911a77
|
cleanup
|
2016-12-28 16:16:24 +01:00 |
|