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