1
0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-21 09:49:38 +01:00

3 Commits

Author SHA1 Message Date
Stefan Ellmauthaler
bc21ecabc7
Add a channel to inform other threads about bdd updates (#95)
* Add a channel to inform other threads about bdd updates
* Redisign sender and receiver model for bdds
* Add options for both directions and allow to utilise none, one, or both at the same time.
2022-08-17 12:43:35 +02:00
Stefan Ellmauthaler
75a85203b0
Polish documentation (#51) 2022-04-21 14:18:59 +02:00
Stefan Ellmauthaler
20d59bc767
REORGANISE with workspace (#29)
Reorganise the structure of the repository to have a workspace with the library and the binary.
2022-03-03 13:37:14 +01:00