Skip to content

Actions: reilabs/lampe

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
309 workflow runs
309 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

generics in trait syntax CI #159: Commit 1cc71da pushed by utkn
December 3, 2024 09:56 4m 24s us/traits
us/traits
December 3, 2024 09:56 4m 24s
fixed the proofs to utilize the trait impls constructed with the new … CI #158: Commit 4e90467 pushed by utkn
December 2, 2024 17:45 4m 19s us/traits
us/traits
December 2, 2024 17:45 4m 19s
basic syntax with no generic support CI #157: Commit 6b062f6 pushed by utkn
December 2, 2024 17:22 4m 10s us/traits
us/traits
December 2, 2024 17:22 4m 10s
Merge branch 'main' of https://github.com/reilabs/lampe into us/traits CI #156: Commit 62d5f91 pushed by utkn
December 2, 2024 12:45 4m 18s us/traits
us/traits
December 2, 2024 12:45 4m 18s
trait syntax first iteration CI #155: Commit 1fb968c pushed by utkn
December 2, 2024 12:42 4m 17s us/traits
us/traits
December 2, 2024 12:42 4m 17s
Lambda support (#16) CI #154: Commit 327a194 pushed by utkn
December 2, 2024 12:38 4m 41s main
main
December 2, 2024 12:38 4m 41s
Lambda support CI #153: Pull request #16 synchronize by utkn
December 2, 2024 12:33 4m 19s us/lambdas
us/lambdas
December 2, 2024 12:33 4m 19s
small fix in the proof in the main CI #152: Commit 6c7d4f5 pushed by utkn
December 2, 2024 12:33 4m 26s us/lambdas
us/lambdas
December 2, 2024 12:33 4m 26s
Lambda support CI #151: Pull request #16 synchronize by utkn
December 2, 2024 12:24 4m 52s us/lambdas
us/lambdas
December 2, 2024 12:24 4m 52s
Lambda is now parametrized over "rep" instead of having "rep" as its … CI #150: Commit 4feede0 pushed by utkn
December 2, 2024 12:24 5m 6s us/lambdas
us/lambdas
December 2, 2024 12:24 5m 6s
Lambda support CI #149: Pull request #16 synchronize by utkn
November 30, 2024 08:11 4m 16s us/lambdas
us/lambdas
November 30, 2024 08:11 4m 16s
small changes CI #148: Commit d3a8441 pushed by utkn
November 30, 2024 08:11 4m 16s us/lambdas
us/lambdas
November 30, 2024 08:11 4m 16s
Lambda support CI #147: Pull request #16 synchronize by utkn
November 29, 2024 19:36 4m 16s us/lambdas
us/lambdas
November 29, 2024 19:36 4m 16s
nrfn! now returns (rep -> Function) CI #146: Commit 5e0c712 pushed by utkn
November 29, 2024 19:36 4m 16s us/lambdas
us/lambdas
November 29, 2024 19:36 4m 16s
Lambda support CI #145: Pull request #16 synchronize by utkn
November 29, 2024 16:52 4m 22s us/lambdas
us/lambdas
November 29, 2024 16:52 4m 22s
nested_triple theorem moved to the tactic code CI #144: Commit 00f335f pushed by utkn
November 29, 2024 16:52 4m 13s us/lambdas
us/lambdas
November 29, 2024 16:52 4m 13s
Lambda support CI #143: Pull request #16 synchronize by utkn
November 29, 2024 15:53 4m 16s us/lambdas
us/lambdas
November 29, 2024 15:53 4m 16s
Function and lambda types combined. Rep is now a parameter of funct… CI #142: Commit 4b38719 pushed by utkn
November 29, 2024 15:53 4m 13s us/lambdas
us/lambdas
November 29, 2024 15:53 4m 13s
Lambda support CI #141: Pull request #16 synchronize by utkn
November 28, 2024 19:59 4m 15s us/lambdas
us/lambdas
November 28, 2024 19:59 4m 15s
lawfulheap lemmas moved into namespace. class props now have a "thm_"… CI #140: Commit 0c6af88 pushed by utkn
November 28, 2024 19:59 4m 29s us/lambdas
us/lambdas
November 28, 2024 19:59 4m 29s
Lambda support CI #139: Pull request #16 synchronize by utkn
November 28, 2024 18:35 4m 15s us/lambdas
us/lambdas
November 28, 2024 18:35 4m 15s
Lambda syntax updated CI #138: Commit 31217dd pushed by utkn
November 28, 2024 18:35 4m 14s us/lambdas
us/lambdas
November 28, 2024 18:35 4m 14s
Lambda support CI #137: Pull request #16 synchronize by utkn
November 28, 2024 18:12 4m 28s us/lambdas
us/lambdas
November 28, 2024 18:12 4m 28s
variable p reintroduced to semantics. functionident's rep parameter i… CI #136: Commit fca5580 pushed by utkn
November 28, 2024 18:12 4m 15s us/lambdas
us/lambdas
November 28, 2024 18:12 4m 15s
basic traits (#18) CI #135: Commit bbf8e17 pushed by utkn
November 27, 2024 14:02 4m 2s us/traits
us/traits
November 27, 2024 14:02 4m 2s