artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
38 Commits 4 Branches 0 Tags
91ccf628f59e79df0d17e946c390b241f1e059cc
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Artur Meski 91ccf628f5 Example for CA
2018-03-27 18:31:40 +01:00
dist
Migrated to new CUDD (3.0.0) -- complete
2018-02-10 12:48:42 +00:00
in
Example for CA
2018-03-27 18:31:40 +01:00
.gitignore
gitignore: added .DS_Store
2018-02-17 16:28:09 +00:00
bdd_macro.hh
Context automaton works with RS
2018-03-27 15:41:50 +01:00
build_cudd.sh
Migrated to new CUDD (3.0.0) -- complete
2018-02-10 12:48:42 +00:00
ctx_aut.cc
Transition relation encoding
2018-03-26 21:37:43 +01:00
ctx_aut.hh
Transition relation encoding
2018-03-26 21:37:43 +01:00
cudd.hh
Migrating to CUDD 3.0.0: Makefile
2018-02-10 12:43:46 +00:00
formrsctl.cc
Reaction system initialisation based on options.
2018-02-25 19:47:00 +00:00
formrsctl.hh
Reaction system initialisation based on options.
2018-02-25 19:47:00 +00:00
macro.hh
Transition relation encoding
2018-03-26 21:37:43 +01:00
main.cc
Context automaton works with RS
2018-03-27 15:41:50 +01:00
main.hh
APM: RSMC version 1.0 (not 1.0a) from ipisvn
2017-11-18 20:30:18 +00:00
Makefile
RS with context automaton (we embed CA with RS)
2018-03-03 21:19:13 +00:00
mc.cc
PV vectors for global state with CA, states printing (resolved an issue with duplicates)
2018-03-27 18:19:06 +01:00
mc.hh
PV vectors for global state with CA, states printing (resolved an issue with duplicates)
2018-03-27 18:19:06 +01:00
memtime.hh
Reaction system initialisation based on options.
2018-02-25 19:47:00 +00:00
options.cc
APM: RSMC version 1.0 (not 1.0a) from ipisvn
2017-11-18 20:30:18 +00:00
options.hh
APM: RSMC version 1.0 (not 1.0a) from ipisvn
2017-11-18 20:30:18 +00:00
README.md
README update: deps
2018-02-10 12:50:45 +00:00
rs.cc
Context automaton state encoding
2018-03-26 19:18:41 +01:00
rs.hh
Context automaton state encoding
2018-03-26 19:18:41 +01:00
rsin_driver.cc
Working on CA
2018-03-03 21:56:03 +00:00
rsin_driver.hh
Working on CA
2018-03-03 21:56:03 +00:00
rsin_parser.ll
CA initial state
2018-03-04 15:32:16 +00:00
rsin_parser.yy
CA initial state
2018-03-04 15:32:16 +00:00
symrs.cc
PV vectors for global state with CA, states printing (resolved an issue with duplicates)
2018-03-27 18:19:06 +01:00
symrs.hh
PV vectors for global state with CA, states printing (resolved an issue with duplicates)
2018-03-27 18:19:06 +01:00
test.rs
APM: RSMC version 1.0 (not 1.0a) from ipisvn
2017-11-18 20:30:18 +00:00
types.hh
CtxAutTransition(s), renaming
2018-03-26 19:42:14 +01:00

README.md

Dependencies

Run ./build_cudd.sh to build CUDD.

Reference in New Issue View Git Blame Copy Permalink
Description
ReactICS. Reaction Systems Verification Toolkit
formal-methodsmodel-checkingreaction-systems
Readme MIT 7 MiB
Languages
Python 41.4%
Java 26.5%
C++ 24.9%
Shell 3.7%
HTML 2.4%
Other 1.1%