Stefan Ellmauthaler
fea31f1590
Update build.yml ( #91 )
2022-08-02 15:55:30 +02:00
Stefan Ellmauthaler
1596dc6818
Prepare files to publish the adf-bdd-bin package ( #89 )
...
* Prepare files to publish the adf-bdd-bin package
2022-08-02 15:09:48 +02:00
Stefan Ellmauthaler
45700d7224
Create combine-prs.yml ( #86 )
...
* add a combine-prs action (see [here](https://github.com/hrvey/combine-prs-workflow ) for further details) to handle dependabot updates with less merge-checks
2022-08-01 23:35:47 +02:00
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
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
187b3c4534
Rename PR to a more verbose name
2022-03-15 13:11:15 +01:00
554522046c
Renamed PR template
2022-03-15 13:09:31 +01:00
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
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
