Skip to content

Pull requests: tulip-control/dd

New pull request New
Clear current search query, filters, and sorts
2 Open 8 Closed
2 Open 8 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update cudd.pyx
#90 by SaiCharanMarrivada was closed Sep 28, 2024 Loading…
@slivingston
8
return reordering setting in cudd pick_iter bug An error, usually in the code.
#42 by slivingston was merged Apr 22, 2019 Loading… 0.5.5
1
@johnyf
1
added pruning method enhancement A new feature, an improvement, or other addition.
#34 by shaesaert was closed Feb 20, 2020 Loading… 0.5.5
@johnyf
17
Add some functions that are used by EdiSyn enhancement A new feature, an improvement, or other addition.
#26 by bcrwlngs was closed Mar 23, 2017 Loading…
@johnyf
3
autoref: fix compose() call bug An error, usually in the code.
#11 by lukasoyen was closed May 13, 2016 Loading…
@johnyf
4
Travis fix testing Related to tests of code, continuous integration, and related topics.
#6 by maweki was merged Nov 6, 2015 Loading…
@johnyf
1
2 3 compat enhancement A new feature, an improvement, or other addition.
#4 by maweki was closed Nov 6, 2015 Loading…
@johnyf
4
Correct small misprints in README documentation Adding or editing any form of documentation (e.g., documentation files, code comments).
#1 by slivingston was merged Jul 26, 2015 Loading…
@johnyf
ProTip! What’s not been updated in a month: updated:<2025-02-26.