Skip to content

Actions: LeventErkok/sbv

Actions

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hlint.yml
294 workflow runs
294 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

KD: Make induction a tactic and generalize lint #521: Commit 6ce6437 pushed by LeventErkok
September 10, 2024 13:49 1m 9s master
master
September 10, 2024 13:49 1m 9s
KD RevLen: Generalize to arbitrary types lint #520: Commit 85ebd1c pushed by LeventErkok
September 10, 2024 13:19 1m 11s master
master
September 10, 2024 13:19 1m 11s
KD: Add reverse (length xs) = length xs proof. lint #519: Commit a8e6844 pushed by LeventErkok
September 10, 2024 13:14 1m 12s master
master
September 10, 2024 13:14 1m 12s
whitespace lint #518: Commit aac926f pushed by LeventErkok
September 9, 2024 22:24 1m 7s master
master
September 9, 2024 22:24 1m 7s
fix cex lint #517: Commit f2bed67 pushed by LeventErkok
September 9, 2024 16:03 1m 15s master
master
September 9, 2024 16:03 1m 15s
Match new output lint #516: Commit aaf3b83 pushed by LeventErkok
September 9, 2024 01:48 1m 9s master
master
September 9, 2024 01:48 1m 9s
Update output lint #515: Commit 99c29a2 pushed by LeventErkok
September 9, 2024 00:34 1m 13s master
master
September 9, 2024 00:34 1m 13s
Update AppendRev.hs lint #514: Commit 00bac5e pushed by LeventErkok
September 8, 2024 23:35 1m 11s master
master
September 8, 2024 23:35 1m 11s
KD: Simplify root of trust reasoning lint #513: Commit dbd37e0 pushed by LeventErkok
September 8, 2024 23:25 1m 10s master
master
September 8, 2024 23:25 1m 10s
simplify a bit lint #512: Commit d693a55 pushed by LeventErkok
September 8, 2024 21:54 1m 14s master
master
September 8, 2024 21:54 1m 14s
A bit better output with quantifiers lint #511: Commit d54fa55 pushed by LeventErkok
September 7, 2024 19:15 1m 11s master
master
September 7, 2024 19:15 1m 11s
simplify docs lint #510: Commit e3d0394 pushed by LeventErkok
September 5, 2024 20:10 1m 11s master
master
September 5, 2024 20:10 1m 11s
rearrange lint #509: Commit 6342796 pushed by LeventErkok
September 5, 2024 20:04 1m 13s master
master
September 5, 2024 20:04 1m 13s
comment fix lint #508: Commit ba4b94e pushed by LeventErkok
September 5, 2024 19:51 1m 12s master
master
September 5, 2024 19:51 1m 12s
comment fix lint #507: Commit 3a94a63 pushed by LeventErkok
September 5, 2024 19:50 1m 10s master
master
September 5, 2024 19:50 1m 10s
KD: Rearrange list proofs lint #506: Commit bc381a0 pushed by LeventErkok
September 5, 2024 19:39 1m 12s master
master
September 5, 2024 19:39 1m 12s
Handle quantifiedbool local functions better lint #505: Commit 3f03db2 pushed by LeventErkok
September 4, 2024 21:35 1m 10s master
master
September 4, 2024 21:35 1m 10s
improve error message lint #504: Commit 224b176 pushed by LeventErkok
September 4, 2024 02:56 1m 8s master
master
September 4, 2024 02:56 1m 8s
An attempt at rev-rev proof; but uses sorry for now lint #503: Commit 4be59f4 pushed by LeventErkok
September 3, 2024 23:36 1m 7s master
master
September 3, 2024 23:36 1m 7s
KD: Add flush, and capture sorry better lint #502: Commit 2de8655 pushed by LeventErkok
September 3, 2024 23:01 1m 15s master
master
September 3, 2024 23:01 1m 15s
clean up lint #501: Commit 94b1a30 pushed by LeventErkok
September 3, 2024 21:56 1m 11s master
master
September 3, 2024 21:56 1m 11s
change KD ribbon length lint #500: Commit efcd2df pushed by LeventErkok
September 3, 2024 16:20 1m 9s master
master
September 3, 2024 16:20 1m 9s
Further simplify the sqrt-2 irrational proof lint #499: Commit f650138 pushed by LeventErkok
September 3, 2024 15:26 1m 13s master
master
September 3, 2024 15:26 1m 13s
wrap up associativity of concat proof lint #498: Commit 97c84a1 pushed by LeventErkok
September 3, 2024 12:09 1m 11s master
master
September 3, 2024 12:09 1m 11s
more work on associativity of lists lint #497: Commit fb2178d pushed by LeventErkok
September 3, 2024 11:49 1m 12s master
master
September 3, 2024 11:49 1m 12s