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

Commit Graph

  • 7f6ea619b2 reset & initialise methods for SMT Checker; fixed some typos for rsLTL Artur Meski 2017-03-12 23:33:04 +01:00
  • 05557440a0 preparing for experiments, HSR -- reachability testing via rsLTL; some cleanup Artur Meski 2017-03-12 15:29:28 +01:00
  • 5934c6381d Bugfix: bad variable name for the implementation of the Globally operator Artur Meski 2017-03-12 14:38:18 +01:00
  • 20f66b5556 Makefile Artur Meski 2017-03-12 12:51:49 +01:00
  • 20464ac6dd bugfix for F and G encodings -- missing element for i=k Artur Meski 2017-03-12 12:50:09 +01:00
  • fab7880ccf working on the new encoding Artur Meski 2017-03-11 19:57:42 +01:00
  • 97ff4baf35 working on the new encoding; backup commit Artur Meski 2017-03-09 23:06:44 +01:00
  • f70cc0034b implementation for encoding or rsLTL (without loop) Artur Meski 2017-03-05 17:41:26 +01:00
  • 827568e174 working on the encoding for rsLTL, testing functionality Artur Meski 2017-03-05 12:58:24 +01:00
  • 12fee678f6 encoder Artur Meski 2017-03-05 12:33:07 +01:00
  • a91b7c732e working on the encoder Artur Meski 2017-03-05 10:47:35 +01:00
  • 9fb4e4a343 encoder Artur Meski 2017-03-03 20:08:06 +01:00
  • ed1d9433a6 added logics module Artur Meski 2017-03-02 21:00:20 +01:00
  • 821df2e152 cleanup Artur Meski 2017-03-02 20:59:34 +01:00
  • 2abf76ae72 logics module Artur Meski 2017-03-02 20:59:07 +01:00
  • 68c824e2f1 Parameters for rsLTL Artur Meski 2017-03-01 21:08:41 +01:00
  • bae7611606 Renaming FormulaLTL -> Formula_rsLTL Artur Meski 2017-02-26 22:27:49 +01:00
  • d065dbac83 Renaming FormulaLTL -> Formula_rsLTL Artur Meski 2017-02-26 22:27:29 +01:00
  • 4e7d640e2f Bag descriptions; oper. overloading for FormLTL and BagDescription Artur Meski 2017-02-26 22:23:06 +01:00
  • ac389b238b working on smt encoding for NA Artur Meski 2017-01-01 18:23:02 +01:00
  • 1594659509 getters for the used actions, automata supporting actions, transitions for actions, etc. Artur Meski 2017-01-01 00:34:27 +01:00
  • ebee3aa03e working on RSNA Artur Meski 2016-12-29 20:21:56 +01:00
  • ba8cb798e4 clean and cleanall Artur Meski 2016-12-29 20:15:11 +01:00
  • be8b434804 rsna Artur Meski 2016-12-29 10:42:27 +01:00
  • f367c5d72c network of automata Artur Meski 2016-12-28 22:43:26 +01:00
  • 58f06c3fc1 cleanup Artur Meski 2016-12-28 22:30:00 +01:00
  • bd06d575f7 SmtChecker class moved to legacy Artur Meski 2016-12-28 22:15:40 +01:00
  • 5e8417baf2 SmtCheckerPGRS -> ..RS; new: SmtCheckerRSNA Artur Meski 2016-12-28 22:13:16 +01:00
  • 5ddc549245 adding support for network of automata... Artur Meski 2016-12-28 21:36:49 +01:00
  • a1b660abea distributed reaction system Artur Meski 2016-12-28 20:59:45 +01:00
  • f73d0784ca working on ECA Artur Meski 2016-12-28 18:32:32 +01:00
  • b2fa911a77 cleanup Artur Meski 2016-12-28 16:16:24 +01:00
  • 3d8f4b0958 version date update Artur Meski 2016-12-28 16:10:42 +01:00
  • bb87eab5bd cleanup Artur Meski 2016-12-28 16:09:20 +01:00
  • 1a1bfa6677 cleanup Artur Meski 2016-12-28 15:58:41 +01:00
  • c37ca14a22 release UCNC Artur Meski 2016-12-28 15:56:55 +01:00
  • e62638fd7b updated imports Artur Meski 2016-12-28 15:55:30 +01:00
  • daadf33d02 smt package Artur Meski 2016-12-28 15:55:03 +01:00
  • 41846b66da rs package Artur Meski 2016-12-28 15:51:59 +01:00
  • d5f3f06743 ExtendedContextAutomaton Artur Meski 2016-12-27 22:11:22 +01:00
  • 56218a3596 some cleanup Artur Meski 2016-12-27 20:57:02 +01:00
  • 11a2d2ae46 imports Artur Meski 2016-12-27 19:45:07 +01:00
  • be3e506cbe ltl formulae Artur Meski 2016-12-18 18:08:21 +01:00
  • 7dfc02f613 some log files Artur Meski 2016-09-24 15:50:55 +02:00
  • f4528fb287 finalised version used for UCNC2016 experiments Artur Meski 2016-03-22 21:34:37 +01:00
  • 586e085a80 cleanup: examples Artur Meski 2016-03-22 21:33:04 +01:00
  • 3780be1fa4 Brought back 'dec' entity Artur Meski 2016-03-10 15:00:35 +01:00
  • 270c0c86ed get_max_concentration_level function Artur Meski 2016-03-10 15:00:28 +01:00
  • b71e749c53 Meta reactions are enabled only if no ordinary reaction is Artur Meski 2016-03-10 14:59:48 +01:00
  • a0e4dc9fe1 Minor changes to the experiments. Changed the .sh cases to be verified (only even values). Artur Meski 2016-03-10 12:37:23 +01:00
  • 781777ac56 Production of the maximal concentration Artur Meski 2016-03-10 12:33:32 +01:00
  • a6aa5e4590 Sorting reactions in the increasing order (per produced entity's concentration level) Artur Meski 2016-03-10 12:30:14 +01:00
  • 2387e8ad26 Minor modifications Artur Meski 2016-03-07 21:29:02 +01:00
  • 3a6d771f04 cosmetics... again :) Artur Meski 2016-03-05 00:08:32 +01:00
  • 7b2f29c9ec Reachability testing with properties specified with required and blocking entities. Required entitied correspond to reactants, while blocking entities to inhibitors. This functionality replaces 'exact' state encoding. Artur Meski 2016-03-04 23:51:53 +01:00
  • 9f3af0b48c HSR. Translation of properties RSC->RS. Testing with RS and RSC (cmdline args). Artur Meski 2016-03-04 23:50:38 +01:00
  • ef1b769654 Translation for permanency (RSC -> RS) Artur Meski 2016-03-04 23:48:28 +01:00
  • 5d65b4fac2 Added colour.py file Artur Meski 2016-03-04 20:52:30 +01:00
  • dc482781e2 Output cosmetics Artur Meski 2016-03-04 20:52:02 +01:00
  • 45b6db12c4 Pretty printing Artur Meski 2016-03-04 15:10:10 +01:00
  • 5aec7d8df5 HSR + cosmetics Artur Meski 2016-03-03 16:11:09 +01:00
  • ec8e5d1b7d Fixed permanency encoding: And->Or. Artur Meski 2016-03-03 14:35:47 +01:00
  • a2d4912d2e cleanup Artur Meski 2016-03-03 12:39:28 +01:00
  • c686317e16 Use enc_state_with_blocking() for HSR Artur Meski 2016-03-03 12:32:14 +01:00
  • 7907c0216b Added the enc_state_with_blocking() function This allows to specify reactants and inhibitors in the provided state. Artur Meski 2016-03-03 12:31:12 +01:00
  • a869ed25cb remove __pycache__ Artur Meski 2016-03-03 09:25:34 +01:00
  • 975c01edea Heat Shock Response Artur Meski 2016-03-03 09:22:33 +01:00
  • 063e8063cc Moved "Next level?" to after we check max_level Artur Meski 2016-03-03 06:54:41 +01:00
  • 1746bf86c8 still trying with glucose assimilation... Artur Meski 2016-03-02 22:12:50 +01:00
  • 561413b79f expire_sugar entity Artur Meski 2016-03-02 18:18:36 +01:00
  • e879740162 Removal of the log files. Artur Meski 2016-03-02 18:10:47 +01:00
  • 02606e32bf Permanency encoding. Allows preserving concentration levels for a specified entity. Permanency can also be inhibited. Artur Meski 2016-03-02 18:09:07 +01:00
  • 6ab5304628 Permanent entities implementation. Allows for preserving concentration levels when the inhibitors are not provided. Artur Meski 2016-03-02 18:08:07 +01:00
  • 3f3690c861 working on Blood-Glucose example Artur Meski 2016-03-01 21:25:34 +01:00
  • 0137a20867 simplify Artur Meski 2016-02-29 08:35:49 +01:00
  • 249e8ca594 Just to be sure... Artur Meski 2016-02-28 22:57:37 +01:00
  • ef6f2edd33 Incrementation & decrementation by a specified value. Artur Meski 2016-02-28 20:12:43 +01:00
  • 8a739b0760 Resources reporting. Chain reaction benchmark, etc. Artur Meski 2016-02-24 22:49:40 +01:00
  • 9c7cbc74f7 Benchmarks. Resources reporting, etc. Artur Meski 2016-02-24 22:49:02 +01:00
  • b21a0cee48 Translation RSC->RS for meta-reactions. Artur Meski 2016-02-21 14:55:48 +01:00
  • 060f5dc1f5 Meta-reactions Artur Meski 2016-02-20 23:35:08 +01:00
  • 1f5938ba96 Translation RSC -> RS. CA translation - to be done. Artur Meski 2016-02-19 18:19:50 +01:00
  • 9e025c2c9a Implementation of reachability testing for RSC using SMT. Intitially tested version. No known issues. Artur Meski 2016-02-17 21:41:43 +01:00
  • 8853589ff8 Transitioning boolean variables to integer variables in the SMT encoding. Artur Meski 2016-02-16 21:57:55 +01:00
  • 6018df00d8 SMT for RSC. Initial commit with the stub class. Artur Meski 2016-02-16 20:34:17 +01:00
  • 9245546d3d Reaction Systems with Concentrations. Context Automaton class. Artur Meski 2016-02-14 20:25:07 +01:00
  • 6aaca2ba27 ReactionSystemsWithConcentration. Backup Artur Meski 2016-02-14 16:08:37 +01:00
  • 7d6a48d2c2 bitctr Artur Meski 2016-02-13 23:41:53 +01:00
  • 6f86bc0e2a rs_examples.py Artur Meski 2016-02-13 19:32:40 +01:00
  • 7cf71c8a22 Messing things up Artur Meski 2016-02-13 19:32:08 +01:00
  • 167284eb85 initial commit with .py files Artur Meski 2015-12-07 23:09:37 +00:00
  • edea811ad8 Initial commit with contributors Artur Meski 2015-12-07 23:07:32 +00:00