Skip to content

Actions: LeventErkok/sbv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
990 workflow runs
990 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use a more logical (mathematical) notation Haskell-CI #1084: Commit 853eab7 pushed by LeventErkok
February 5, 2025 10:41 6m 0s KDChain
KDChain
February 5, 2025 10:41 6m 0s
Further simplify chain proofs Haskell-CI #1083: Commit 913df23 pushed by LeventErkok
February 5, 2025 09:50 6m 10s KDChain
KDChain
February 5, 2025 09:50 6m 10s
Generalize ChainStart Haskell-CI #1082: Commit d612aa7 pushed by LeventErkok
February 5, 2025 08:43 6m 11s KDChain
KDChain
February 5, 2025 08:43 6m 11s
Slightly change the type of qed Haskell-CI #1081: Commit b755afd pushed by LeventErkok
February 5, 2025 07:47 6m 6s KDChain
KDChain
February 5, 2025 07:47 6m 6s
KD: Eliminate <: Haskell-CI #1080: Commit 2c83e59 pushed by LeventErkok
February 5, 2025 00:38 6m 6s KDChain
KDChain
February 5, 2025 00:38 6m 6s
simplify Haskell-CI #1079: Commit 0c17172 pushed by LeventErkok
February 4, 2025 18:23 6m 14s KDChain
KDChain
February 4, 2025 18:23 6m 14s
simplify Haskell-CI #1078: Commit 1aa6cf8 pushed by LeventErkok
February 4, 2025 18:21 6m 17s KDChain
KDChain
February 4, 2025 18:21 6m 17s
KD: Get rid of the smt trivial proof Haskell-CI #1077: Commit 40f690f pushed by LeventErkok
February 4, 2025 18:11 6m 32s KDChain
KDChain
February 4, 2025 18:11 6m 32s
Start abstracting proof-steps Haskell-CI #1076: Commit 7af072e pushed by LeventErkok
February 4, 2025 17:41 6m 4s KDChain
KDChain
February 4, 2025 17:41 6m 4s
whitespace Haskell-CI #1075: Commit 577bf66 pushed by LeventErkok
February 4, 2025 17:22 6m 15s KDChain
KDChain
February 4, 2025 17:22 6m 15s
mkChainSteps don't need the funcion argument anymore Haskell-CI #1074: Commit cb9d094 pushed by LeventErkok
February 4, 2025 17:19 6m 16s KDChain
KDChain
February 4, 2025 17:19 6m 16s
Get rid of overlapping bool versions for chain-lemma and simplify Haskell-CI #1073: Commit 78a02d7 pushed by LeventErkok
February 4, 2025 17:15 6m 7s KDChain
KDChain
February 4, 2025 17:15 6m 7s
KD: Generalize proof-hints Haskell-CI #1072: Commit 7b651cf pushed by LeventErkok
February 4, 2025 16:25 9m 3s KDChain
KDChain
February 4, 2025 16:25 9m 3s
rename trivial to smt Haskell-CI #1071: Commit d25909f pushed by LeventErkok
February 4, 2025 06:32 6m 1s KDChain
KDChain
February 4, 2025 06:32 6m 1s
clean-up Haskell-CI #1070: Commit 28a8b80 pushed by LeventErkok
February 4, 2025 06:24 6m 12s KDChain
KDChain
February 4, 2025 06:24 6m 12s
Simplify Haskell-CI #1069: Commit 06ee468 pushed by LeventErkok
February 4, 2025 04:12 6m 8s KDChain
KDChain
February 4, 2025 04:12 6m 8s
Update Kernel.hs Haskell-CI #1068: Commit 4073fd1 pushed by LeventErkok
February 4, 2025 03:53 6m 2s KDChain
KDChain
February 4, 2025 03:53 6m 2s
Merge branch 'master' into KDChain Haskell-CI #1067: Commit a26bd1c pushed by LeventErkok
January 28, 2025 17:51 6m 9s KDChain
KDChain
January 28, 2025 17:51 6m 9s
KD: Implement apply method lint #755: Commit c4422f5 pushed by LeventErkok
January 28, 2025 17:50 1m 10s master
master
January 28, 2025 17:50 1m 10s
KD: Implement apply method Haskell-CI #1066: Commit c4422f5 pushed by LeventErkok
January 28, 2025 17:50 6m 7s master
master
January 28, 2025 17:50 6m 7s
KD: Implement apply method Haskell-CI #1065: Commit c4422f5 pushed by LeventErkok
January 28, 2025 17:49 6m 18s KDInstantiate
KDInstantiate
January 28, 2025 17:49 6m 18s
export apply Haskell-CI #1064: Commit 36a51fb pushed by LeventErkok
January 28, 2025 15:18 6m 9s KDInstantiate
KDInstantiate
January 28, 2025 15:18 6m 9s
rename instantiate to apply Haskell-CI #1063: Commit 7426b46 pushed by LeventErkok
January 28, 2025 14:59 6m 9s KDInstantiate
KDInstantiate
January 28, 2025 14:59 6m 9s
KD: Starting on instantiate Haskell-CI #1062: Commit d3af54a pushed by LeventErkok
January 28, 2025 14:06 6m 6s KDInstantiate
KDInstantiate
January 28, 2025 14:06 6m 6s
Make sure observables aren't impacted by qSaturate Haskell-CI #1061: Commit 22be30c pushed by LeventErkok
January 28, 2025 14:05 6m 10s KDInstantiate
KDInstantiate
January 28, 2025 14:05 6m 10s