Skip to content

Actions: verse-lab/veil

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
112 workflow runs
112 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix: remove depth0 instance replace, and improve its proof constructi… CI #168: Commit 85cbe63 pushed by zqy1018
24m 41s main
main
24m 41s
fix: simplify Decidable instance neutralization CI #167: Pull request #99 opened by zqy1018
29m 39s fix/replacing-instances
fix/replacing-instances
29m 39s
perf: pluggable seen set for the parallel search, with verified HAMT … CI #166: Commit b813e64 pushed by zqy1018
29m 55s main
main
29m 55s
perf: pluggable seen set for the parallel search, with verified HAMT shards CI #165: Pull request #98 opened by zqy1018
26m 23s perf/make-seenset-configurable
perf/make-seenset-configurable
26m 23s
perf: do not log picks during the model checker's search (#97) CI #164: Commit ccde8e6 pushed by zqy1018
22m 21s main
main
22m 21s
perf: do not log picks during the model checker's search CI #163: Pull request #97 opened by zqy1018
20m 40s perf/do-not-log-during-search
perf/do-not-log-during-search
20m 40s
feat: allow configuring fingerprint type, with Nat now being defaul… CI #162: Commit 21e7c0b pushed by zqy1018
18m 28s main
main
18m 28s
feat: allow configuring fingerprint type, with Nat now being default CI #161: Pull request #96 opened by zqy1018
22m 53s perf/use-nat-as-fingerprint-type-by-default
perf/use-nat-as-fingerprint-type-by-default
22m 53s
fix: give ghost functions attributes so that verification tactics can handle them CI #160: Pull request #95 synchronize by zqy1018
3m 36s fix/ghost-function-unfold
fix/ghost-function-unfold
3m 36s
fix: simplify Decidable instance neutralization CI #159: Pull request #93 synchronize by zqy1018
4m 42s fix/replacing-instances
fix/replacing-instances
4m 42s
fix: generate LocalRProp-like instances for ghost functions (#92) CI #158: Commit 7484d79 pushed by zqy1018
22m 53s main
main
22m 53s
fix: give ghost functions attributes so that verification tactics can handle them CI #157: Pull request #95 opened by zqy1018
23m 34s fix/ghost-function-unfold
fix/ghost-function-unfold
23m 34s
fix: simplify Decidable instance neutralization CI #156: Pull request #93 opened by zqy1018
21m 48s fix/replacing-instances
fix/replacing-instances
21m 48s
fix: generate LocalRProp-like instances for ghost functions CI #155: Pull request #92 opened by zqy1018
19m 25s fix/local-optimization-fixes
fix/local-optimization-fixes
19m 25s
fix: corner cases in HO quantifiers pushing and check (#91) CI #154: Commit e82c090 pushed by zqy1018
18m 5s main
main
18m 5s
fix: corner cases in HO quantifiers pushing and check CI #153: Pull request #91 opened by zqy1018
19m 35s fix/HO-push-and-check
fix/HO-push-and-check
19m 35s
Fix WP compaction branch explosion (#90) CI #152: Commit d05518f pushed by zqy1018
21m 46s main
main
21m 46s
Fix WP compaction branch explosion CI #151: Pull request #90 opened by zqy1018
26m 31s fix/wp-compaction-branch-explosion
fix/wp-compaction-branch-explosion
26m 31s
fix: use veil_apply_local_* in unveil (#89) CI #150: Commit c5d59da pushed by zqy1018
15m 36s main
main
15m 36s
fix: use veil_apply_local_* in unveil CI #149: Pull request #89 opened by zqy1018
15m 35s fix/unveil-basing-on-veil-apply-local-new
fix/unveil-basing-on-veil-apply-local-new
15m 35s
perf: let tr produce the transitions already split into successes a… CI #148: Commit 31f1418 pushed by zqy1018
20m 51s main
main
20m 51s
perf: let tr produce the transitions already split into successes and assertion failures CI #147: Pull request #88 opened by zqy1018
19m 0s perf/more-deforestation
perf/more-deforestation
19m 0s
perf: decide bounded quantifiers with loops specialized to the predic… CI #146: Commit 25a1fbb pushed by zqy1018
29m 44s main
main
29m 44s
perf: decide bounded quantifiers with loops specialized to the predicate CI #145: Pull request #87 opened by zqy1018
12m 44s perf/better-decidable-instances-on-quantifiers
perf/better-decidable-instances-on-quantifiers
12m 44s
perf: run the actions of all labels in one specialized loop (#86) CI #144: Commit 44ecc41 pushed by zqy1018
34m 41s main
main
34m 41s