Artur Meski
|
36f571c0d1
|
Switched to QF_FD (smt checker for rsc)
|
2017-03-13 22:06:33 +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
|
5934c6381d
|
Bugfix: bad variable name for the implementation of the Globally operator
|
2017-03-12 14:38:18 +01:00 |
|
Artur Meski
|
20f66b5556
|
Makefile
|
2017-03-12 12:51:49 +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
|
ed1d9433a6
|
added logics module
|
2017-03-02 21:00:20 +01:00 |
|
Artur Meski
|
821df2e152
|
cleanup
|
2017-03-02 20:59:34 +01:00 |
|
Artur Meski
|
2abf76ae72
|
logics module
|
2017-03-02 20:59:07 +01:00 |
|
Artur Meski
|
68c824e2f1
|
Parameters for rsLTL
|
2017-03-01 21:08:41 +01:00 |
|
Artur Meski
|
bae7611606
|
Renaming FormulaLTL -> Formula_rsLTL
|
2017-02-26 22:27:49 +01:00 |
|
Artur Meski
|
d065dbac83
|
Renaming FormulaLTL -> Formula_rsLTL
|
2017-02-26 22:27:29 +01:00 |
|
Artur Meski
|
4e7d640e2f
|
Bag descriptions; oper. overloading for FormLTL and BagDescription
|
2017-02-26 22:23:06 +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
|
ba8cb798e4
|
clean and cleanall
|
2016-12-29 20:15:11 +01:00 |
|
Artur Meski
|
be8b434804
|
rsna
|
2016-12-29 10:42:27 +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
|
bd06d575f7
|
SmtChecker class moved to legacy
|
2016-12-28 22:15:40 +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
|
a1b660abea
|
distributed reaction system
|
2016-12-28 20:59:45 +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 |
|
Artur Meski
|
3d8f4b0958
|
version date update
|
2016-12-28 16:10:42 +01:00 |
|
Artur Meski
|
bb87eab5bd
|
cleanup
|
2016-12-28 16:09:20 +01:00 |
|
Artur Meski
|
1a1bfa6677
|
cleanup
|
2016-12-28 15:58:41 +01:00 |
|
Artur Meski
|
c37ca14a22
|
release UCNC
|
2016-12-28 15:56:55 +01:00 |
|
Artur Meski
|
e62638fd7b
|
updated imports
|
2016-12-28 15:55:30 +01:00 |
|
Artur Meski
|
daadf33d02
|
smt package
|
2016-12-28 15:55:03 +01:00 |
|
Artur Meski
|
41846b66da
|
rs package
|
2016-12-28 15:51:59 +01:00 |
|
Artur Meski
|
d5f3f06743
|
ExtendedContextAutomaton
|
2016-12-27 22:11:22 +01:00 |
|
Artur Meski
|
56218a3596
|
some cleanup
|
2016-12-27 20:57:02 +01:00 |
|
Artur Meski
|
11a2d2ae46
|
imports
|
2016-12-27 19:45:07 +01:00 |
|
Artur Meski
|
be3e506cbe
|
ltl formulae
|
2016-12-18 18:08:21 +01:00 |
|
Artur Meski
|
7dfc02f613
|
some log files
|
2016-09-24 15:50:55 +02:00 |
|
Artur Meski
|
f4528fb287
|
finalised version used for UCNC2016 experiments
|
2016-03-22 21:34:37 +01:00 |
|
Artur Meski
|
586e085a80
|
cleanup: examples
|
2016-03-22 21:33:04 +01:00 |
|
Artur Meski
|
3780be1fa4
|
Brought back 'dec' entity
|
2016-03-10 15:00:35 +01:00 |
|
Artur Meski
|
270c0c86ed
|
get_max_concentration_level function
|
2016-03-10 15:00:28 +01:00 |
|
Artur Meski
|
b71e749c53
|
Meta reactions are enabled only if no ordinary reaction is
|
2016-03-10 14:59:48 +01:00 |
|