Ecosyste.ms: Issues

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

GitHub / spirali/haydi issues and pull requests

#35 - ENH: add simple non-isomorphic graph benchmark

Pull Request - State: closed - Opened by Kobzol about 7 years ago - 1 comment

#35 - ENH: add simple non-isomorphic graph benchmark

Pull Request - State: closed - Opened by Kobzol about 7 years ago - 1 comment

#34 - REF: change ASet to USet

Pull Request - State: closed - Opened by Kobzol about 7 years ago

#33 - Fix a typo

Pull Request - State: closed - Opened by gavento over 7 years ago - 1 comment

#32 - ENH: add equivalence checking for domains

Pull Request - State: open - Opened by Kobzol over 7 years ago

#31 - CI: add flake8 to Travis

Pull Request - State: closed - Opened by Kobzol over 7 years ago - 5 comments

#30 - FIX: missing asserts in basictypes test

Pull Request - State: closed - Opened by Kobzol over 7 years ago

#29 - Iterable basictypes

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

#28 - FIX: has_node method on Graph

Pull Request - State: closed - Opened by msurkovsky over 7 years ago

#27 - automatic graph construction

Pull Request - State: open - Opened by msurkovsky over 7 years ago - 1 comment

#26 - WIP: take as a transformation

Pull Request - State: open - Opened by Kobzol over 7 years ago

#25 - session global removed + doctests/documentation edits

Pull Request - State: closed - Opened by Kobzol over 7 years ago - 1 comment

#24 - Eager domain materialization

Pull Request - State: closed - Opened by Kobzol over 7 years ago - 1 comment

#23 - Zip

Pull Request - State: closed - Opened by Kobzol over 7 years ago

#22 - Extensions

Pull Request - State: open - Opened by msurkovsky almost 8 years ago - 1 comment

#21 - OTF tracing and worker optimization

Pull Request - State: closed - Opened by Kobzol almost 8 years ago

#20 - PN synthesis

Pull Request - State: open - Opened by msurkovsky about 8 years ago

#19 - Chart

Pull Request - State: closed - Opened by Kobzol about 8 years ago

#18 - Python cluster scripts

Pull Request - State: closed - Opened by Kobzol about 8 years ago

#17 - Rc/syncautomata

Pull Request - State: open - Opened by msurkovsky over 8 years ago - 1 comment

#16 - Distributed documentation + doctest

Pull Request - State: closed - Opened by Kobzol over 8 years ago - 1 comment

#15 - Scheduler

Pull Request - State: closed - Opened by Kobzol over 8 years ago - 1 comment

#14 - Added timeout, logging and job tracking

Pull Request - State: closed - Opened by Kobzol over 8 years ago - 2 comments

#13 - ENH: added distributed progress bar

Pull Request - State: closed - Opened by Kobzol over 8 years ago

#12 - Next_step + partial results saving

Pull Request - State: closed - Opened by Kobzol over 8 years ago

#11 - Distributed parallelization + IT4I startup scripts

Pull Request - State: closed - Opened by Kobzol over 8 years ago

#10 - Distributed parallelization + IT4I startup scripts

Pull Request - State: closed - Opened by Kobzol over 8 years ago

#9 - Rc/fa

Pull Request - State: open - Opened by msurkovsky over 8 years ago

#8 - Rc/synthesis

Pull Request - State: closed - Opened by msurkovsky over 8 years ago - 1 comment

#7 - Rc/finata automata

Pull Request - State: closed - Opened by msurkovsky almost 9 years ago

#6 - FIX: correct use of actions in LTS

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

#5 - Bug: BFS compute in LTS

Issue - State: closed - Opened by msurkovsky almost 9 years ago - 1 comment

#4 - test_parallel.py::test_too_many_splits pass with an exception

Issue - State: closed - Opened by spirali almost 9 years ago - 1 comment

#3 - Named domains

Issue - State: closed - Opened by msurkovsky almost 9 years ago - 9 comments

#2 - Filters directly on domains.

Issue - State: closed - Opened by msurkovsky almost 9 years ago - 1 comment

#1 - Context, session and factories

Pull Request - State: closed - Opened by Kobzol almost 9 years ago