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

Commit Graph

  • 44ea91c10e Types in separate file. Other stuff... Artur Meski 2018-03-26 10:47:46 +01:00
  • 600f5c0daa Initial RS states vs initial CA states (they are incompatible) Artur Meski 2018-03-04 19:46:09 +00:00
  • f55d433791 CA initial state Artur Meski 2018-03-04 15:32:16 +00:00
  • 18004b916e CA input (done); initial state missing Artur Meski 2018-03-03 22:38:51 +00:00
  • c5b4dc91d9 Working on CA Artur Meski 2018-03-03 21:56:03 +00:00
  • cf8c5df9ea CA files Artur Meski 2018-03-03 21:55:43 +00:00
  • c853e40ad7 RS with context automaton (we embed CA with RS) Artur Meski 2018-03-03 21:19:13 +00:00
  • f121ce12fd Reaction system initialisation based on options. Artur Meski 2018-02-25 19:47:00 +00:00
  • abdb53ffd5 Adding context automaton Artur Meski 2018-02-18 15:40:59 +00:00
  • f5a7d857c6 CA parsing (without interpretation) Artur Meski 2018-02-17 22:09:48 +00:00
  • bd4b74703d Working on the parser for CA Artur Meski 2018-02-17 21:26:11 +00:00
  • 9b41161f82 Fixed bison warning Artur Meski 2018-02-17 20:53:04 +00:00
  • 83e48eb08d Parser fixes Artur Meski 2018-02-17 20:45:08 +00:00
  • 6dbdd586d6 atom -> entity Artur Meski 2018-02-17 17:09:17 +00:00
  • ae01b78563 Silencing flex-related warnings Artur Meski 2018-02-17 16:54:57 +00:00
  • 218f5c7ecc gitignore: added .DS_Store Artur Meski 2018-02-17 16:28:09 +00:00
  • 40fd6b80a6 README update: deps Artur Meski 2018-02-10 12:50:45 +00:00
  • 387aad0bd2 Development build flags Artur Meski 2018-02-10 12:49:56 +00:00
  • 1213321c3b Migrated to new CUDD (3.0.0) -- complete Artur Meski 2018-02-10 12:48:42 +00:00
  • e0eb9258b0 Migrating to CUDD 3.0.0: Makefile Artur Meski 2018-02-10 12:43:46 +00:00
  • 269f92aa73 Migrating to CUDD 3.0.0 Artur Meski 2018-02-10 12:43:22 +00:00
  • 962350a517 Merge branch 'master' of bitbucket.org:rsmodecking/rsmc Artur Meski 2018-02-10 12:06:38 +00:00
  • 7fd7db2ba9 cudd 3.0.0 source Artur Meski 2018-02-10 12:05:45 +00:00
  • 4cdbaf000f New results Artur Meski 2018-01-23 09:05:19 +00:00
  • 2a8766cb50 Benchmarking script Artur Meski 2018-01-22 21:01:16 +00:00
  • a1a250d8b8 Reviving the old encoding (to use the new multi-path rsLTL encoder) Artur Meski 2018-01-22 20:55:02 +00:00
  • 707c150134 Constraints for sanity of reactions (reactants vs. inhibitors: inh(e) => rct(e) < inh(e)) Artur Meski 2018-01-22 20:44:44 +00:00
  • f970348b6b removing get_reactions_by_product Artur Meski 2018-01-22 19:06:31 +00:00
  • ca2ea3fa3f Removed constraint print... recursion Artur Meski 2018-01-14 10:12:38 +00:00
  • c2b877e38c Parametric results Artur Meski 2018-01-14 10:11:48 +00:00
  • 52d39d3ebe Experiments: options, script Artur Meski 2018-01-13 20:29:49 +00:00
  • 9ea443554d Benchmarks Artur Meski 2018-01-07 22:45:41 +00:00
  • f490c5e2b5 Scaling parameter check Artur Meski 2018-01-06 20:40:17 +00:00
  • 794d803c85 version Artur Meski 2018-01-06 20:39:46 +00:00
  • bc2c3f3a3d Powerset limited to max two components Artur Meski 2018-01-03 22:47:57 +00:00
  • 3edc3feb8b Mutex Artur Meski 2018-01-03 22:11:51 +00:00
  • dca5f84b63 Parameter constraints Artur Meski 2017-12-31 21:33:15 +00:00
  • 98f6b805ab Parameter Constraints Artur Meski 2017-12-31 19:35:59 +00:00
  • 40a166e5da Parameter Constraints Artur Meski 2017-12-31 19:35:36 +00:00
  • 22b784114d added .gitignore Adam Stawicki 2017-12-28 13:00:00 +01:00
  • 3c7dba31d5 Termination condition for max_level Artur Meski 2017-12-27 21:41:52 +00:00
  • 8d89047941 Cleanup, example Artur Meski 2017-12-27 21:35:39 +00:00
  • efa4767394 Chmod Artur Meski 2017-12-27 15:21:10 +00:00
  • 39b7d8cf69 Merged in rsc-parametric (pull request #1) Artur Meski 2017-12-27 15:15:44 +00:00
  • 32d31f9fa1 Easier formulae Artur Meski 2017-12-02 00:13:08 +00:00
  • 2c399dc5c1 RSLTL shortcuts and gene expr example Artur Meski 2017-11-26 20:06:58 +00:00
  • 69a9825c8b APM: RSMC version 1.0 (not 1.0a) from ipisvn Artur Meski 2017-11-18 20:30:18 +00:00
  • 27c43717fa Initial commit Artur Meski 2017-11-18 20:28:09 +00:00
  • 4dbeac742d Testing of multiple rsLTL formulae at once Artur Meski 2017-11-05 17:53:08 +00:00
  • a9a37baba7 Name Artur Meski 2017-11-05 17:52:51 +00:00
  • 1b94cbc7c0 Loading of the variables to use for the encoding Artur Meski 2017-11-05 17:52:02 +00:00
  • d910de17ab New tests Artur Meski 2017-11-05 17:51:18 +00:00
  • f7097e37d7 Colour prints Artur Meski 2017-11-05 17:51:04 +00:00
  • 81b1ab4507 Command line arguments Artur Meski 2017-09-22 21:22:38 +02:00
  • 687b1c9cab maxsat Artur Meski 2017-09-17 20:57:45 +01:00
  • 9501feeb7e Testing example Artur Meski 2017-09-17 19:53:08 +01:00
  • a3f06724bf Production for parameters Artur Meski 2017-09-17 19:02:46 +01:00
  • a43277c159 Fixing the encoding of reactions Artur Meski 2017-09-17 17:00:21 +01:00
  • 9297a7caf7 Semi-working version of parametric MC for rsLTL Artur Meski 2017-09-17 12:24:07 +01:00
  • f7cfeb43c1 parameters - z3... variables Artur Meski 2017-09-14 22:25:21 +01:00
  • 58d65453b6 comments, etc. Artur Meski 2017-09-10 22:46:06 +01:00
  • 9abd631e4f formatting Artur Meski 2017-09-10 22:02:31 +01:00
  • dab97e9dae parameter variables; some cleanup Artur Meski 2017-09-10 21:47:57 +01:00
  • 72dfd3b41a fixed permissions Artur Meski 2017-09-10 18:22:42 +01:00
  • 690d3e5d0a comment Artur Meski 2017-09-03 19:07:34 +01:00
  • 3cba5901f9 get_param Artur Meski 2017-09-03 18:52:25 +01:00
  • 782ae117a3 introducing parameters Artur Meski 2017-09-03 17:59:26 +01:00
  • 2957a7ac52 cleanup Artur Meski 2017-09-03 15:15:26 +01:00
  • a2dc2ec31f cleanup Artur Meski 2017-09-03 15:13:23 +01:00
  • ac150b2744 cleanup Artur Meski 2017-09-03 14:54:10 +01:00
  • 4b9aa59aff some sanity checks for a common mistake Artur Meski 2017-09-03 14:53:39 +01:00
  • 203182c520 parametric example Artur Meski 2017-09-03 14:53:08 +01:00
  • ce6a1f6f19 transition relation with max calculation Artur Meski 2017-08-20 19:57:23 +01:00
  • 2b7d5e77dd enc_max Artur Meski 2017-08-15 21:41:41 +01:00
  • 15cbf62e82 Max encoding, WIP Artur Meski 2017-08-14 21:31:43 +01:00
  • 9ca4d3954f Initial encoding of reactions Artur Meski 2017-08-13 20:11:25 +01:00
  • dd4ea5d939 cleanup Artur Meski 2017-08-13 16:02:22 +01:00
  • c83779c9d5 Declaration of the intermediate product variables for the reactions and entities that are actually used as products Artur Meski 2017-08-13 15:51:20 +01:00
  • 27c86497e4 RSC with Param; RSCA for Param, SMTChecker for Param Artur Meski 2017-08-13 13:48:42 +01:00
  • e1db24c8a9 SMTChecker for RSC, for the new parametic-compatible encoding Artur Meski 2017-08-13 12:26:43 +01:00
  • 55ff688fd0 add RSC with param for the new encoding suitable for parametric verification Artur Meski 2017-08-09 20:57:52 +01:00
  • fec235a6a1 Version number Artur Meski 2017-07-21 14:33:42 +01:00
  • f28edea6ac added constraint for ctx aut states in state equivallence encoding Artur Meski 2017-04-08 18:15:16 +02:00
  • 7746c364f1 gen_dat script Artur Meski 2017-04-04 22:49:05 +02:00
  • 9c9084e4e2 simple rsLTL example for paper Artur Meski 2017-04-04 22:48:33 +02:00
  • cabe9fc1b8 operators Artur Meski 2017-04-04 22:48:11 +02:00
  • b22fcd8015 cleanup; flush_cache Artur Meski 2017-03-19 20:50:01 +01:00
  • a51f4e5ed2 new results Artur Meski 2017-03-19 20:28:02 +01:00
  • 5a34d4028b Cache. Massive improvement Artur Meski 2017-03-19 15:58:44 +01:00
  • 9cf5477169 new results for f2 Artur Meski 2017-03-19 11:26:33 +01:00
  • 2a5750976a new experimental results for f4, f5 Artur Meski 2017-03-18 18:56:25 +01:00
  • 565d1c070d Aesthetics, printing of rsLTL formulae Artur Meski 2017-03-18 18:40:33 +01:00
  • 15500b7e38 New formula, 5 Artur Meski 2017-03-18 18:39:52 +01:00
  • 80f2caea53 experimental results Artur Meski 2017-03-17 09:32:09 +01:00
  • ab5550d3fd benchmarks for SC Artur Meski 2017-03-16 20:57:42 +01:00
  • 59cd3af3e1 Formulae for Scalable Chain; some fixes and improvements Artur Meski 2017-03-15 23:30:29 +01:00
  • 56d4d8fde8 Sanity checks for bags. Artur Meski 2017-03-15 22:33:14 +01:00
  • 9ed2104757 Changed back to the old solver (BMC never finished) Artur Meski 2017-03-13 22:31:08 +01:00
  • b0bfa4a13f Updated version string Artur Meski 2017-03-13 22:29:55 +01:00
  • 36f571c0d1 Switched to QF_FD (smt checker for rsc) Artur Meski 2017-03-13 22:06:33 +01:00