Assets 6
  • bugfix in create_piechart, affects python3
  • bugfix in Commitment.create_diagram caused by moving to networkx2
  • bugifx in Basins.create_barplot caused by range, affects python3
  • bugfix in ModelChecking.primes2smv for van ham init constraints, caused by zip, affects python3
  • bugfix in StateTransitionGraphs.random_walk
  • bugfix in StateTransitionGraphs.create_image: adding styles anonymous and mintrapspaces
  • bugfix in InteractionGraphs: drawing subgraphs, caused by moving to networkx2

@hklarner hklarner released this Jun 7, 2018 · 15 commits to master since this release

Assets 6
  • started to refactor the unittests (split into several files)
  • PyBoolNet is now developed with Python3
  • PyBoolNet is now compatible with networkx2
  • continued work and tuning on Basins, Commitment and Phenotypes
  • fixed encoding of mutli-valued variables in remy_tumorigenesis.bnet of the Repository (using GINsim)

@hklarner hklarner released this Feb 19, 2018 · 25 commits to master since this release

Assets 6
  • new Module Commitment for the computation of commitment diagrams
  • new Module Phenotypes for the computation of phenotype diagrams
  • bugfix of encoding of mutli-valued variables in remy_tumorigenesis.bnet of the Repository
  • added function Attractors.open_json(..) to module Attractors
  • added function Attractors.save_json(..) to module Attractors
  • added function Attractors.compute_json(..) to module Attractors
  • the PyBoolNet git repository is now in "hard tab" format (tab instead of whitespace)
  • refactored list_states_referenced_by_proposition(..) as enumerate_states(..) for simplicity
  • refactored the module AttractorDetection as Attractors for simplicity
  • refactored the module QueryPatterns as TemporalLogic for clarity
  • refactored the module BooleanExpressions as BooleanLogic for clarity
  • adapted modules Basins and ModelChecking to handle Boolean variables that represent multi-valued variables (see van Ham encoding)
  • added StateTransitionGraphs.size_state_space to determine size of state spaces, taking into account only the admissible states of Boolean variables that represent multi-valued variables (see van Ham encoding)
  • added StateTransitionGraphs.find_vanham_variables(..) to detect variables that represent ternary variables

@hklarner hklarner released this Jan 15, 2018 · 59 commits to master since this release

Assets 6

release notes for hotfix version 2.2.1 (January 2018)

  • bugfix: removed slowdown that was introduced by unnecessarily computing counterexamples in AttractorDetection.completeness(..), AttractorDetection.univocality(..) and AttractorDetection.faithfulness(..)
Feb 27, 2017

2.11

Merge branch 'develop'
Sep 19, 2016

v2.1

Merge branch 'develop'