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
#58 - Update regulation constraint algorithms to allow a BDD node limit
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
#44 - Decide how to deal with projected iteration and functions
Issue -
State: open - Opened by daemontus over 1 year ago
#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