Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / sybila/biodivine-lib-param-bn issues and pull requests

#59 - Add a utility method to reorder variables in a BN

Issue - State: open - Opened by daemontus 5 months ago

#57 - Better feedback vertex set computation

Pull Request - State: closed - Opened by daemontus 8 months ago - 1 comment

#56 - Add the ability to create "canonical symbolic contexts"

Pull Request - State: closed - Opened by daemontus 10 months ago - 1 comment

#55 - Reachability method with less overhead

Pull Request - State: closed - Opened by daemontus 10 months ago - 1 comment

#54 - Add `SymbolicContext::canonical_bn_context`

Issue - State: closed - Opened by daemontus 10 months ago - 1 comment

#53 - Enable fully symbolic network reduction

Pull Request - State: closed - Opened by daemontus 10 months ago - 1 comment

#52 - Allow nested calls to uninterpreted functions

Pull Request - State: closed - Opened by daemontus 10 months ago - 1 comment

#51 - Computation of minimal trap spaces

Pull Request - State: closed - Opened by daemontus 10 months ago - 1 comment

#50 - Names `0` and `1` can collide with constants

Issue - State: closed - Opened by daemontus 12 months ago - 1 comment
Labels: bug

#49 - Bug in `infer_regulatory_graph` when working with parameters

Issue - State: closed - Opened by daemontus 12 months ago - 1 comment
Labels: bug

#48 - Tighter bounds on `BooleanNetwork::inline_inputs`

Issue - State: closed - Opened by daemontus 12 months ago - 2 comments

#47 - New, safer identifier system

Issue - State: open - Opened by daemontus 12 months ago - 1 comment

#46 - deps: Update to z3 0.12.

Pull Request - State: closed - Opened by waywardmonkeys about 1 year ago - 1 comment

#45 - Make DNF the default translation format

Issue - State: closed - Opened by daemontus over 1 year ago - 1 comment

#43 - Safe tags for results and symbolci sets

Issue - State: open - Opened by daemontus over 1 year ago

#42 - Update CI scripts based on `lib-bdd`

Issue - State: closed - Opened by daemontus over 1 year ago

#41 - Random witness sampling

Issue - State: open - Opened by daemontus over 1 year ago

#40 - Add support for structured model annotations

Pull Request - State: closed - Opened by daemontus over 1 year ago - 1 comment

#39 - Extended symbolic domain

Pull Request - State: closed - Opened by daemontus almost 2 years ago - 2 comments

#38 - Consider supporting 0/1 constants in Boolean expressions

Issue - State: closed - Opened by daemontus almost 2 years ago - 1 comment

#37 - Add tutorial for new features from `0.4.0`

Issue - State: open - Opened by daemontus almost 2 years ago
Labels: documentation

#36 - Algorithms for fixed-points, feedback vertex sets and more

Pull Request - State: closed - Opened by daemontus almost 2 years ago - 1 comment

#35 - Faster BDD evaluation of `FnUpdate` objects

Issue - State: open - Opened by daemontus about 2 years ago

#34 - Add support for pyboolnet format

Issue - State: open - Opened by daemontus about 2 years ago

#33 - Incorrect header handling in `.bnet` parser.

Issue - State: closed - Opened by daemontus about 2 years ago - 1 comment
Labels: bug

#32 - [SBML] Threshold parsing

Issue - State: open - Opened by daemontus about 2 years ago

#31 - Drop update functions that do not allow any transitions

Issue - State: open - Opened by daemontus over 2 years ago

#30 - Implementation of infer_regulatory_graph can use too much memory

Issue - State: closed - Opened by daemontus over 2 years ago - 1 comment
Labels: bug

#29 - Add a symbolic equality check

Issue - State: open - Opened by daemontus over 2 years ago
Labels: enhancement

#28 - Create "network inclusion test"

Issue - State: closed - Opened by daemontus over 2 years ago - 1 comment
Labels: enhancement

#27 - Convenient generator for graph subspaces

Issue - State: closed - Opened by smijeva over 2 years ago - 1 comment
Labels: enhancement

#26 - Mermaid plots broken in documentation

Issue - State: closed - Opened by daemontus over 2 years ago - 1 comment
Labels: bug

#25 - Rendering of `RegulatoryGraph` to `.dot`.

Issue - State: closed - Opened by daemontus almost 3 years ago - 1 comment
Labels: enhancement, good first issue

#24 - Fix `Eq` and `PartialEq` implementation for Boolean network

Issue - State: closed - Opened by daemontus over 3 years ago - 2 comments
Labels: bug, enhancement

#23 - Don't use `<true/>` and `<false/>` tags in MathML

Issue - State: closed - Opened by daemontus over 3 years ago - 2 comments
Labels: bug

#22 - Allow uninterpreted functions with empty <math> tag

Issue - State: closed - Opened by daemontus over 3 years ago - 1 comment
Labels: bug

#21 - Redesign `BooleanNetwork`/`RegulatoryGraph` API with better integrity checks

Issue - State: open - Opened by daemontus over 3 years ago - 1 comment
Labels: bug

#20 - Provide `Into<JsonValue>`

Issue - State: open - Opened by daemontus over 3 years ago - 1 comment
Labels: enhancement

#19 - Error message when loading "normal" SBML

Issue - State: closed - Opened by daemontus over 3 years ago - 3 comments

#18 - Re-implement `AsyncGraph` with updated interfaces and features.

Issue - State: open - Opened by daemontus over 3 years ago - 1 comment
Labels: enhancement

#17 - Symbolic Asynchronous Graph

Pull Request - State: closed - Opened by daemontus over 3 years ago - 1 comment

#16 - Robust SBML parser

Pull Request - State: closed - Opened by daemontus over 3 years ago - 1 comment

#15 - Remove biodivine-lib-std references from the project.

Pull Request - State: closed - Opened by daemontus over 3 years ago - 1 comment

#14 - Remove parameters from witness network.

Issue - State: closed - Opened by daemontus almost 4 years ago

#13 - SBML models with input IDs

Issue - State: closed - Opened by daemontus almost 4 years ago

#12 - Add strict Travis rules

Issue - State: closed - Opened by daemontus almost 4 years ago - 1 comment

#11 - BddParameterEncoder - new_with_custom_variables

Pull Request - State: closed - Opened by smijeva almost 4 years ago - 1 comment

#10 - SBML Parser Architecture

Issue - State: closed - Opened by daemontus almost 4 years ago - 1 comment

#9 - Further bugfixes to SBML parsing.

Pull Request - State: closed - Opened by daemontus almost 4 years ago - 2 comments

#8 - Add binary to dump explicit colored graphs

Pull Request - State: closed - Opened by daemontus almost 4 years ago - 1 comment

#7 - Add support for SBML variables with different names and ids

Pull Request - State: closed - Opened by daemontus almost 4 years ago - 1 comment

#6 - AsyncGraphEdgeParams trait for easier AsyncGraph modularisation.

Pull Request - State: closed - Opened by daemontus almost 4 years ago - 1 comment
Labels: enhancement

#5 - PBN static analysis

Issue - State: open - Opened by daemontus over 4 years ago
Labels: enhancement

#4 - .aeon format rework

Issue - State: open - Opened by daemontus over 4 years ago
Labels: bug, enhancement

#3 - General boolean expression parser

Issue - State: open - Opened by daemontus over 4 years ago
Labels: enhancement

#2 - Update reflect biodivine guidelines

Issue - State: closed - Opened by daemontus over 4 years ago - 1 comment
Labels: bug, documentation

#1 - SBML parser incompatibility

Issue - State: closed - Opened by daemontus over 4 years ago - 1 comment
Labels: bug