Skip to content

Pull requests: spirali/haydi

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

ENH: add equivalence checking for domains
#32 opened Aug 17, 2017 by Kobzol Loading…
automatic graph construction
#27 opened Jul 27, 2017 by msurkovsky Loading…
WIP: take as a transformation
#26 opened Jul 10, 2017 by Kobzol Loading…
Extensions
#22 opened Mar 24, 2017 by msurkovsky Loading…
PN synthesis
#20 opened Jan 31, 2017 by msurkovsky Loading…
Rc/syncautomata
#17 opened Nov 2, 2016 by msurkovsky Loading…
Rc/fa
#9 opened Jun 5, 2016 by msurkovsky Loading…
ProTip! Exclude everything labeled bug with -label:bug.