1
0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00

9 Commits

Author SHA1 Message Date
Stefan Ellmauthaler
2ee77a49de
Update grcov.yml 2021-12-16 16:10:57 +01:00
Stefan Ellmauthaler
b51165d8e8
Create grcov.yml 2021-12-16 16:05:28 +01:00
Stefan Ellmauthaler
50131edd1d
No fast build without license/readme any more 2021-07-20 17:42:03 +02:00
Stefan Ellmauthaler
50c606a6c8
Update build.yml 2021-07-20 17:28:48 +02:00
b97dc027d1 Merge branch 'main' of github.com:ellmau/adf-obdd 2021-07-20 16:53:38 +02:00
275adbe7f1 Tidied up the application
added documentation
added clap for program argument handling
fully clippy approved (except where it shall not be changed)
updated workflow for win and linux builds

Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
2021-07-20 16:51:14 +02:00
Stefan Ellmauthaler
10efb88f87
Update build.yml
added LICENSE to the package
2021-07-05 10:44:41 +02:00
Stefan Ellmauthaler
759e5b1bda
Update build.yml 2021-07-02 14:59:42 +02:00
40e0aaa83e workflow file in wrong directory
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
2021-07-01 12:36:08 +02:00