https://github.com/Kappa-Dev/KaSim

sort by:
Revision Author Date Message Commit Date
6d37dfd Refactor kappy README 04 December 2017, 04:32:18 UTC
ed1db7a num package is out of OCaml >= 4.06 04 December 2017, 03:45:33 UTC
d824cde Flag release candidate 04 December 2017, 03:32:26 UTC
c3be8ed perturbation -> intervention 03 December 2017, 17:29:56 UTC
1e55b86 RefMan scripts models in Kappa4 02 December 2017, 05:01:50 UTC
0c56cc8 tests for FLUX -> DIN in APIs 01 December 2017, 22:33:04 UTC
4d064d4 FLUX -> DIN in APIs 01 December 2017, 22:14:20 UTC
ff4572f FLUX -> DIN inside code 01 December 2017, 22:14:20 UTC
8e18362 FLUX -> DIN 01 December 2017, 22:14:20 UTC
f602635 Fix #473: Stories in html 01 December 2017, 16:28:18 UTC
5e1b0f3 Kappa_printer.decompiled_rule 30 November 2017, 22:26:28 UTC
941c1b9 polymer detection: third example 30 November 2017, 21:00:56 UTC
8aca4fb missing files 30 November 2017, 17:08:55 UTC
5897306 polymer detection, still todo the dimer example 30 November 2017, 17:08:32 UTC
9cb5995 working on manual 30 November 2017, 11:32:27 UTC
2c1f46c working on manual 30 November 2017, 10:41:15 UTC
c5d76c2 missing files 29 November 2017, 20:41:58 UTC
c4c90fe fixing some grammars in manual 29 November 2017, 14:10:57 UTC
e888f6c manual: contact map 29 November 2017, 11:20:19 UTC
520b320 manual: polymer detection 28 November 2017, 21:30:59 UTC
73b40ed script: reachability.sh for the manual 28 November 2017, 21:30:59 UTC
160cb75 Every modification ends by a semi colon 28 November 2017, 19:05:54 UTC
f839672 serialization 28 November 2017, 19:05:54 UTC
1000a72 bugfix: parallel bonds domain 28 November 2017, 17:11:20 UTC
535cb81 manual: start updating information about KaSa 28 November 2017, 17:11:08 UTC
4ccae97 done it a bit fastly, take the meet of all annotations, not their union 28 November 2017, 11:06:39 UTC
0e6216e removing spurious space in KaSa ouput (verbose mode) 28 November 2017, 10:04:14 UTC
0961323 V4 backend for KaSa 28 November 2017, 09:24:24 UTC
dd0e561 (silent) bug fix 27 November 2017, 14:22:50 UTC
561d417 web interface: V4 syntax in constraints 27 November 2017, 14:14:05 UTC
973f224 remove {} and [] in extentional description 27 November 2017, 13:07:01 UTC
e3b331f test-suite 27 November 2017, 11:37:13 UTC
c069c0c printing internal and binding type in version 4 and 3 27 November 2017, 10:52:52 UTC
d85efcd remove useless codes 27 November 2017, 09:11:54 UTC
448cf3c scc in red in the contact map 27 November 2017, 08:30:28 UTC
300a2ea remove a mistake in printing a number 3 24 November 2017, 14:17:21 UTC
72e4947 binding type 24 November 2017, 14:13:07 UTC
9b14366 add APPLY perturbations to the set of rules in KaSa cheap way to get KaSa taking perturbation into account has the drawback that precondition are not taken into account though 24 November 2017, 05:19:28 UTC
6a67c57 APPLY modification 24 November 2017, 05:19:28 UTC
1390c20 avoid datastructure/loggers -> KaSa_rep/backend/binding_type dependency 24 November 2017, 05:19:28 UTC
70854b1 me being stupid again 24 November 2017, 05:19:28 UTC
7a0af88 Fix Ast.split_mixture and extract out prepreprocess.translate_rule 24 November 2017, 00:36:50 UTC
da5f517 fix Ast printer 24 November 2017, 00:09:59 UTC
1113d75 APPLY modification in KaSa datatypes 24 November 2017, 00:09:59 UTC
8237706 build-tests 23 November 2017, 19:21:46 UTC
b3c0641 I'm stupid: Close #472 23 November 2017, 16:58:33 UTC
da9f8a4 fixup 23 November 2017, 16:58:33 UTC
7c1ab43 add back those pictures that I acidently deleted 23 November 2017, 16:57:38 UTC
020d0bf new example for binding types 23 November 2017, 15:40:18 UTC
33b5e03 build test-suites 23 November 2017, 15:00:02 UTC
945a59b Fix Kappapp.app corruption 23 November 2017, 03:32:36 UTC
8f53118 Switch WebSim to Cohttp.1.0.0 23 November 2017, 00:00:49 UTC
00e3e4b symbol tables 22 November 2017, 16:05:18 UTC
ee3e218 primitives to display binding types 22 November 2017, 06:37:17 UTC
23a5332 less verbose compilation 22 November 2017, 06:28:19 UTC
42d51ac less verbose compilation 22 November 2017, 06:27:29 UTC
91bfccb Fix previous commit: Do not parse labels inside block comment 22 November 2017, 05:12:08 UTC
2c8ab51 Do not parse labels inside block comment (fix #470) The drawback is that commenting out a block that contains a label that contains `*/` will have a weird behavior. 21 November 2017, 22:14:35 UTC
df9363a Deal with unterminated label/string in klexer4 first part of #470 but not super convincing 21 November 2017, 21:48:29 UTC
6b4d6be left/right site mismatch in rules test-suite 21 November 2017, 17:12:09 UTC
6242f5b Last bits of porting test suite to syntax 4 21 November 2017, 16:58:35 UTC
4737c95 fix associativity in alg_expr parsing 21 November 2017, 16:53:55 UTC
efd88b0 test suite 21 November 2017, 10:52:20 UTC
bdcb589 bugfix parallel bonds 21 November 2017, 10:49:49 UTC
882a268 Ported to syntax 4 the files under reachability_analysis. 21 November 2017, 04:48:01 UTC
53441b2 Porting KaDE test suite to KaSim syntax 4. 20 November 2017, 21:40:36 UTC
74dc7aa bugfix: bad interaction between scc computation and parallalel bond domain 20 November 2017, 21:25:05 UTC
72c8879 TODO, Quyen, Table of symbols for V3/V4 20 November 2017, 18:11:53 UTC
b8d6ff8 only color to red the edges belong to trivial scc 20 November 2017, 10:20:07 UTC
7c7e7e3 nothing 18 November 2017, 13:04:52 UTC
693f8fc change symbols for version 3 and version 4 18 November 2017, 12:59:56 UTC
d96a15a color red edges if it belongs to scc in contact map 18 November 2017, 10:23:05 UTC
15a55fa build test-suite 18 November 2017, 08:48:16 UTC
3542bae remove my notes in Change 17 November 2017, 14:28:19 UTC
8a9404a output KaSa in version 3 or version 4 depend on the input; it is not complete yet 17 November 2017, 14:27:22 UTC
bd2ffe7 Remove redundant webserver line. 17 November 2017, 01:30:54 UTC
4250763 Fix agent finding. 17 November 2017, 01:30:54 UTC
4ac2949 Fix spacing in travis bash condition. 17 November 2017, 01:30:54 UTC
152020b Remove --user from pip install. 17 November 2017, 01:30:54 UTC
0c2e68e Fix travis yml indentation. 17 November 2017, 01:30:54 UTC
d129298 Try again to run python 2 and 3 separately. 17 November 2017, 01:30:54 UTC
95737b7 Fix file finding. 17 November 2017, 01:30:54 UTC
8da8e0b Change method for finding WebSim and models. 17 November 2017, 01:30:54 UTC
cb90b70 Test python 2 and 3 as separate builds. 17 November 2017, 01:30:54 UTC
9a56069 Try using nosetests2/3. 17 November 2017, 01:30:54 UTC
b598a12 Search for websim rather than assume location. 17 November 2017, 01:30:54 UTC
0d8b28c Fix error in last commit. 17 November 2017, 01:30:54 UTC
573ba9b Look for agents in more places. 17 November 2017, 01:30:54 UTC
d276b0d Move future install from travis to setup.py. 17 November 2017, 01:30:54 UTC
b41b6ec Add future to pip install. 17 November 2017, 01:30:54 UTC
152b217 Fix travis yml. 17 November 2017, 01:30:54 UTC
5eaebd2 Fix minor bugs in tests. 17 November 2017, 01:30:54 UTC
9083c58 Fix minor typo. 17 November 2017, 01:30:54 UTC
f64f681 Ensure default file_id for added model is unique. 17 November 2017, 01:30:54 UTC
97dcae8 Move _get_id as class method of KappaApi. 17 November 2017, 01:30:54 UTC
5f3a740 Add doc strings to a couple methods. 17 November 2017, 01:30:54 UTC
f53b87d Add wait_for_simulation_stop method. 17 November 2017, 01:30:54 UTC
ba3728d Tweek doc inheritance. 17 November 2017, 01:30:54 UTC
4a5ba66 Add tests for doc behavior. 17 November 2017, 01:30:54 UTC
d426c1a Make method documentation inheritted. The documentation for standard API methods are now contained in the abstract base class definitions. 17 November 2017, 01:30:54 UTC
back to top