artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
40 Commits 4 Branches 0 Tags
99fbed638c1e159e76ed8ac3333f5ad39bb40905
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Artur Meski 99fbed638c Reactions organised by process
2018-03-28 18:11:00 +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
Reactions organised by process
2018-03-28 18:11:00 +01:00
rs.hh
Reactions organised by process
2018-03-28 18:11:00 +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
Processes, switching
2018-03-28 15:35:48 +01: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
Reactions organised by process
2018-03-28 18:11:00 +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%