ellmau/adf-obdd
1
0
Fork 0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00
Code Issues Projects Releases Wiki Activity
109 Commits 18 Branches 18 Tags
Commit Graph

29 Commits

Author SHA1 Message Date
Stefan Ellmauthaler
98753d696b
Add CI for develop branch (#62) 2022-05-04 16:12:50 +02:00
Stefan Ellmauthaler
0d4f9ff195
Add where related coding convention (#40) 
* Add where related coding convention to the CONTRIBUTING.md file
 2022-03-24 12:00:53 +01:00
Stefan Ellmauthaler
65835b5c81
Revert "Rename PR to a more verbose name" 
This reverts commit 187b3c453427f1355c28c0ad21c95773034f7c3c.

One template file is enough so far
 2022-03-15 13:14:29 +01:00
Stefan Ellmauthaler
187b3c4534
Rename PR to a more verbose name 2022-03-15 13:11:15 +01:00
Stefan Ellmauthaler
554522046c
Renamed PR template 2022-03-15 13:09:31 +01:00
Stefan Ellmauthaler
a03c5558d3
Add PR-Template 
Add basic checklists for a simple PR-template
 2022-03-15 13:05:55 +01:00
Stefan Ellmauthaler
80915b1df8
code-style and documentation tidying (#34) 
* Remove `unwrap()` from code
Remove `unwrap()` from the code (except tests).
Replaced it by either using `expect()` or handling the error more
gracefully.

* Improve documentation
Add examples on how to use the library
Add explanaitions on the dual use of crate::datatypes::Term
Relates to #33 

* Update README
* Add contributing guidelines
 2022-03-14 21:05:53 +01:00
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
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
Stefan Ellmauthaler
e0ec47a314 testing autodeployment 
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
 2021-07-01 12:34:23 +02:00