8000 Workflow runs · shilangyu/lisa · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: shilangyu/lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into feat/functions-package LISA CI #29: Commit 8275520 pushed by SimonGuilloud
October 8, 2024 11:56 4m 22s feat/functions-package
feat/functions-package
October 8, 2024 11:56 4m 22s
Merge remote-tracking branch 'central/main' into feat/functions-package LISA CI #28: Commit e88ef20 pushed by SimonGuilloud
October 8, 2024 11:54 5m 6s feat/functions-package
feat/functions-package
October 8, 2024 11:54 5m 6s
Add type checking of Pi and constant function LISA CI #27: Commit 93ee4de pushed by shilangyu
June 3, 2024 08:14 6m 27s feat/type-check-pi
feat/type-check-pi
June 3, 2024 08:14 6m 27s
Add piApplication theorem LISA CI #26: Commit 7c9ea56 pushed by shilangyu
May 16, 2024 06:22 4m 53s feat/type-check-pi
feat/type-check-pi
May 16, 2024 06:22 4m 53s
Simplify FunctionProperties imports LISA CI #25: Commit 988e544 pushed by shilangyu
April 29, 2024 15:06 4m 59s feat/functions-package
feat/functions-package
April 29, 2024 15:06 4m 59s
Revert changes to ADTExample LISA CI #24: Commit 6103870 pushed by shilangyu
April 29, 2024 14:58 4m 58s feat/functions-package
feat/functions-package
April 29, 2024 14:58 4m 58s
Remove app from TypeLib LISA CI #23: Commit 3f2bd45 pushed by shilangyu
April 29, 2024 14:56 5m 6s feat/functions-package
feat/functions-package
April 29, 2024 14:56 5m 6s
Add Sigma and Pi definitions LISA CI #22: Commit b823d80 pushed by shilangyu
April 29, 2024 14:13 5m 3s feat/functions-package
feat/functions-package
April 29, 2024 14:13 5m 3s
Connect Sigma/Pi to constant functions LISA CI #21: Commit d87b83c pushed by shilangyu
April 29, 2024 14:07 4m 34s feat/dependant-sum-product
feat/dependant-sum-product
April 29, 2024 14:07 4m 34s
WIP LISA CI #20: Commit 9ef2e8d pushed by shilangyu
April 29, 2024 14:06 5m 15s feat/functions-package
feat/functions-package
April 29, 2024 14:06 5m 15s
Add constant functions, replace definitions in types module LISA CI #19: Commit a13f70e pushed by shilangyu
April 29, 2024 13:26 5m 11s feat/functions-package
feat/functions-package
April 29, 2024 13:26 5m 11s
WIP LISA CI #18: Commit 000aa03 pushed by shilangyu
April 28, 2024 14:11 4m 54s feat/functions-package
feat/functions-package
April 28, 2024 14:11 4m 54s
WIP LISA CI #17: Commit 66da702 pushed by shilangyu
April 28, 2024 14:04 4m 54s feat/functions-package
feat/functions-package
April 28, 2024 14:04 4m 54s
Add function specific nomenclature LISA CI #16: Commit 0d2ace8 pushed by shilangyu
April 28, 2024 13:21 4m 55s feat/functions-package
feat/functions-package
April 28, 2024 13:21 4m 55s
Move theorems about functions LISA CI #15: Commit de5c84b pushed by shilangyu
April 28, 2024 12:47 4m 55s feat/functions-package
feat/functions-package
April 28, 2024 12:47 4m 55s
WIP LISA CI #14: Commit aeafc28 pushed by shilangyu
April 28, 2024 12:38 2m 45s feat/functions-module
feat/functions-module
April 28, 2024 12:38 2m 45s
Attempt LISA CI #13: Commit e210288 pushed by shilangyu
April 28, 2024 12:38 4m 47s feat/functions-package
feat/functions-package
April 28, 2024 12:38 4m 47s
Egraph (#220) LISA CI #12: Commit cbec155 pushed by shilangyu
April 22, 2024 14:28 5m 4s main
main
April 22, 2024 14:28 5m 4s
0