Arash Vahidi (private)
Untitled project
JDD
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–7 of 7)
Title
T
P
Status
Votes
Assignee
Created
Updated
Actions
#7: Error handling
enhancement
major
resolved
Arash Vahidi (private)
2019-08-08
2019-08-15
#5: relProd uses buggy implementation
bug
major
resolved
2018-11-19
2019-08-08
#6: Question of multithread usage of JDD
proposal
minor
wontfix
Arash Vahidi (private)
2019-02-14
2019-03-14
#4: Cannot get DOT working
bug
major
resolved
Arash Vahidi (private)
2017-06-12
2017-06-13
#3: Release to maven central
proposal
minor
resolved
2017-01-14
2017-03-13
#2: cleanup for Simple2.java
bug
minor
resolved
2016-09-14
2016-09-20
#1: General question for using jdd library without any reduction rules
task
trivial
closed
Arash Vahidi (private)
2016-07-19
2016-07-26