Permalink
Switch branches/tags
Nothing to show
Commits on May 15, 2018
Commits on Sep 25, 2017
  1. documentation update

    bad-ants-fleet committed Sep 25, 2017
  2. Merge branch 'bisim_modularity'

    bad-ants-fleet committed Sep 25, 2017
    * preliminary support for faster ("modular") CRN bisimulation
    * updated to use dsdobjects library
    * updated peppercornenumerator interface
  3. readme update

    bad-ants-fleet committed Sep 25, 2017
  4. docs update

    bad-ants-fleet committed Sep 25, 2017
  5. update to peppercornenumeator-v5.0

    bad-ants-fleet committed Sep 23, 2017
    added "snapshot" unittests using nuskellCMP
Commits on Sep 7, 2017
  1. using dsdobjects-v0.2

    bad-ants-fleet committed Sep 7, 2017
Commits on Sep 5, 2017
Commits on Sep 4, 2017
  1. broken commit to start enumerator update.

    bad-ants-fleet committed Sep 4, 2017
    modular-bisimulation complains that complexes got duplicated
Commits on Jul 18, 2017
  1. typos

    bad-ants-fleet committed Jul 18, 2017
Commits on Jul 12, 2017
  1. changed nuskellCMP --verify interface

    bad-ants-fleet committed Jul 12, 2017
    allows to specify any combination of verification methods, including
    modular-bisimulation
  2. output formatting

    bad-ants-fleet committed Jul 12, 2017
  3. output formatting

    bad-ants-fleet committed Jul 12, 2017
Commits on Jul 11, 2017
  1. added crosstalk module, fixed unittests

    bad-ants-fleet committed Jul 11, 2017
    the crns used to check modular bisimulation for qian2011
    use the same species names as in the non-modular case.
    Now one can use the interpretation of the modular bisimulation
    to test non-modular bisimulation
Commits on Jul 10, 2017
  1. modular bisimulation implementation, ...

    bad-ants-fleet committed Jul 10, 2017
    ...with quite some more stuff todo:
      does not yet include any cross reactions between modules
Commits on Jul 7, 2017
Commits on Jul 6, 2017
  1. fix the support of species names that clash with sympy imports ...

    bad-ants-fleet committed Jul 6, 2017
    ...requires crnsimulator v0.2
Commits on Jun 29, 2017
Commits on Jun 27, 2017
  1. object-names, Error handling, code-cleanup

    bad-ants-fleet committed Jun 27, 2017
    adapted scripts to use custom names
    use default error class NuskellEnvError and NuskellObjectError
Commits on Jun 25, 2017
  1. allow arbitrary naming schemes for Complexes and Domains

    bad-ants-fleet committed Jun 25, 2017
    ...except for '*' which stil marks complementary domains.
    
    New error classes: NuskellObjectError, NuskellEnvError, NuskellExit
Commits on Jun 22, 2017
  1. require enumerator 0.4.2 (interruptable fix)

    bad-ants-fleet committed Jun 22, 2017
    ...and cleanup of nuskellCMP
Commits on Jun 21, 2017
Commits on Jun 14, 2017
Commits on Jun 12, 2017
  1. added more test crns

    bad-ants-fleet committed Apr 30, 2017
Commits on May 29, 2017
  1. changed peppercornenumerator dependency

    bad-ants-fleet committed May 29, 2017
    ..used to be called peppercorn
Commits on May 19, 2017