Artur Meski
|
5e8417baf2
|
SmtCheckerPGRS -> ..RS; new: SmtCheckerRSNA
|
2016-12-28 22:13:16 +01:00 |
|
Artur Meski
|
1a1bfa6677
|
cleanup
|
2016-12-28 15:58:41 +01:00 |
|
Artur Meski
|
e62638fd7b
|
updated imports
|
2016-12-28 15:55:30 +01:00 |
|
Artur Meski
|
11a2d2ae46
|
imports
|
2016-12-27 19:45:07 +01:00 |
|
Artur Meski
|
586e085a80
|
cleanup: examples
|
2016-03-22 21:33:04 +01:00 |
|
Artur Meski
|
3780be1fa4
|
Brought back 'dec' entity
|
2016-03-10 15:00:35 +01:00 |
|
Artur Meski
|
a0e4dc9fe1
|
Minor changes to the experiments. Changed the .sh cases to be verified (only even values).
|
2016-03-10 12:37:23 +01:00 |
|
Artur Meski
|
2387e8ad26
|
Minor modifications
|
2016-03-07 21:29:02 +01:00 |
|
Artur Meski
|
9f3af0b48c
|
HSR. Translation of properties RSC->RS. Testing with RS and RSC (cmdline args).
|
2016-03-04 23:50:38 +01:00 |
|
Artur Meski
|
5aec7d8df5
|
HSR + cosmetics
|
2016-03-03 16:11:09 +01:00 |
|
Artur Meski
|
c686317e16
|
Use enc_state_with_blocking() for HSR
|
2016-03-03 12:32:14 +01:00 |
|
Artur Meski
|
975c01edea
|
Heat Shock Response
|
2016-03-03 09:22:33 +01:00 |
|
Artur Meski
|
1746bf86c8
|
still trying with glucose assimilation...
|
2016-03-02 22:12:50 +01:00 |
|
Artur Meski
|
561413b79f
|
expire_sugar entity
|
2016-03-02 18:18:36 +01:00 |
|
Artur Meski
|
6ab5304628
|
Permanent entities implementation. Allows for preserving concentration levels when the inhibitors are not provided.
|
2016-03-02 18:08:07 +01:00 |
|
Artur Meski
|
3f3690c861
|
working on Blood-Glucose example
|
2016-03-01 21:25:34 +01:00 |
|
Artur Meski
|
249e8ca594
|
Just to be sure...
|
2016-02-28 22:57:37 +01:00 |
|
Artur Meski
|
ef6f2edd33
|
Incrementation & decrementation by a specified value.
|
2016-02-28 20:12:43 +01:00 |
|
Artur Meski
|
8a739b0760
|
Resources reporting. Chain reaction benchmark, etc.
|
2016-02-24 22:49:40 +01:00 |
|
Artur Meski
|
9245546d3d
|
Reaction Systems with Concentrations. Context Automaton class.
|
2016-02-14 20:25:07 +01:00 |
|
Artur Meski
|
7d6a48d2c2
|
bitctr
|
2016-02-13 23:41:53 +01:00 |
|
Artur Meski
|
6f86bc0e2a
|
rs_examples.py
|
2016-02-13 19:32:40 +01:00 |
|
Artur Meski
|
7cf71c8a22
|
Messing things up
|
2016-02-13 19:32:08 +01:00 |
|
Artur Meski
|
167284eb85
|
initial commit with .py files
|
2015-12-07 23:09:37 +00:00 |
|