Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / csvoss/syndra issues and pull requests
#37 - Fix `pip install syndra`
Issue -
State: open - Opened by csvoss almost 8 years ago
- 5 comments
#36 - Fix INDRA integration to work with new engine
Issue -
State: open - Opened by csvoss almost 8 years ago
#35 - Extra functionality for refinements over labels
Issue -
State: open - Opened by csvoss almost 8 years ago
Labels: enhancement
#34 - More features in structure.py and predicate.py
Issue -
State: closed - Opened by csvoss almost 8 years ago
- 1 comment
#33 - Create boilerplate for library.py
Issue -
State: closed - Opened by csvoss almost 8 years ago
- 1 comment
#32 - Make this a pip-installable package
Issue -
State: closed - Opened by csvoss almost 8 years ago
- 1 comment
#31 - Fix tests to work with slightly-changed API
Issue -
State: closed - Opened by csvoss almost 8 years ago
- 2 comments
Labels: bug
#30 - Change Node to be an enum
Issue -
State: closed - Opened by csvoss almost 8 years ago
- 1 comment
Labels: bug
#29 - Feature idea: print models with Kappaesque syntax
Issue -
State: open - Opened by csvoss almost 8 years ago
- 2 comments
Labels: enhancement
#28 - Guide for integrating Syndra with new KRs
Issue -
State: open - Opened by csvoss almost 8 years ago
Labels: enhancement
#27 - Example workflow for using Syndra
Issue -
State: closed - Opened by csvoss almost 8 years ago
- 1 comment
Labels: enhancement
#26 - Stable API for Syndra, with documentation
Issue -
State: closed - Opened by csvoss almost 8 years ago
- 3 comments
Labels: enhancement
#25 - Solve Occam's Razor problem
Issue -
State: closed - Opened by csvoss almost 8 years ago
- 2 comments
Labels: bug
#24 - Debug system which should produce phosphorylation rule
Issue -
State: closed - Opened by csvoss almost 8 years ago
- 5 comments
#23 - Make solver.py behave like z3's solver, but for Syndra predicates instead of z3 predicates
Issue -
State: closed - Opened by csvoss almost 8 years ago
- 1 comment
#22 - Causality demo with Walter's example
Issue -
State: open - Opened by csvoss almost 8 years ago
Labels: enhancement
#21 - INDRA updates
Pull Request -
State: closed - Opened by bgyori about 8 years ago
- 2 comments
#20 - Fix importing of INDRA dependencies
Issue -
State: closed - Opened by csvoss about 8 years ago
- 6 comments
#19 - More more tests!
Issue -
State: closed - Opened by csvoss over 8 years ago
#18 - More tests!
Issue -
State: closed - Opened by csvoss over 8 years ago
- 1 comment
#17 - Write abstract for Masterworks by March 29
Issue -
State: closed - Opened by csvoss over 8 years ago
#16 - Re-check atomic_predicate.py
Issue -
State: closed - Opened by csvoss over 8 years ago
#15 - Replace higher-order functions with functions over arrays
Issue -
State: closed - Opened by csvoss over 8 years ago
- 1 comment
#14 - Thesis outline
Issue -
State: closed - Opened by csvoss over 8 years ago
- 3 comments
#13 - Implement converting z3 models into nice manageable Python set-like objects
Issue -
State: closed - Opened by csvoss over 8 years ago
- 1 comment
#12 - Implement Forall and Exists in predicate.py
Issue -
State: closed - Opened by csvoss over 8 years ago
- 1 comment
#11 - Implement a system to manage labels intelligently
Issue -
State: closed - Opened by csvoss over 8 years ago
- 3 comments
#10 - Create demo-explanation for PI meeting
Issue -
State: closed - Opened by csvoss over 8 years ago
#9 - Prove theorem about only needing a bounded-horizon to find nonlocal causal relationships
Issue -
State: closed - Opened by csvoss over 8 years ago
#8 - Test deduction rules: confirm A phosphorylates B + phosphorylated B is active => A activates B
Issue -
State: closed - Opened by csvoss over 8 years ago
#7 - Additional macros (policies)
Issue -
State: closed - Opened by csvoss over 8 years ago
- 2 comments
#6 - First stab at a macro (policy): macro for "A binds B"
Issue -
State: closed - Opened by csvoss over 8 years ago
- 2 comments
#5 - Get private work wiki up and running
Issue -
State: closed - Opened by jeanqasaur over 8 years ago
- 1 comment
Labels: wontfix
#4 - Meet with KR and INDRA people about current state of things
Issue -
State: closed - Opened by jeanqasaur over 8 years ago
- 1 comment
#3 - Bare-bones draft
Issue -
State: closed - Opened by jeanqasaur over 8 years ago
- 2 comments
#2 - First stab at PySB->Kappa translation
Issue -
State: closed - Opened by jeanqasaur over 8 years ago
Labels: wontfix
#1 - First stab at PySB grammar
Issue -
State: closed - Opened by jeanqasaur over 8 years ago
- 1 comment
Labels: wontfix