Skip to content

Actions: gradual-verification/gvc0

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
72 workflow runs
72 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #66 from gradual-verification/loop-perms Build #265: Commit 7f7842f pushed by conradz
August 5, 2024 17:12 5d 7h 2m 12s master
master
August 5, 2024 17:12 5d 7h 2m 12s
07-17-24G run raw and compiled data Build #264: Commit bce6556 pushed by jennalwise
July 24, 2024 02:43 4d 3h 30m 41s master
master
July 24, 2024 02:43 4d 3h 30m 41s
Properly scope dynamic loop permissions Build #263: Pull request #66 synchronize by conradz
July 22, 2024 18:54 1d 12h 37m 1s loop-perms
loop-perms
July 22, 2024 18:54 1d 12h 37m 1s
Update figure_13.json Build #262: Commit 4a2d890 pushed by jennalwise
July 15, 2024 21:50 1d 21h 13m 13s master
master
July 15, 2024 21:50 1d 21h 13m 13s
07-12-24 data run with compiled data Build #261: Commit fd7114d pushed by jennalwise
July 15, 2024 20:11 1d 22h 51m 58s master
master
July 15, 2024 20:11 1d 22h 51m 58s
Properly scope dynamic loop permissions Build #260: Pull request #66 synchronize by conradz
July 15, 2024 07:02 1d 0h 28m 43s loop-perms
loop-perms
July 15, 2024 07:02 1d 0h 28m 43s
Properly scope dynamic loop permissions Build #259: Pull request #66 synchronize by conradz
July 13, 2024 19:03 1d 12h 27m 36s loop-perms
loop-perms
July 13, 2024 19:03 1d 12h 27m 36s
Properly scope dynamic loop permissions Build #258: Pull request #66 opened by conradz
July 13, 2024 01:56 1d 5h 34m 12s loop-perms
loop-perms
July 13, 2024 01:56 1d 5h 34m 12s
Always add variable to capture result of non-void invoke and simplify… Build #257: Commit 7aeb1f4 pushed by conradz
June 20, 2024 20:48 2d 12h 29m 51s master
master
June 20, 2024 20:48 2d 12h 29m 51s
Issue #2: Changed parser to distinguish keywords from identifiers. Build #256: Commit 4c50b40 pushed by cliu369
June 11, 2024 22:06 1d 9h 24m 18s master
master
June 11, 2024 22:06 1d 9h 24m 18s
added new c0 program addTwo Build #255: Commit 88075d4 pushed by pgupta751
June 3, 2024 14:02 7m 33s master
master
June 3, 2024 14:02 7m 33s
Merge pull request #60 from gradual-verification/recreate-multiple Build #254: Commit a50147b pushed by icmccorm
November 29, 2023 14:17 7m 42s master
master
November 29, 2023 14:17 7m 42s
Allow multiple files in DefaultMode Build #253: Pull request #61 opened by samestep
November 21, 2023 00:00 7m 40s default-mode-multiple
default-mode-multiple
November 21, 2023 00:00 7m 40s
Allow multiple --recreate permutations at once Build #252: Pull request #60 opened by samestep
November 19, 2023 20:18 7m 48s recreate-multiple
recreate-multiple
November 19, 2023 20:18 7m 48s
new data from 11-15-23 benchmark run Build #251: Commit b7760e9 pushed by jennalwise
November 19, 2023 01:33 7m 42s master
master
November 19, 2023 01:33 7m 42s
new full run config Build #250: Commit d67bafa pushed by jennalwise
November 16, 2023 06:34 7m 40s master
master
November 16, 2023 06:34 7m 40s
remove last print stmt from debugging benchmark executor Build #249: Commit 02f885f pushed by jennalwise
November 16, 2023 05:45 8m 18s master
master
November 16, 2023 05:45 8m 18s
list data from 11-15-23 for inspection Build #248: Commit e0116a0 pushed by jennalwise
November 16, 2023 04:15 1h 42m 16s master
master
November 16, 2023 04:15 1h 42m 16s
fresh run eval tag Build #247: Commit d48cf68 pushed by jennalwise
November 16, 2023 03:41 7m 31s master
master
November 16, 2023 03:41 7m 31s
removed prints for testing selectvisitor + baseline checkers; added p… Build #246: Commit 46b2574 pushed by jennalwise
November 16, 2023 03:40 8m 2s master
master
November 16, 2023 03:40 8m 2s
new tag for fresh run of list for testing benchmarkexecutor Build #245: Commit a280fe3 pushed by jennalwise
November 16, 2023 00:21 7m 42s master
master
November 16, 2023 00:21 7m 42s
Hacky solution to issue 59: uses a fresh IR generated from source tex… Build #244: Commit 8a9cc41 pushed by jennalwise
November 16, 2023 00:19 7m 46s master
master
November 16, 2023 00:19 7m 46s
fixed test cases for change in numfields count from issue 58 fix Build #243: Commit 875e2d6 pushed by jennalwise
November 15, 2023 23:48 7m 52s master
master
November 15, 2023 23:48 7m 52s
fix issue 58 pt3 - struct count does not include _id Build #242: Commit 65f0df4 pushed by jennalwise
November 15, 2023 04:49 7m 52s master
master
November 15, 2023 04:49 7m 52s
new clean run for benchmarks Build #241: Commit 604fa64 pushed by jennalwise
November 15, 2023 01:35 7m 55s master
master
November 15, 2023 01:35 7m 55s