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

4 Commits

Author SHA1 Message Date
Stefan Ellmauthaler
2112d71573
Delete build.rs 2022-01-03 17:46:13 +01:00
Stefan Ellmauthaler
21fdb2cd76
Implemented automated Test generation (#7)
Generates tests, based on the existence of test-instances in the `res/`-folder
2022-01-03 17:38:17 +01:00
02b1e4a94a
commented test-generator macro call 2022-01-03 15:32:05 +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