Skip to content

Actions: logsem/clutch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
794 workflow runs
794 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

nit CI #191: Commit 5086eb3 pushed by hei411
March 5, 2024 15:27 15m 34s main
main
March 5, 2024 15:27 15m 34s
First few lines of seriesc finite filter 2 CI #190: Commit dfb845a pushed by hei411
March 5, 2024 14:56 15m 12s main
main
March 5, 2024 14:56 15m 12s
reduce arcoupl rev lemma to two lemmas on finite types CI #189: Commit 45bded9 pushed by hei411
March 5, 2024 14:14 15m 23s main
main
March 5, 2024 14:14 15m 23s
Manipulation of final bit of ARcoupl dunif rev CI #188: Commit d3b9a17 pushed by hei411
March 5, 2024 10:15 15m 23s main
main
March 5, 2024 10:15 15m 23s
add two bind lemmas from paper CI #187: Commit b97db5c pushed by hei411
March 5, 2024 09:51 15m 11s main
main
March 5, 2024 09:51 15m 11s
posssible useful lemma: seriesc_filter_finite CI #186: Commit fdf1d0a pushed by hei411
March 4, 2024 15:34 15m 40s main
main
March 4, 2024 15:34 15m 40s
Progress ARcoupl_dunif_leq_rev and inj CI #185: Commit f25b964 pushed by hei411
March 4, 2024 14:37 15m 41s main
main
March 4, 2024 14:37 15m 41s
Solve two lemmas on ARcoupl CI #184: Commit 40fe64d pushed by hei411
March 4, 2024 12:15 15m 18s main
main
March 4, 2024 12:15 15m 18s
completed ARcoupl_dunif CI #183: Commit 9e6bfda pushed by hei411
March 1, 2024 16:48 15m 24s main
main
March 1, 2024 16:48 15m 24s
update gitignore CI #182: Commit ebf97ee pushed by hei411
March 1, 2024 09:50 15m 14s main
main
March 1, 2024 09:50 15m 14s
simplify tpref specs CI #181: Commit 95aaf7a pushed by simongregersen
February 29, 2024 03:27 15m 28s main
main
February 29, 2024 03:27 15m 28s
change to stutter step CI #180: Pull request #24 opened by markusdemedeiros
February 28, 2024 20:36 1m 3s main
main
February 28, 2024 20:36 1m 3s
close equivalence proof for exec_ub_stutter_1 CI #179: Commit cf8b1b7 pushed by markusdemedeiros
February 28, 2024 19:31 15m 53s main
main
February 28, 2024 19:31 15m 53s
Delete theories/examples/coupon.v~ CI #178: Commit 77530a5 pushed by hei411
February 27, 2024 17:25 15m 17s main
main
February 27, 2024 17:25 15m 17s
Combine coll_free predicate, i.e. change map to gmap nat nat CI #177: Commit 7723324 pushed by hei411
February 27, 2024 15:02 15m 34s main
main
February 27, 2024 15:02 15m 34s
remove unfinished approx random walk example CI #176: Commit 82570ad pushed by markusdemedeiros
February 27, 2024 14:52 15m 17s main
main
February 27, 2024 14:52 15m 17s
change variable CI #175: Commit 6662af5 pushed by hei411
February 27, 2024 12:58 15m 7s main
main
February 27, 2024 12:58 15m 7s
Fix missing paren CI #174: Commit 95ee142 pushed by hei411
February 27, 2024 12:56 15m 17s main
main
February 27, 2024 12:56 15m 17s
cleanup CI #173: Commit 384fe37 pushed by hei411
February 27, 2024 12:31 7m 44s main
main
February 27, 2024 12:31 7m 44s
Two changes: 1. ublift and total ub lift now uses the Prop predicate … CI #172: Commit 06aa22a pushed by hei411
February 27, 2024 12:09 15m 18s main
main
February 27, 2024 12:09 15m 18s
re-order arguments to the graded lifting modality CI #171: Commit 2b94ca3 pushed by haselwarter
February 26, 2024 12:29 15m 30s main
main
February 26, 2024 12:29 15m 30s
walksat termination probability CI #170: Commit 5d1dd24 pushed by markusdemedeiros
February 23, 2024 12:43 15m 32s main
main
February 23, 2024 12:43 15m 32s
Change dependencies order. Not sure why this works CI #169: Commit 7bfdea1 pushed by hei411
February 22, 2024 17:03 15m 26s main
main
February 22, 2024 17:03 15m 26s
Attempt on ub_bind_adv. Not much progress CI #168: Commit 083407d pushed by hei411
February 22, 2024 15:02 11m 46s main
main
February 22, 2024 15:02 11m 46s
top-level proof for WalkSAT CI #167: Commit 28cf797 pushed by markusdemedeiros
February 22, 2024 14:33 15m 20s main
main
February 22, 2024 14:33 15m 20s
ProTip! You can narrow down the results and go further in time using created:<2024-02-22 or the other filters available.