Skip to content

Actions: leanprover/LNSym

Actions

Makefile CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
makefile.yml
2,678 workflow runs
2,678 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: updateSHA512Prelude to use simp_mem with targeted rewrite Makefile CI #2532: Commit 34d1587 pushed by bollu
October 16, 2024 21:25 20m 19s simp-mem-mem-omega-8
simp-mem-mem-omega-8
October 16, 2024 21:25 20m 19s
feat: light-weight basic quotation macro Makefile CI #2531: Pull request #241 synchronize by alexkeizer
October 16, 2024 21:10 20m 58s quotelight
quotelight
October 16, 2024 21:10 20m 58s
Merge branch 'main' into quotelight Makefile CI #2530: Commit df920ed pushed by alexkeizer
October 16, 2024 21:09 18m 54s quotelight
quotelight
October 16, 2024 21:09 18m 54s
feat: working conv + simp_mem with goal state filtering Makefile CI #2529: Commit f0ee350 pushed by bollu
October 16, 2024 20:40 19m 53s simp-mem-mem-omega-8
simp-mem-mem-omega-8
October 16, 2024 20:40 19m 53s
WIP: trying out a non-trivial correctness goal for gcm_init_v8 (#173) Makefile CI #2528: Commit c7829f1 pushed by shigoel
October 16, 2024 20:29 19m 50s main
main
October 16, 2024 20:29 19m 50s
WIP: trying out a non-trivial correctness goal for gcm_init_v8 Makefile CI #2527: Pull request #173 synchronize by shigoel
October 16, 2024 20:16 20m 22s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
October 16, 2024 20:16 20m 22s
WIP: trying out a non-trivial correctness goal for gcm_init_v8 Makefile CI #2526: Pull request #173 synchronize by shigoel
October 16, 2024 19:40 9m 33s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
October 16, 2024 19:40 9m 33s
feat: light-weight basic quotation macro Makefile CI #2525: Pull request #241 synchronize by alexkeizer
October 16, 2024 19:38 20m 24s quotelight
quotelight
October 16, 2024 19:38 20m 24s
copyright blurb Makefile CI #2524: Commit 862ee8e pushed by alexkeizer
October 16, 2024 19:38 20m 15s quotelight
quotelight
October 16, 2024 19:38 20m 15s
feat: light-weight basic quotation macro Makefile CI #2523: Pull request #241 opened by alexkeizer
October 16, 2024 19:36 19m 10s quotelight
quotelight
October 16, 2024 19:36 19m 10s
chore: start plumbing in infra to filter out user hyps Makefile CI #2522: Commit 6dabc5d pushed by bollu
October 16, 2024 19:20 20m 40s simp-mem-mem-omega-8
simp-mem-mem-omega-8
October 16, 2024 19:20 20m 40s
feat: light-weight basic quotation macro Makefile CI #2521: Commit ef464bc pushed by alexkeizer
October 16, 2024 19:09 20m 31s quotelight
quotelight
October 16, 2024 19:09 20m 31s
feat: light-weight basic quotation macro Makefile CI #2520: Commit 030d555 pushed by alexkeizer
October 16, 2024 18:59 20m 16s quotelight
quotelight
October 16, 2024 18:59 20m 16s
WIP: trying out a non-trivial correctness goal for gcm_init_v8 Makefile CI #2519: Pull request #173 synchronize by shigoel
October 16, 2024 18:52 27m 52s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
October 16, 2024 18:52 27m 52s
chore: plumb through state for omega hypothesis filtering Makefile CI #2518: Commit 7923d44 pushed by bollu
October 16, 2024 18:28 20m 36s simp-mem-mem-omega-8
simp-mem-mem-omega-8
October 16, 2024 18:28 20m 36s
Revert "chore: conv mode interacts poorly with clear :(" Makefile CI #2517: Commit b66dba2 pushed by bollu
October 16, 2024 16:42 20m 45s simp-mem-mem-omega-8
simp-mem-mem-omega-8
October 16, 2024 16:42 20m 45s
chore: checkpoint Makefile CI #2516: Commit 26f7b85 pushed by bollu
October 16, 2024 16:37 9m 34s simp-mem-mem-omega-8
simp-mem-mem-omega-8
October 16, 2024 16:37 9m 34s
chore: conv mode interacts poorly with clear :( Makefile CI #2515: Commit 472a9ae pushed by bollu
October 16, 2024 09:07 9m 0s simp-mem-mem-omega-8
simp-mem-mem-omega-8
October 16, 2024 09:07 9m 0s
chore: add subgoals for targets we could not close automatically Makefile CI #2514: Commit 8e8a09f pushed by bollu
October 16, 2024 02:41 20m 24s simp-mem-mem-omega-8
simp-mem-mem-omega-8
October 16, 2024 02:41 20m 24s
refactor: change memory-effects theorem to a quantifier-free statement Makefile CI #2513: Pull request #224 synchronize by alexkeizer
October 15, 2024 20:15 19m 57s memory-effects-proof-as-mem-equals
memory-effects-proof-as-mem-equals
October 15, 2024 20:15 19m 57s
Apply suggestions from code review Makefile CI #2512: Commit 79d54e2 pushed by alexkeizer
October 15, 2024 20:15 20m 0s memory-effects-proof-as-mem-equals
memory-effects-proof-as-mem-equals
October 15, 2024 20:15 20m 0s
feat: add new syntax for guided simp_mem Makefile CI #2511: Commit 9a399dd pushed by bollu
October 15, 2024 19:40 20m 9s simp-mem-mem-omega-8
simp-mem-mem-omega-8
October 15, 2024 19:40 20m 9s
WIP: Experimental method to aggregate state effects Makefile CI #2510: Pull request #239 synchronize by shigoel
October 15, 2024 18:57 19m 52s aggr_dsl
aggr_dsl
October 15, 2024 18:57 19m 52s
Add note about why decide doesn't do a complete reduction (thanks, @a… Makefile CI #2509: Commit ad449b0 pushed by shigoel
October 15, 2024 18:57 19m 18s aggr_dsl
aggr_dsl
October 15, 2024 18:57 19m 18s
WIP: Experimental method to aggregate state effects Makefile CI #2508: Pull request #239 synchronize by shigoel
October 15, 2024 18:20 20m 42s aggr_dsl
aggr_dsl
October 15, 2024 18:20 20m 42s