13 Commits

Author	SHA1	Message	Date
Stefan Ellmauthaler	c6837ff7eb	Feature/issue 22 extra binary (#24) ... Split lib and bin into two directories * modified workflow, readmes, documentation, ... * excluded flake.lock from the package * SET new patch version	2022-02-23 15:06:46 +01:00
Stefan Ellmauthaler	0d5577e251	Implementing nom-based parser (#5) ... * Implemented a nom-based parser to read the adf * Grounded semantics (naive) re-implemented * Docs added * Updated Cargo.toml with more Manifest information * Version update * Added sort-methods to the parser, so the var-order can be adjusted * Added sort functionality to the main function * Added adf-instances as a submodule to the res-folder * Added README information for the extended integration tests * Rewritten main-function Closes #3	2022-01-03 15:21:11 +01:00
Stefan Ellmauthaler	a34e711266	switch to tarpaulin	2021-12-16 20:19:34 +01:00
Stefan Ellmauthaler	5c47956123	added gcov flag	2021-12-16 20:05:42 +01:00
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
Stefan Ellmauthaler	b97dc027d1	Merge branch 'main' of github.com:ellmau/adf-obdd	2021-07-20 16:53:38 +02:00
Stefan Ellmauthaler	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
Stefan Ellmauthaler	40e0aaa83e	workflow file in wrong directory ... Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>	2021-07-01 12:36:08 +02:00