search

dionysos-dev / Dionysos.jl

MIT License
40 stars 16 forks source link

(Re)move BDD dir #319

Closed adrienbanse closed 9 months ago

adrienbanse commented 9 months ago

@blegat @JulienCalbert @egidioln

What would you think about moving the BDD folder to another directory dionysos-dev/BDDUtils.jl or egidioln/BDDUtils.jl (I believe @egidioln is the author).

It would be nice to remove once and for all BDDs from Dionysos but it's still interesting code so I feel bad removing it.

blegat commented 9 months ago

Yes, we could put everything in a separate repo dionysos-dev/BDDUtils.jl

egidioln commented 9 months ago

Sorry for the late reply @adrienbanse... I was not the author by the way :P

adrienbanse commented 9 months ago

I thought you were! No worries then, everything was moved to https://github.com/dionysos-dev/BDDUtils.jl I just wanted to give credits to the author in the new repo