Stefan Ellmauthaler
31d6c88d90
Update issue templates
...
Add Issue Templates
2022-03-07 13:57:04 +01:00
Stefan Ellmauthaler
e4f67261b3
trying out devskim
2022-03-03 14:55:59 +01:00
Stefan Ellmauthaler
4f8d7c4bd5
Only one dependabot neeeded due to workspace
2022-03-03 13:42:14 +01:00
Stefan Ellmauthaler
f868bb0442
Update dependabot.yml
2022-03-03 13:39:08 +01:00
Stefan Ellmauthaler
b18bbe0ed4
Dependabot add bin folder
2022-03-01 14:53:26 +01:00
Stefan Ellmauthaler
93c15faa11
Add dependabot to check for updates on deps
2022-03-01 14:21:44 +01:00
Stefan Ellmauthaler
a17749be52
Removed non-linux tests
2022-02-28 12:55:55 +01:00
Stefan Ellmauthaler
fbafe8382f
Create pr.yml
2022-02-28 10:03:29 +01:00
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
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
e0ec47a314
testing autodeployment
...
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
2021-07-01 12:34:23 +02:00
