Skip to content

Actions: reilabs/lampe

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
149 workflow run results
149 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

If-then-else support CI #49: Pull request #14 synchronize by utkn
November 10, 2024 12:20 4m 23s us/ite-semantics
us/ite-semantics
November 10, 2024 12:20 4m 23s
Example if program. sl tactic updated. CI #48: Commit 2d8b648 pushed by utkn
November 10, 2024 12:20 4m 8s us/ite-semantics
us/ite-semantics
November 10, 2024 12:20 4m 8s
If-then-else support CI #47: Pull request #14 synchronize by utkn
November 10, 2024 10:31 4m 7s us/ite-semantics
us/ite-semantics
November 10, 2024 10:31 4m 7s
intro rule updated CI #46: Commit e8e3f42 pushed by utkn
November 10, 2024 10:31 4m 29s us/ite-semantics
us/ite-semantics
November 10, 2024 10:31 4m 29s
If-then-else support CI #45: Pull request #14 synchronize by utkn
November 10, 2024 08:36 4m 8s us/ite-semantics
us/ite-semantics
November 10, 2024 08:36 4m 8s
steps tactic augmented for ite special case CI #44: Commit 1120e61 pushed by utkn
November 10, 2024 08:36 4m 11s us/ite-semantics
us/ite-semantics
November 10, 2024 08:36 4m 11s
If-then-else support CI #43: Pull request #14 opened by utkn
November 9, 2024 19:44 4m 6s us/ite-semantics
us/ite-semantics
November 9, 2024 19:44 4m 6s
intro rule. updated the steps tactic. example in main CI #42: Commit 3d103e1 pushed by utkn
November 9, 2024 19:38 4m 5s us/ite-semantics
us/ite-semantics
November 9, 2024 19:38 4m 5s
ite semantics CI #41: Commit 4dfcd8b pushed by utkn
November 9, 2024 15:46 4m 9s us/ite-semantics
us/ite-semantics
November 9, 2024 15:46 4m 9s
Introduction rules for builtins CI #40: Pull request #13 synchronize by utkn
November 9, 2024 12:20 4m 30s us/builtin-triplets
us/builtin-triplets
November 9, 2024 12:20 4m 30s
explicit bigint arithmetic builtins removed CI #39: Commit 2ba3cff pushed by utkn
November 9, 2024 12:20 4m 16s us/builtin-triplets
us/builtin-triplets
November 9, 2024 12:20 4m 16s
Introduction rules for builtins CI #38: Pull request #13 synchronize by utkn
November 9, 2024 12:15 4m 9s us/builtin-triplets
us/builtin-triplets
November 9, 2024 12:15 4m 9s
negation builtin intro CI #37: Commit d1e73ab pushed by utkn
November 9, 2024 12:15 4m 12s us/builtin-triplets
us/builtin-triplets
November 9, 2024 12:15 4m 12s
Introduction rules for builtins CI #36: Pull request #13 synchronize by utkn
November 9, 2024 11:29 4m 0s us/builtin-triplets
us/builtin-triplets
November 9, 2024 11:29 4m 0s
Comments CI #35: Commit 16fbdd5 pushed by utkn
November 9, 2024 11:29 4m 17s us/builtin-triplets
us/builtin-triplets
November 9, 2024 11:29 4m 17s
Introduction rules for builtins CI #34: Pull request #13 synchronize by utkn
November 9, 2024 10:57 4m 2s us/builtin-triplets
us/builtin-triplets
November 9, 2024 10:57 4m 2s
Equality and arithmetics do not use the sorry axiom anymore. CI #33: Commit 79a45bb pushed by utkn
November 9, 2024 10:57 4m 23s us/builtin-triplets
us/builtin-triplets
November 9, 2024 10:57 4m 23s
Introduction rules for builtins CI #32: Pull request #13 opened by utkn
November 9, 2024 08:18 4m 16s us/builtin-triplets
us/builtin-triplets
November 9, 2024 08:18 4m 16s
Sub, div, rem intro rules strengthened. Arithmetic rules added to the… CI #31: Commit 61a5ee2 pushed by utkn
November 9, 2024 08:11 4m 28s us/builtin-triplets
us/builtin-triplets
November 9, 2024 08:11 4m 28s
add and mul intro rules strengthened CI #30: Commit a2bb6d9 pushed by utkn
November 9, 2024 07:24 4m 2s us/builtin-triplets
us/builtin-triplets
November 9, 2024 07:24 4m 2s
Generic manually proven arithmetic builtins. Generic (weakened) add, … CI #29: Commit 69b4f74 pushed by utkn
November 8, 2024 21:20 4m 1s us/builtin-triplets
us/builtin-triplets
November 8, 2024 21:20 4m 1s
Generic eq builtin and intro rule CI #28: Commit 88ff60f pushed by utkn
November 8, 2024 17:59 4m 8s us/builtin-triplets
us/builtin-triplets
November 8, 2024 17:59 4m 8s
Generic eq removed for now. Build passing CI #27: Commit 0b0582c pushed by utkn
November 8, 2024 15:45 4m 7s us/builtin-triplets
us/builtin-triplets
November 8, 2024 15:45 4m 7s
Builtin triplets moved to a single file. All pure builtin triplets co… CI #26: Commit 24ee0c9 pushed by utkn
November 7, 2024 20:40 4m 15s us/builtin-triplets
us/builtin-triplets
November 7, 2024 20:40 4m 15s
STHoarePureBuiltin integrated CI #25: Commit 3e0fd59 pushed by utkn
November 7, 2024 19:16 4m 1s us/builtin-triplets
us/builtin-triplets
November 7, 2024 19:16 4m 1s