Skip to content

Actions: vikramnitin9/rust_verification

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
1,804 workflow runs
1,804 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding script to calculate metrics for no. of verifying functions in a C file Test #1820: Pull request #131 synchronize by jyoo980
4m 8s yoo/count-verified-functions
yoo/count-verified-functions
4m 8s
Updatess Test #1819: Commit 58abcdc pushed by jyoo980
4m 11s yoo/count-verified-functions
yoo/count-verified-functions
4m 11s
Adding script to calculate metrics for no. of verifying functions in a C file Test #1818: Pull request #131 synchronize by jyoo980
3m 50s yoo/count-verified-functions
yoo/count-verified-functions
3m 50s
Fixing import error Test #1817: Commit 473b8fd pushed by jyoo980
3m 52s yoo/count-verified-functions
yoo/count-verified-functions
3m 52s
Adding script to calculate metrics for no. of verifying functions in a C file Test #1816: Pull request #131 synchronize by jyoo980
3m 44s yoo/count-verified-functions
yoo/count-verified-functions
3m 44s
Simplifying API for spec_complexity_util.py Test #1815: Commit dc3d02d pushed by jyoo980
3m 55s yoo/count-verified-functions
yoo/count-verified-functions
3m 55s
Adding script to calculate metrics for no. of verifying functions in a C file Test #1814: Pull request #131 synchronize by jyoo980
3m 51s yoo/count-verified-functions
yoo/count-verified-functions
3m 51s
Adding documentation Test #1813: Commit 9af2dcd pushed by jyoo980
3m 55s yoo/count-verified-functions
yoo/count-verified-functions
3m 55s
Adding script to calculate metrics for no. of verifying functions in a C file Test #1812: Pull request #131 synchronize by jyoo980
4m 3s yoo/count-verified-functions
yoo/count-verified-functions
4m 3s
Adding additional methods Test #1811: Commit 01dc7c8 pushed by jyoo980
3m 57s yoo/count-verified-functions
yoo/count-verified-functions
3m 57s
Added a C Function Mutator Test #1810: Pull request #132 opened by vikramnitin9
3m 53s vikram/c_mutator
vikram/c_mutator
3m 53s
Initial code Test #1809: Commit a058f11 pushed by vikramnitin9
4m 29s vikram/c_mutator
vikram/c_mutator
4m 29s
Implementing initial spec transformer Test #1808: Pull request #116 synchronize by jyoo980
4m 19s yoo/spec-transformer
yoo/spec-transformer
4m 19s
Merge branch 'main' into yoo/spec-transformer Test #1807: Commit 96e71f6 pushed by jyoo980
4m 3s yoo/spec-transformer
yoo/spec-transformer
4m 3s
Adding script to calculate metrics for no. of verifying functions in a C file Test #1806: Pull request #131 synchronize by jyoo980
4m 28s yoo/count-verified-functions
yoo/count-verified-functions
4m 28s
Adding tests for is_tautology Test #1805: Commit d59760c pushed by jyoo980
4m 30s yoo/count-verified-functions
yoo/count-verified-functions
4m 30s
Adding script to calculate metrics for no. of verifying functions in a C file Test #1804: Pull request #131 synchronize by jyoo980
4m 2s yoo/count-verified-functions
yoo/count-verified-functions
4m 2s
Adding spec_complexity_util.py Test #1803: Commit 19b19f9 pushed by jyoo980
3m 49s yoo/count-verified-functions
yoo/count-verified-functions
3m 49s
Adding script to calculate metrics for no. of verifying functions in a C file Test #1802: Pull request #131 synchronize by jyoo980
4m 3s yoo/count-verified-functions
yoo/count-verified-functions
4m 3s
Implementing get_verification_summary.py Test #1801: Commit 59d2420 pushed by jyoo980
3m 56s yoo/count-verified-functions
yoo/count-verified-functions
3m 56s
Apply Avocado stub renaming to client code (i.e., code under verification) Test #1800: Pull request #124 synchronize by jyoo980
4m 0s yoo/avocado-stubs-in-client-code
yoo/avocado-stubs-in-client-code
4m 0s
Fixing test Test #1799: Commit 4338584 pushed by jyoo980
3m 55s yoo/avocado-stubs-in-client-code
yoo/avocado-stubs-in-client-code
3m 55s
Adding script to calculate metrics for no. of verifying functions in a C file Test #1798: Pull request #131 opened by jyoo980
3m 52s yoo/count-verified-functions
yoo/count-verified-functions
3m 52s
Initial work for #130 Test #1797: Commit c7ac58f pushed by jyoo980
4m 2s yoo/count-verified-functions
yoo/count-verified-functions
4m 2s
Apply Avocado stub renaming to client code (i.e., code under verification) Test #1796: Pull request #124 synchronize by jyoo980
3m 42s yoo/avocado-stubs-in-client-code
yoo/avocado-stubs-in-client-code
3m 42s