Skip to content

Actions: lsils/mockturtle

Coverage CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
121 workflow runs
121 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replace #defines with C++ constants and inline functions in `exor.h…
Coverage CI #653: Commit 51dd6a0 pushed by aletempiac
September 24, 2024 08:34 21m 41s master
September 24, 2024 08:34 21m 41s
Refactor(Report): Mismatch in new added report (#660)
Coverage CI #652: Commit f263510 pushed by aletempiac
September 24, 2024 05:57 30m 2s master
September 24, 2024 05:57 30m 2s
Refactor(Changelog): Implemented aig_resubstitution2 instead of `xa…
Coverage CI #651: Commit ff186c4 pushed by aletempiac
September 24, 2024 05:57 21m 40s master
September 24, 2024 05:57 21m 40s
Refactor(Report): Mismatch in new added report
Coverage CI #650: Pull request #660 opened by wjrforcyber
September 24, 2024 03:07 20m 56s wjrforcyber:mismatch_in_report
September 24, 2024 03:07 20m 56s
Refactor(Changelog): Mismatch in changelog
Coverage CI #649: Pull request #659 opened by wjrforcyber
September 24, 2024 02:22 20m 59s wjrforcyber:change_log_mismatch
September 24, 2024 02:22 20m 59s
Replace #defines with C++ constants and inline functions in exor.h
Coverage CI #648: Pull request #656 synchronize by rocallahan
September 23, 2024 22:11 28m 13s rocallahan:exor-defines
September 23, 2024 22:11 28m 13s
Replace #defines with C++ constants and inline functions in exor.h
Coverage CI #647: Pull request #656 synchronize by rocallahan
September 23, 2024 22:08 21m 28s rocallahan:exor-defines
September 23, 2024 22:08 21m 28s
Adding XAG resub and improving AIG resub (#658)
Coverage CI #646: Commit 6ba3c34 pushed by aletempiac
September 23, 2024 15:30 21m 25s master
September 23, 2024 15:30 21m 25s
Adding XAG resub and improving AIG resub
Coverage CI #645: Pull request #658 synchronize by aletempiac
September 23, 2024 15:03 21m 34s enhance_resub
September 23, 2024 15:03 21m 34s
Adding XAG resub and improving AIG resub
Coverage CI #644: Pull request #658 opened by aletempiac
September 23, 2024 14:57 20m 38s enhance_resub
September 23, 2024 14:57 20m 38s
Replace #defines with C++ constants and inline functions in exor.h
Coverage CI #643: Pull request #656 synchronize by rocallahan
August 2, 2024 04:41 21m 55s rocallahan:exor-defines
August 2, 2024 04:41 21m 55s
Run tests with ASAN
Coverage CI #641: Pull request #647 synchronize by rocallahan
July 16, 2024 00:45 22m 11s rocallahan:support-asan
July 16, 2024 00:45 22m 11s
Clean up handling of temporary files in test suite (#652)
Coverage CI #640: Commit b78357b pushed by costamag
July 15, 2024 06:35 22m 11s master
July 15, 2024 06:35 22m 11s
Avoid serializing/deserializing uninitialized slots (#651)
Coverage CI #637: Commit da7c921 pushed by costamag
July 15, 2024 02:03 21m 35s master
July 15, 2024 02:03 21m 35s
Initialize ctrl_ with its correct size (#653)
Coverage CI #636: Commit 6534adf pushed by costamag
July 15, 2024 00:19 21m 59s master
July 15, 2024 00:19 21m 59s
Use std::stable_sort instead of std::sort everywhere (#655)
Coverage CI #635: Commit ebf35c2 pushed by costamag
July 14, 2024 23:16 22m 16s master
July 14, 2024 23:16 22m 16s
Make lbool explicitly signed (#650)
Coverage CI #634: Commit 91e15a9 pushed by costamag
July 11, 2024 22:14 22m 36s master
July 11, 2024 22:14 22m 36s
Use std::stable_sort instead of std::sort everywhere
Coverage CI #633: Pull request #655 opened by rocallahan
July 3, 2024 02:06 22m 22s rocallahan:stable-sort
July 3, 2024 02:06 22m 22s
Initialize ctrl_ with its correct size
Coverage CI #630: Pull request #653 opened by rocallahan
July 2, 2024 02:05 21m 11s rocallahan:init-ctrl
July 2, 2024 02:05 21m 11s