0000000000000000000000000000000000000000 6f86bc0e2a12fa56d6ac22a2c24934174cc75a27 Artur Meski <artur@Arturs-Mac-Pro.local> 1455393195 +0100	clone: from https://meartur@bitbucket.org/meartur/rs-smt.git
6f86bc0e2a12fa56d6ac22a2c24934174cc75a27 7d6a48d2c2599ad0c81ef57c744670d4aae356d0 Artur Meski <artur@Arturs-Mac-Pro.local> 1455403313 +0100	commit: bitctr
7d6a48d2c2599ad0c81ef57c744670d4aae356d0 6aaca2ba270a0cfd03b0a36d549bb786181ec2d5 Artur Meski <artur.meski@gmail.com> 1455462517 +0100	commit: ReactionSystemsWithConcentration. Backup
6aaca2ba270a0cfd03b0a36d549bb786181ec2d5 9245546d3dd50014ce0b96f55fad8b68fa2c8b00 Artur Meski <artur.meski@gmail.com> 1455477907 +0100	commit: Reaction Systems with Concentrations. Context Automaton class.
9245546d3dd50014ce0b96f55fad8b68fa2c8b00 6018df00d86999f82c5e6df569b61c32adb37366 Artur Meski <artur.meski@gmail.com> 1455651257 +0100	commit: SMT for RSC. Initial commit with the stub class.
6018df00d86999f82c5e6df569b61c32adb37366 8853589ff8b12e0be69c674bee007a143b112420 Artur Meski <artur.meski@gmail.com> 1455656275 +0100	commit: Transitioning boolean variables to integer variables in the SMT encoding.
8853589ff8b12e0be69c674bee007a143b112420 9e025c2c9a9f887bb285f6b8f678377ee9b29099 Artur Meski <artur.meski@gmail.com> 1455741703 +0100	commit: Implementation of reachability testing for RSC using SMT. Intitially tested version. No known issues.
9e025c2c9a9f887bb285f6b8f678377ee9b29099 1f5938ba96c9b235cba95097688b4ee1a033b0a2 Artur Meski <artur.meski@gmail.com> 1455902390 +0100	commit: Translation RSC -> RS. CA translation - to be done.
1f5938ba96c9b235cba95097688b4ee1a033b0a2 060f5dc1f5c3ecf45706d27e097796a671e48bba Artur Meski <artur.meski@gmail.com> 1456007708 +0100	commit: Meta-reactions
060f5dc1f5c3ecf45706d27e097796a671e48bba b21a0cee481cf19f98d00db45e2c7385bfcee03a Artur Meski <artur.meski@gmail.com> 1456062948 +0100	commit: Translation RSC->RS for meta-reactions.
b21a0cee481cf19f98d00db45e2c7385bfcee03a 9c7cbc74f74e1ae5bfe3a954557d7c9e683657b5 Artur Meski <artur.meski@gmail.com> 1456350542 +0100	commit: Benchmarks. Resources reporting, etc.
9c7cbc74f74e1ae5bfe3a954557d7c9e683657b5 8a739b0760f4482dd765f5a75a4f833310d21a0e Artur Meski <artur.meski@gmail.com> 1456350580 +0100	commit: Resources reporting. Chain reaction benchmark, etc.
8a739b0760f4482dd765f5a75a4f833310d21a0e ef6f2edd33aa40eb693b12536b195ea031b93f12 Artur Meski <artur.meski@gmail.com> 1456686763 +0100	commit: Incrementation & decrementation by a specified value.
ef6f2edd33aa40eb693b12536b195ea031b93f12 249e8ca594c7ab344ca535231e806cd931602278 Artur Meski <artur.meski@gmail.com> 1456696657 +0100	commit: Just to be sure...
249e8ca594c7ab344ca535231e806cd931602278 0137a208673e8a4bde441881fdf5e63c0af8f72d Artur Meski <artur.meski@gmail.com> 1456731349 +0100	commit: simplify
0137a208673e8a4bde441881fdf5e63c0af8f72d 3f3690c861c9d91f8695b9852001ef2a9d86b166 Artur Meski <artur.meski@gmail.com> 1456863934 +0100	commit: working on Blood-Glucose example
3f3690c861c9d91f8695b9852001ef2a9d86b166 6ab5304628efe5ec5d9071e240b486684a2ab23d Artur Meski <artur.meski@gmail.com> 1456938487 +0100	commit: Permanent entities implementation. Allows for preserving concentration levels when the inhibitors are not provided.
6ab5304628efe5ec5d9071e240b486684a2ab23d 02606e32bf5df60a5984cfe808450caec227ae09 Artur Meski <artur.meski@gmail.com> 1456938547 +0100	commit: Permanency encoding. Allows preserving concentration levels for a specified entity. Permanency can also be inhibited.
02606e32bf5df60a5984cfe808450caec227ae09 e8797401627ecb6c6244e4b07a89b43ecde19096 Artur Meski <artur.meski@gmail.com> 1456938647 +0100	commit: Removal of the log files.
e8797401627ecb6c6244e4b07a89b43ecde19096 561413b79fab9ff3f8e72b46998e256d244dc5b5 Artur Meski <artur.meski@gmail.com> 1456939116 +0100	commit: expire_sugar entity
561413b79fab9ff3f8e72b46998e256d244dc5b5 1746bf86c898101f24177edfd89b928e11e665fc Artur Meski <artur.meski@gmail.com> 1456953170 +0100	commit: still trying with glucose assimilation...
1746bf86c898101f24177edfd89b928e11e665fc 5aec7d8df52543d3a76214356e2e617ec5a56b5a Artur Meski <artur.meski@gmail.com> 1457022778 +0100	pull: Fast-forward
5aec7d8df52543d3a76214356e2e617ec5a56b5a 45b6db12c43c63c28c3363a572d380c76289470b Artur Meski <artur.meski@gmail.com> 1457100610 +0100	commit: Pretty printing
45b6db12c43c63c28c3363a572d380c76289470b dc482781e22b13c302eafbc2b1359928a9f10c35 Artur Meski <artur.meski@gmail.com> 1457121122 +0100	commit: Output cosmetics
dc482781e22b13c302eafbc2b1359928a9f10c35 5d65b4fac2e4f473f2e8ec9d6295fb23dd64955b Artur Meski <artur.meski@gmail.com> 1457121150 +0100	commit: Added colour.py file
5d65b4fac2e4f473f2e8ec9d6295fb23dd64955b ef1b769654e0d98835597ff60beb7d9d149e3020 Artur Meski <artur.meski@gmail.com> 1457131708 +0100	commit: Translation for permanency (RSC -> RS)
ef1b769654e0d98835597ff60beb7d9d149e3020 9f3af0b48cbf227ecff06b9a0c898a4d0964bade Artur Meski <artur.meski@gmail.com> 1457131838 +0100	commit: HSR. Translation of properties RSC->RS. Testing with RS and RSC (cmdline args).
9f3af0b48cbf227ecff06b9a0c898a4d0964bade 7b2f29c9ec3a20f0fc03e91efdbc1b88463f161f Artur Meski <artur.meski@gmail.com> 1457131913 +0100	commit: Reachability testing with properties specified with required and blocking entities.
7b2f29c9ec3a20f0fc03e91efdbc1b88463f161f 3a6d771f04001e21761506fa221165e6364601a2 Artur Meski <artur.meski@gmail.com> 1457132912 +0100	commit: cosmetics... again :)
3a6d771f04001e21761506fa221165e6364601a2 2387e8ad26981ea37a1fdc0c36a306877f435e1f Artur Meski <artur.meski@gmail.com> 1457382542 +0100	commit: Minor modifications
2387e8ad26981ea37a1fdc0c36a306877f435e1f a6aa5e4590dbc22640525228c88c3842c27fcf1e Artur Meski <artur.meski@gmail.com> 1457609414 +0100	commit: Sorting reactions in the increasing order
a6aa5e4590dbc22640525228c88c3842c27fcf1e 781777ac5657f3d4b8ef10fd829afe8bde80205a Artur Meski <artur.meski@gmail.com> 1457609612 +0100	commit: Production of the maximal concentration
781777ac5657f3d4b8ef10fd829afe8bde80205a a0e4dc9fe1bec7aa460eb3dd318d4bf29f0ea701 Artur Meski <artur.meski@gmail.com> 1457609843 +0100	commit: Minor changes to the experiments. Changed the .sh cases to be verified (only even values).
a0e4dc9fe1bec7aa460eb3dd318d4bf29f0ea701 b71e749c53bc3628fe5625463f1635035492ac70 Artur Meski <artur.meski@gmail.com> 1457618388 +0100	commit: Meta reactions are enabled only if no ordinary reaction is
b71e749c53bc3628fe5625463f1635035492ac70 270c0c86ed11bf904ddcf27d73a280134fd6999e Artur Meski <artur.meski@gmail.com> 1457618428 +0100	commit: get_max_concentration_level function
270c0c86ed11bf904ddcf27d73a280134fd6999e 3780be1fa4af43f14a33579c9c70f67a041738f5 Artur Meski <artur.meski@gmail.com> 1457618435 +0100	commit: Brought back 'dec' entity
3780be1fa4af43f14a33579c9c70f67a041738f5 586e085a80659afb165f21a79ddd963bbb9299a2 Artur Meski <artur.meski@gmail.com> 1458678784 +0100	commit: cleanup: examples
