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

Merge branch 'main' into aggr_dsl Makefile CI #2582: Commit 9f83f49 pushed by shigoel
October 30, 2024 18:46 18m 59s aggr_dsl
aggr_dsl
October 30, 2024 18:46 18m 59s
feat: add new syntax for guided simp_mem Makefile CI #2581: Commit f4774cf pushed by bollu
October 30, 2024 16:10 19m 16s simp-mem-mem-omega-8
simp-mem-mem-omega-8
October 30, 2024 16:10 19m 16s
chore: Split out the finishing tactic aspect of simp_mem into mem_ome… Makefile CI #2580: Commit 25fffe0 pushed by shigoel
October 29, 2024 16:53 19m 53s main
main
October 29, 2024 16:53 19m 53s
chore: Split out the finishing tactic aspect of simp_mem into mem_omega [2/?] Makefile CI #2579: Pull request #231 synchronize by bollu
October 29, 2024 16:30 20m 46s simp-mem-mem-omega-2
simp-mem-mem-omega-2
October 29, 2024 16:30 20m 46s
chore: Split out the finishing tactic aspect of simp_mem into mem_ome… Makefile CI #2578: Commit 9f77c2a pushed by bollu
October 29, 2024 16:30 20m 35s simp-mem-mem-omega-2
simp-mem-mem-omega-2
October 29, 2024 16:30 20m 35s
chore: Split out the finishing tactic aspect of simp_mem into mem_omega [2/?] Makefile CI #2577: Pull request #231 synchronize by bollu
October 29, 2024 16:27 20m 43s simp-mem-mem-omega-2
simp-mem-mem-omega-2
October 29, 2024 16:27 20m 43s
chore: Split out the finishing tactic aspect of simp_mem into mem_ome… Makefile CI #2576: Commit e52376b pushed by bollu
October 29, 2024 16:27 19m 7s simp-mem-mem-omega-2
simp-mem-mem-omega-2
October 29, 2024 16:27 19m 7s
chore: Split out the finishing tactic aspect of simp_mem into mem_omega [2/?] Makefile CI #2575: Pull request #231 synchronize by bollu
October 28, 2024 20:53 20m 34s simp-mem-mem-omega-2
simp-mem-mem-omega-2
October 28, 2024 20:53 20m 34s
chore: merge main Makefile CI #2574: Commit 6008578 pushed by bollu
October 28, 2024 20:53 20m 12s simp-mem-mem-omega-2
simp-mem-mem-omega-2
October 28, 2024 20:53 20m 12s
feat: add new syntax for guided simp_mem Makefile CI #2573: Commit f7534ae pushed by bollu
October 28, 2024 20:41 21m 39s simp-mem-mem-omega-8
simp-mem-mem-omega-8
October 28, 2024 20:41 21m 39s
chore: fixup commit Makefile CI #2572: Commit 18d8b4b pushed by bollu
October 28, 2024 20:38 20m 16s simp-mem-mem-omega-8
simp-mem-mem-omega-8
October 28, 2024 20:38 20m 16s
chore: split out simp_mem to Arm/Memory/Common [1/?] (#230) Makefile CI #2571: Commit 3ac8c20 pushed by shigoel
October 28, 2024 19:52 21m 30s main
main
October 28, 2024 19:52 21m 30s
chore: split out simp_mem to Arm/Memory/Common [1/?] Makefile CI #2570: Pull request #230 synchronize by shigoel
October 28, 2024 18:56 21m 8s simp-mem-mem-omega
simp-mem-mem-omega
October 28, 2024 18:56 21m 8s
Merge branch 'main' into simp-mem-mem-omega Makefile CI #2569: Commit 87189b6 pushed by shigoel
October 28, 2024 18:56 20m 18s simp-mem-mem-omega
simp-mem-mem-omega
October 28, 2024 18:56 20m 18s
Clean up sym_block; account for blockSize in some Sym/Context functions Makefile CI #2568: Commit 45f4742 pushed by shigoel
October 24, 2024 19:28 21m 8s more_preprocessing
more_preprocessing
October 24, 2024 19:28 21m 8s
Add sym_block; manually aggregate basic blocks for SHA512; simulate S… Makefile CI #2567: Commit 8295aa5 pushed by shigoel
October 23, 2024 03:36 21m 13s more_preprocessing
more_preprocessing
October 23, 2024 03:36 21m 13s
WIP: Experimental method to aggregate state effects Makefile CI #2566: Pull request #239 synchronize by shigoel
October 21, 2024 16:52 17m 27s aggr_dsl
aggr_dsl
October 21, 2024 16:52 17m 27s
Minor comments Makefile CI #2565: Commit 421b76a pushed by shigoel
October 21, 2024 16:52 20m 38s aggr_dsl
aggr_dsl
October 21, 2024 16:52 20m 38s
WIP: Experimental method to aggregate state effects Makefile CI #2564: Pull request #239 synchronize by shigoel
October 21, 2024 16:13 21m 7s aggr_dsl
aggr_dsl
October 21, 2024 16:13 21m 7s
Merge branch 'main' into aggr_dsl Makefile CI #2563: Commit 8ab5f2a pushed by shigoel
October 21, 2024 16:13 19m 0s aggr_dsl
aggr_dsl
October 21, 2024 16:13 19m 0s
WIP: Experimental method to aggregate state effects Makefile CI #2562: Pull request #239 synchronize by shigoel
October 21, 2024 16:13 19m 58s aggr_dsl
aggr_dsl
October 21, 2024 16:13 19m 58s
Prove Expr.eq_true_of_denote Makefile CI #2561: Commit c23db62 pushed by shigoel
October 21, 2024 16:13 19m 21s aggr_dsl
aggr_dsl
October 21, 2024 16:13 19m 21s
chore: add pretty simp_mem conv based proof of memcpy Makefile CI #2560: Commit a9a2960 pushed by bollu
October 18, 2024 01:52 8m 55s simp-mem-mem-omega-8
simp-mem-mem-omega-8
October 18, 2024 01:52 8m 55s
refactor: reimplement initNextStep without evalTactic Makefile CI #2559: Commit 2f2093d pushed by alexkeizer
October 17, 2024 22:17 45m 4s replace-init_next_step
replace-init_next_step
October 17, 2024 22:17 45m 4s
refactor: rephrase the register frame-condition precondition as non-membership in a list of modified registers Makefile CI #2558: Pull request #242 synchronize by shigoel
October 17, 2024 20:43 18m 50s register-frame-condition-refactor
register-frame-condition-refactor
October 17, 2024 20:43 18m 50s