Skip to content

Actions: rpigor/librobdd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated documentation Test and verify VDS Project #17: Commit 7fdca50 pushed by rpigor
March 4, 2024 11:07 9m 48s master
master
March 4, 2024 11:07 9m 48s
Incremented reachability tests Test and verify VDS Project #16: Commit c4c461c pushed by rpigor
February 6, 2024 22:20 10m 6s master
master
February 6, 2024 22:20 10m 6s
Implemented some aesthetic improvements as suggested by Dr. Wedler Test and verify VDS Project #15: Commit 64db810 pushed by rpigor
February 6, 2024 17:35 9m 55s master
master
February 6, 2024 17:35 9m 55s
Added input support and some exceptions Test and verify VDS Project #14: Commit 8f0467f pushed by rpigor
February 6, 2024 00:52 10m 20s master
master
February 6, 2024 00:52 10m 20s
Added multiple reachability tests Test and verify VDS Project #13: Commit a241b74 pushed by rpigor
February 6, 2024 00:29 9m 27s master
master
February 6, 2024 00:29 9m 27s
Updated documentation Test and verify VDS Project #12: Commit 32e4f76 pushed by rpigor
February 5, 2024 21:08 9m 26s master
master
February 5, 2024 21:08 9m 26s
Implemented reachability analysis ignoring inputs Test and verify VDS Project #11: Commit fffe99e pushed by rpigor
February 4, 2024 13:54 9m 20s master
master
February 4, 2024 13:54 9m 20s
Added reachability constructor test Test and verify VDS Project #10: Commit a72b91d pushed by rpigor
February 4, 2024 13:05 8m 41s master
master
February 4, 2024 13:05 8m 41s
Added part 03 and implemented basic structures Test and verify VDS Project #9: Commit abea219 pushed by rpigor
February 2, 2024 10:53 9m 22s master
master
February 2, 2024 10:53 9m 22s
Fixed CTest in pipeline Test and verify VDS Project #8: Commit ae6fa04 pushed by rpigor
January 19, 2024 12:11 9m 57s master
master
January 19, 2024 12:11 9m 57s
Revamped README.md Test and verify VDS Project #7: Commit b3c683f pushed by rpigor
January 19, 2024 11:57 9m 56s master
master
January 19, 2024 11:57 9m 56s
Fixed Boost directory name Test and verify VDS Project #6: Commit e45fbe4 pushed by rpigor
January 4, 2024 20:14 9m 47s master
master
January 4, 2024 20:14 9m 47s
Updated pipeline to use Boost 1.84.0 library (supports boost::unorder… Test and verify VDS Project #5: Commit 75eacd2 pushed by rpigor
January 4, 2024 20:08 47s master
master
January 4, 2024 20:08 47s
Changed computed table implementation Test and verify VDS Project #4: Commit 212179a pushed by rpigor
January 4, 2024 19:21 49s master
master
January 4, 2024 19:21 49s
Included benchmark requirements in verification script Test and verify VDS Project #3: Commit 06df157 pushed by rpigor
December 28, 2023 21:57 1m 59s master
master
December 28, 2023 21:57 1m 59s
Added reference BDDs to verify implementation with GitHub Actions Test and verify VDS Project #2: Commit a208fed pushed by rpigor
December 21, 2023 11:58 2m 14s master
master
December 21, 2023 11:58 2m 14s
Included benchmarking and verification in CI/CD pipeline Test and verify VDS Project #1: Commit a49122d pushed by rpigor
December 21, 2023 11:36 1m 19s master
master
December 21, 2023 11:36 1m 19s
Updated benchmarking and verification tools to support complemented e… Test VDS Project #70: Commit 5fa9527 pushed by rpigor
December 21, 2023 09:50 1m 24s master
master
December 21, 2023 09:50 1m 24s
Fixed computed table using wrong triple as key Test VDS Project #69: Commit f449d81 pushed by rpigor
December 20, 2023 11:38 1m 5s master
master
December 20, 2023 11:38 1m 5s
Added counterexample for node with complemented edge Test VDS Project #68: Commit e8e29a5 pushed by rpigor
December 20, 2023 11:34 1m 11s master
master
December 20, 2023 11:34 1m 11s
Included optimization flag and minor tweaks Test VDS Project #67: Commit 613cbc6 pushed by rpigor
December 17, 2023 18:23 1m 21s master
master
December 17, 2023 18:23 1m 21s
Removed unnecessary label in computed table node Test VDS Project #66: Commit f589755 pushed by rpigor
December 14, 2023 19:02 1m 6s master
master
December 14, 2023 19:02 1m 6s
Fixed bug in ite method related to complemented nodes Test VDS Project #65: Commit 21aba14 pushed by rpigor
December 14, 2023 18:22 1m 9s master
master
December 14, 2023 18:22 1m 9s
Implemented example BDD diagram and improved tests Test VDS Project #64: Commit d221269 pushed by rpigor
December 14, 2023 18:21 1m 23s master
master
December 14, 2023 18:21 1m 23s
Improved BDD rendering for nodes with complemented edges Test VDS Project #63: Commit 46bd4d5 pushed by rpigor
December 14, 2023 13:14 1m 34s master
master
December 14, 2023 13:14 1m 34s