Skip to content

Actions: LeventErkok/sbv

Haskell-CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
422 workflow runs
422 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Hide setup markers from haddock
Haskell-CI #732: Commit 4a8fc1f pushed by LeventErkok
September 11, 2024 14:35 6m 2s master
September 11, 2024 14:35 6m 2s
KD: Proven -> Proof
Haskell-CI #731: Commit 5fa15e2 pushed by LeventErkok
September 10, 2024 23:09 5m 36s master
September 10, 2024 23:09 5m 36s
add solver config to KD config
Haskell-CI #730: Commit a4d2cde pushed by LeventErkok
September 10, 2024 21:49 5m 45s master
September 10, 2024 21:49 5m 45s
KD: make ribbonLength configurable
Haskell-CI #729: Commit 9cc9132 pushed by LeventErkok
September 10, 2024 21:19 5m 42s master
September 10, 2024 21:19 5m 42s
KD: Start using the KD monad
Haskell-CI #728: Commit 5c926a3 pushed by LeventErkok
September 10, 2024 21:00 5m 41s master
September 10, 2024 21:00 5m 41s
use haddock quotes
Haskell-CI #727: Commit a6ccb42 pushed by LeventErkok
September 10, 2024 20:04 5m 49s master
September 10, 2024 20:04 5m 49s
KD: Few more simple proofs
Haskell-CI #726: Commit 2469b57 pushed by LeventErkok
September 10, 2024 18:46 5m 47s master
September 10, 2024 18:46 5m 47s
Simplify the induction axioms so z3 has easier time with it
Haskell-CI #725: Commit 97ab85b pushed by LeventErkok
September 10, 2024 18:32 6m 3s master
September 10, 2024 18:32 6m 3s
improved test
Haskell-CI #724: Commit 2a2eacb pushed by LeventErkok
September 10, 2024 15:16 5m 55s master
September 10, 2024 15:16 5m 55s
KD: Simplify
Haskell-CI #723: Commit 07ca532 pushed by LeventErkok
September 10, 2024 14:34 5m 58s master
September 10, 2024 14:34 5m 58s
KD: Make induction a tactic and generalize
Haskell-CI #722: Commit 6ce6437 pushed by LeventErkok
September 10, 2024 13:49 5m 44s master
September 10, 2024 13:49 5m 44s
KD RevLen: Generalize to arbitrary types
Haskell-CI #721: Commit 85ebd1c pushed by LeventErkok
September 10, 2024 13:19 6m 19s master
September 10, 2024 13:19 6m 19s
KD: Add reverse (length xs) = length xs proof.
Haskell-CI #720: Commit a8e6844 pushed by LeventErkok
September 10, 2024 13:14 6m 8s master
September 10, 2024 13:14 6m 8s
whitespace
Haskell-CI #719: Commit aac926f pushed by LeventErkok
September 9, 2024 22:24 5m 48s master
September 9, 2024 22:24 5m 48s
fix cex
Haskell-CI #718: Commit f2bed67 pushed by LeventErkok
September 9, 2024 16:03 6m 3s master
September 9, 2024 16:03 6m 3s
Match new output
Haskell-CI #717: Commit aaf3b83 pushed by LeventErkok
September 9, 2024 01:48 5m 35s master
September 9, 2024 01:48 5m 35s
Update output
Haskell-CI #716: Commit 99c29a2 pushed by LeventErkok
September 9, 2024 00:34 5m 42s master
September 9, 2024 00:34 5m 42s
Update AppendRev.hs
Haskell-CI #715: Commit 00bac5e pushed by LeventErkok
September 8, 2024 23:35 5m 40s master
September 8, 2024 23:35 5m 40s
KD: Simplify root of trust reasoning
Haskell-CI #714: Commit dbd37e0 pushed by LeventErkok
September 8, 2024 23:25 4m 58s master
September 8, 2024 23:25 4m 58s
simplify a bit
Haskell-CI #713: Commit d693a55 pushed by LeventErkok
September 8, 2024 21:54 5m 39s master
September 8, 2024 21:54 5m 39s
A bit better output with quantifiers
Haskell-CI #712: Commit d54fa55 pushed by LeventErkok
September 7, 2024 19:15 5m 52s master
September 7, 2024 19:15 5m 52s
simplify docs
Haskell-CI #711: Commit e3d0394 pushed by LeventErkok
September 5, 2024 20:10 5m 56s master
September 5, 2024 20:10 5m 56s
rearrange
Haskell-CI #710: Commit 6342796 pushed by LeventErkok
September 5, 2024 20:04 5m 55s master
September 5, 2024 20:04 5m 55s
comment fix
Haskell-CI #709: Commit ba4b94e pushed by LeventErkok
September 5, 2024 19:51 5m 53s master
September 5, 2024 19:51 5m 53s
comment fix
Haskell-CI #708: Commit 3a94a63 pushed by LeventErkok
September 5, 2024 19:50 5m 58s master
September 5, 2024 19:50 5m 58s