artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 8226919c0e Form Artur Meski 2018-12-08 21:53:32 +00:00
  • a4eaa190d7 Results Artur Meski 2018-12-02 20:59:29 +00:00
  • 9ac04da320 asm, epistemic properties Artur Meski 2018-12-02 20:49:18 +00:00
  • 215015df57 Prog Artur Meski 2018-12-02 20:22:57 +00:00
  • c8e02156b9 Progressiveness Artur Meski 2018-12-02 19:30:02 +00:00
  • 1f132d4692 Formula Artur Meski 2018-11-25 15:11:56 +00:00
  • 252af97897 Benchmarking Artur Meski 2018-11-25 14:47:21 +00:00
  • 3db8fe1037 ASM Artur Meski 2018-11-24 20:29:50 +00:00
  • 85e1e1d16b C, E printing, etc. Artur Meski 2018-11-24 17:02:26 +00:00
  • c72eb7ac4a Everybody knows Artur Meski 2018-11-24 14:23:40 +00:00
  • 34f7b503c1 Common Knowledge operators support Artur Meski 2018-11-24 12:58:26 +00:00
  • ff0031244e script Artur Meski 2018-11-05 13:25:57 +00:00
  • 66f9e36c5d Script Artur Meski 2018-10-22 20:54:09 +01:00
  • eef037fd97 Reordering Artur Meski 2018-10-22 20:31:31 +01:00
  • 3faf005445 Script for TGC Artur Meski 2018-10-22 20:28:23 +01:00
  • 2088994fa7 Benchmarking script Artur Meski 2018-10-20 22:41:45 +01:00
  • 75007f04dd assertion for made_progressive Artur Meski 2018-10-20 21:26:40 +01:00
  • 5a728f96ac Progressiveness Artur Meski 2018-10-20 21:26:12 +01:00
  • b0f24e26db Reordering, verbosity Artur Meski 2018-10-20 21:26:01 +01:00
  • 134646308e Updated script Artur Meski 2018-10-20 16:36:32 +01:00
  • cd95f86fe5 scr Artur Meski 2018-10-14 16:39:44 +01:00
  • e0603b3c9d Merge branch 'distrib_rs' of bitbucket.org:rsmodecking/rsmc into distrib_rs Artur Meski 2018-10-14 16:38:02 +01:00
  • 76a6450583 perms Artur Meski 2018-10-14 16:23:36 +01:00
  • 7b15c50803 Scripts Artur Meski 2018-10-14 16:20:23 +01:00
  • b0317bef6e Merge branch 'distrib_rs' of bitbucket.org:rsmodecking/rsmc into distrib_rs Artur Meski 2018-10-14 16:16:50 +01:00
  • 672e43abce Merge branch 'distrib_rs' of bitbucket.org:rsmodecking/rsmc into distrib_rs Artur Meski 2018-10-14 16:16:43 +01:00
  • f20fce6c15 Merge branch 'distrib_rs' of bitbucket.org:rsmodecking/rsmc into distrib_rs Artur Meski 2018-10-14 16:15:44 +01:00
  • b3d58504b4 TGC generator (with controller as context automaton) Artur Meski 2018-10-14 16:15:34 +01:00
  • 24f783c6a8 TGC generator (with controller as context automaton) Artur Meski 2018-10-14 16:14:44 +01:00
  • a976813c48 TGC Artur Meski 2018-10-13 22:04:58 +01:00
  • e098bcb42b use_ -> make_ Artur Meski 2018-10-13 21:03:27 +01:00
  • e4ab5999aa Make Progressive as option Artur Meski 2018-10-13 21:00:06 +01:00
  • 96b0278136 Progressive eca construction Artur Meski 2018-10-08 21:01:39 +01:00
  • 9dc03f8abc Fixed nullptr deref when there is no state constraint Artur Meski 2018-10-07 21:56:48 +01:00
  • 469ca7e46b Added encoding of the DRS state constraints to the context automaton Artur Meski 2018-10-07 21:45:28 +01:00
  • ac97db8ead Printing of the state constraints in the context automaton Artur Meski 2018-09-23 13:12:33 +01:00
  • 206996a700 Building of stateconstr.o; prelim. methods for ctx and state BDD enc. Artur Meski 2018-09-22 22:55:00 +01:00
  • a36ed9651f Includes, clean-up Artur Meski 2018-09-22 20:05:35 +01:00
  • d4ac425963 state constraints Artur Meski 2018-09-22 20:05:19 +01:00
  • 07171c6d60 Optimisations Artur Meski 2018-07-22 20:20:14 +01:00
  • 18e840ce17 Partitioned trnasition relation with reordering Artur Meski 2018-07-22 18:25:19 +01:00
  • 482828a04e Benchmarks Artur Meski 2018-07-22 15:11:52 +01:00
  • 41b609326a Benchmarks Artur Meski 2018-07-22 15:08:50 +01:00
  • f3a6fc6949 Benchmarking script Artur Meski 2018-07-22 14:17:26 +01:00
  • 5edab04266 Benchmarks Artur Meski 2018-07-22 14:12:14 +01:00
  • 36b5e7b741 TGC generator Artur Meski 2018-07-17 20:31:26 +01:00
  • b0d69d0aa7 Property selection Artur Meski 2018-07-17 20:26:05 +01:00
  • eb2e4e5526 Property name Artur Meski 2018-07-17 20:10:18 +01:00
  • 2aefa98aef Identifier Artur Meski 2018-07-17 20:04:11 +01:00
  • 141c25386d ReactICS Artur Meski 2018-07-17 19:35:39 +01:00
  • 964fb71d02 Mutex generator (tgc) Artur Meski 2018-06-20 17:50:44 +01:00
  • 54ee79b6b3 Changes to the transition relation Artur Meski 2018-05-28 18:18:37 +01:00
  • 1590dacdcb Check for incorrect property number Artur Meski 2018-04-29 19:59:02 +01:00
  • b7c4cd6906 Scalable formula Artur Meski 2018-04-29 19:58:17 +01:00
  • 2aadb9df33 Cleanup Artur Meski 2018-04-29 18:54:56 +01:00
  • 06a28f9e54 Mutext DRS generator Artur Meski 2018-04-29 18:54:19 +01:00
  • 36b59b5baf Universal K support Artur Meski 2018-04-29 17:16:25 +01:00
  • 142846b90c Fixed a bug with missing process enabledness encoding in context; fixed bit count for CA Artur Meski 2018-04-23 20:15:46 +01:00
  • 3157bb09ef Support for NK Artur Meski 2018-04-21 22:26:42 +01:00
  • d2a9b5733c RSCTL -> RSCTLK Artur Meski 2018-04-21 19:33:32 +01:00
  • 09578a075f Quantification for only the i-th process Artur Meski 2018-04-21 19:15:06 +01:00
  • f5e0beb513 Parsing of K Artur Meski 2018-04-15 20:00:05 +01:00
  • 81e9d13ade Expistemic operators, quantification Artur Meski 2018-04-15 19:01:30 +01:00
  • 8a9ba95fed Quantification BDDs for each process; example Artur Meski 2018-04-15 18:47:52 +01:00
  • d34e3954c4 First working version of rsCTL verification. Artur Meski 2018-04-15 13:20:07 +01:00
  • c4c3af0300 Removed action sets in formulae Artur Meski 2018-04-15 12:25:57 +01:00
  • 30b62c88c6 rsCTL PVs: process_name.entity_name. Artur Meski 2018-04-14 22:10:56 +01:00
  • cdd463d552 Average results Artur Meski 2018-04-07 20:52:51 +01:00
  • d8398085aa Clean-up Artur Meski 2018-04-03 20:37:38 +01:00
  • 6e54380f14 It works! Artur Meski 2018-04-03 20:35:12 +01:00
  • 95d8123a6b Working DRS with one process Artur Meski 2018-04-03 20:05:50 +01:00
  • 5f578c9066 Context encoding and complementation Artur Meski 2018-04-03 17:50:23 +01:00
  • 6b485e4e08 Transition relation for DRS Artur Meski 2018-04-03 17:19:23 +01:00
  • 9a8255a355 Encoding DRS transition relation Artur Meski 2018-04-02 22:17:47 +01:00
  • f73ebdd4bf BDD initialisation Artur Meski 2018-04-02 14:44:44 +01:00
  • a74bc58a0c Initialisation of BDD variables Artur Meski 2018-04-01 20:59:10 +01:00
  • 04d2b628f5 Maps for local entities Artur Meski 2018-03-30 20:07:24 +01:00
  • dc241ebf78 Cleanup Artur Meski 2018-03-30 18:32:34 +01:00
  • c89e336862 Printing of entities per proc Artur Meski 2018-03-30 18:30:08 +01:00
  • e3ed26e4a1 Entities used per process (in reactions) Artur Meski 2018-03-30 17:51:29 +01:00
  • bac84bfe9a Formatting Artur Meski 2018-03-29 17:02:55 +01:00
  • 212321c6cb Parsing, printing... Context in CA Artur Meski 2018-03-29 17:01:28 +01:00
  • 38683e1041 Makefile update Artur Meski 2018-03-28 21:02:46 +01:00
  • 5f1a759c8f Reformatting Artur Meski 2018-03-28 21:00:44 +01:00
  • c90a87875a Context automaton with augmented context: parsing Artur Meski 2018-03-28 20:46:19 +01:00
  • 753b217721 Printing of reactions Artur Meski 2018-03-28 18:58:59 +01:00
  • 99fbed638c Reactions organised by process Artur Meski 2018-03-28 18:10:42 +01:00
  • 179c199ece Processes, switching Artur Meski 2018-03-28 15:35:48 +01:00
  • 91ccf628f5 Example for CA Artur Meski 2018-03-27 18:31:40 +01:00
  • ae740fa885 PV vectors for global state with CA, states printing (resolved an issue with duplicates) Artur Meski 2018-03-27 18:19:06 +01:00
  • c74d4bdd0c Context automaton works with RS Artur Meski 2018-03-27 15:41:50 +01:00
  • 1f01dce3cc Formatting, initial state encoding Artur Meski 2018-03-26 22:29:11 +01:00
  • 03cbf26afa Bugfixes Artur Meski 2018-03-26 22:05:23 +01:00
  • 76ab891786 Transition relation encoding Artur Meski 2018-03-26 21:37:43 +01:00
  • 32fdad662b CtxAutTransition(s), renaming Artur Meski 2018-03-26 19:42:14 +01:00
  • def86df597 Doc Artur Meski 2018-03-26 19:37:08 +01:00
  • 0c9665d1b6 Typo Artur Meski 2018-03-26 19:22:19 +01:00
  • e3119099ea Context automaton state encoding Artur Meski 2018-03-26 19:18:41 +01:00
  • fa587e6f2a Started on encoding for CA Artur Meski 2018-03-26 13:10:26 +01:00
  • ee441ab390 Types Artur Meski 2018-03-26 11:00:23 +01:00