Skip to content

Actions: leanprover/LNSym

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc.yml
154 workflow runs
154 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: delete bv_omega', reuse bv_omega (#194) docs #104: Commit ca0ca01 pushed by shigoel
September 26, 2024 17:53 7m 14s main
main
September 26, 2024 17:53 7m 14s
chore: make simp_mem less aggressive, was timing out (#188) docs #103: Commit 038811f pushed by shigoel
September 26, 2024 15:22 7m 24s main
main
September 26, 2024 15:22 7m 24s
refactor: remove SymContext.h_err? field, move `addGoalsForMissingH… docs #102: Commit b30d765 pushed by shigoel
September 26, 2024 01:37 7m 4s main
main
September 26, 2024 01:37 7m 4s
feat: benchmark setup (#183) docs #101: Commit 4414dc5 pushed by shigoel
September 26, 2024 00:19 7m 1s main
main
September 26, 2024 00:19 7m 1s
refactor: cleanup popcount proof (#168) docs #100: Commit c30cf55 pushed by shigoel
September 26, 2024 00:04 7m 12s main
main
September 26, 2024 00:04 7m 12s
feat: Correctness of Memcpy program (#138) docs #99: Commit bbd3075 pushed by shigoel
September 25, 2024 15:47 7m 37s main
main
September 25, 2024 15:47 7m 37s
refactor: incorporate an AxEffects field in SymContext, introduce `Sy… docs #98: Commit 26b5da0 pushed by shigoel
September 25, 2024 13:07 6m 37s main
main
September 25, 2024 13:07 6m 37s
Add workflow to check for presence of copyright headers (#185) docs #97: Commit 27a2f3b pushed by shigoel
September 24, 2024 18:37 6m 6s main
main
September 24, 2024 18:37 6m 6s
Remove cadical build/install in workflows (#186) docs #96: Commit 1a642b2 pushed by shigoel
September 24, 2024 18:27 6m 3s main
main
September 24, 2024 18:27 6m 3s
feat: add option in LnSymSimpContext to add arbitrary expressions t… docs #95: Commit 2cbfcdd pushed by shigoel
September 23, 2024 01:42 6m 43s main
main
September 23, 2024 01:42 6m 43s
refactor: rename SymM to StepThmsM (#175) docs #94: Commit d6f7a8e pushed by shigoel
September 22, 2024 20:14 6m 44s main
main
September 22, 2024 20:14 6m 44s
chore: remove withoutHyp (#176) docs #93: Commit d7484b5 pushed by shigoel
September 22, 2024 20:01 6m 29s main
main
September 22, 2024 20:01 6m 29s
Reason about one block of SHA512 (#174) docs #92: Commit 43c558c pushed by shigoel
September 20, 2024 23:59 6m 35s main
main
September 20, 2024 23:59 6m 35s
Use structural recursion and rfl (#158) docs #91: Commit 79a5cc1 pushed by shigoel
September 20, 2024 21:36 6m 21s main
main
September 20, 2024 21:36 6m 21s
chore: rewrite semantics to not have pattern match on structure (#171) docs #90: Commit f69c71f pushed by shigoel
September 20, 2024 21:24 7m 12s main
main
September 20, 2024 21:24 7m 12s
chore: Switch to Std.HashMap (#172) docs #89: Commit 31a381d pushed by shigoel
September 19, 2024 21:37 7m 0s main
main
September 19, 2024 21:37 7m 0s
feat: Decidable instances for mem_legal', mem_subset', mem_separate' … docs #88: Commit 9580cd7 pushed by shigoel
September 19, 2024 16:52 6m 20s main
main
September 19, 2024 16:52 6m 20s
feat: increase simp_mem power by trying to close goals with omega [6/… docs #87: Commit 361f6ab pushed by shigoel
September 19, 2024 16:40 7m 20s main
main
September 19, 2024 16:40 7m 20s
feat: add tactic to skip proof checking during development. [PR 5/? f… docs #86: Commit 0661d6a pushed by shigoel
September 19, 2024 16:16 7m 2s main
main
September 19, 2024 16:16 7m 2s
chore: add q0..4 accessors for registers [4/? memcpy] (#166) docs #85: Commit 5f6bd3b pushed by shigoel
September 19, 2024 03:09 7m 25s main
main
September 19, 2024 03:09 7m 25s
feat: More lemmas about memory separate for memcpy. [3/? for memcpy] … docs #84: Commit 5ec5b07 pushed by shigoel
September 18, 2024 23:01 7m 7s main
main
September 18, 2024 23:01 7m 7s
feat: bitvec lemmas for memcpy [1/? memcpy] (#163) docs #83: Commit c3c6ad4 pushed by shigoel
September 18, 2024 22:51 6m 17s main
main
September 18, 2024 22:51 6m 17s
feat: add lemma: Z flag = 1 iff value = 0. [2/? memcpy] (#164) docs #82: Commit bd89907 pushed by shigoel
September 18, 2024 22:28 6m 18s main
main
September 18, 2024 22:28 6m 18s
Popcount32 functional correctness and (non)effects characterization (… docs #81: Commit 3cd9d3e pushed by shigoel
September 18, 2024 20:15 6m 13s main
main
September 18, 2024 20:15 6m 13s
feat: ofBool_getLsbD normalization rule for bv_decide (#160) docs #80: Commit 2cfa904 pushed by shigoel
September 17, 2024 21:47 6m 52s main
main
September 17, 2024 21:47 6m 52s