Skip to content

Actions: Deducteam/lambdapi

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
461 workflow runs
461 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

extend decimal notation to integers .github/workflows/main.yml #2443: Pull request #1182 opened by fblanqui
January 24, 2025 20:38 10m 37s fblanqui:int
fblanqui:int
January 24, 2025 20:38 10m 37s
Fix why3 tactic (WIP) .github/workflows/main.yml #2442: Pull request #1174 synchronize by fblanqui
January 24, 2025 14:15 12m 7s fblanqui:why3
fblanqui:why3
January 24, 2025 14:15 12m 7s
Fix why3 tactic (WIP) .github/workflows/main.yml #2441: Pull request #1174 edited by fblanqui
January 24, 2025 14:13 13m 4s fblanqui:why3
fblanqui:why3
January 24, 2025 14:13 13m 4s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2440: Pull request #843 synchronize by fblanqui
January 24, 2025 14:11 8m 30s fblanqui:db
fblanqui:db
January 24, 2025 14:11 8m 30s
new parser for lp files .github/workflows/main.yml #2439: Pull request #1129 synchronize by fblanqui
January 24, 2025 14:11 7m 13s fblanqui:parse
fblanqui:parse
January 24, 2025 14:11 7m 13s
improve Eval.eq_modulo (thanks Claudio Sacerdoti) (#1181) .github/workflows/main.yml #2438: Commit 5b81392 pushed by fblanqui
January 23, 2025 22:07 13m 8s master
master
January 23, 2025 22:07 13m 8s
improve Eval.eq_modulo (thanks Claudio Sacerdoti) .github/workflows/main.yml #2437: Pull request #1181 edited by fblanqui
January 23, 2025 22:07 9m 15s fblanqui:eval
fblanqui:eval
January 23, 2025 22:07 9m 15s
improve Eval.eq_modulo (thanks Claudio Sacerdoti) .github/workflows/main.yml #2436: Pull request #1181 synchronize by fblanqui
January 23, 2025 19:14 8m 4s fblanqui:eval
fblanqui:eval
January 23, 2025 19:14 8m 4s
improve Eval.eq_modulo (thanks Claudio Sacerdoti) .github/workflows/main.yml #2435: Pull request #1181 opened by fblanqui
January 23, 2025 19:14 7m 31s fblanqui:eval
fblanqui:eval
January 23, 2025 19:14 7m 31s
revert #1124 (#1180) .github/workflows/main.yml #2434: Commit ca1409f pushed by fblanqui
January 22, 2025 10:20 6m 58s master
master
January 22, 2025 10:20 6m 58s
revert #1124 .github/workflows/main.yml #2433: Pull request #1180 synchronize by fblanqui
January 22, 2025 10:11 7m 43s fblanqui:dbpath
fblanqui:dbpath
January 22, 2025 10:11 7m 43s
revert #1124 .github/workflows/main.yml #2432: Pull request #1180 edited by fblanqui
January 22, 2025 10:09 8m 38s fblanqui:dbpath
fblanqui:dbpath
January 22, 2025 10:09 8m 38s
indexing dbpath: do not call getenv since it may fail .github/workflows/main.yml #2431: Pull request #1124 edited by fblanqui
January 22, 2025 10:07 38s fblanqui:nogetenv
fblanqui:nogetenv
January 22, 2025 10:07 38s
revert #1124 .github/workflows/main.yml #2430: Pull request #1180 opened by fblanqui
January 22, 2025 10:05 6m 51s fblanqui:dbpath
fblanqui:dbpath
January 22, 2025 10:05 6m 51s
rename option --erasing into --mapping (#1179) .github/workflows/main.yml #2429: Commit 21ee7f3 pushed by fblanqui
January 21, 2025 13:35 7m 30s master
master
January 21, 2025 13:35 7m 30s
rename option --erasing into --mapping .github/workflows/main.yml #2428: Pull request #1179 opened by fblanqui
January 21, 2025 13:28 7m 7s fblanqui:erasing
fblanqui:erasing
January 21, 2025 13:28 7m 7s
README.md: add links to Luc's developments .github/workflows/main.yml #2427: Commit 83cf0be pushed by fblanqui
January 15, 2025 13:19 6m 58s master
master
January 15, 2025 13:19 6m 58s
Fix why3 tactic (WIP) .github/workflows/main.yml #2426: Pull request #1174 edited by fblanqui
January 10, 2025 14:47 7m 1s fblanqui:why3
fblanqui:why3
January 10, 2025 14:47 7m 1s
README.md: add user .github/workflows/main.yml #2425: Commit ccfa0e7 pushed by fblanqui
January 10, 2025 12:41 7m 24s master
master
January 10, 2025 12:41 7m 24s
README.md: update users (#1177) .github/workflows/main.yml #2424: Commit 1289df2 pushed by fblanqui
January 10, 2025 10:12 6m 59s master
master
January 10, 2025 10:12 6m 59s
README.md: update users .github/workflows/main.yml #2423: Pull request #1177 opened by fblanqui
January 10, 2025 10:11 7m 31s fblanqui:readme
fblanqui:readme
January 10, 2025 10:11 7m 31s
Fix why3 tactic (WIP) .github/workflows/main.yml #2422: Pull request #1174 synchronize by fblanqui
January 10, 2025 08:43 7m 36s fblanqui:why3
fblanqui:why3
January 10, 2025 08:43 7m 36s
use why3 1.8.0 (#1176) .github/workflows/main.yml #2421: Commit bd5ff1c pushed by fblanqui
January 10, 2025 07:25 7m 47s master
master
January 10, 2025 07:25 7m 47s
use why3 1.8.0 .github/workflows/main.yml #2420: Pull request #1176 synchronize by fblanqui
January 9, 2025 18:41 7m 37s fblanqui:why3.1.8.0
fblanqui:why3.1.8.0
January 9, 2025 18:41 7m 37s
use why3 1.8.0 .github/workflows/main.yml #2419: Pull request #1176 opened by fblanqui
January 9, 2025 17:58 9m 52s fblanqui:why3.1.8.0
fblanqui:why3.1.8.0
January 9, 2025 17:58 9m 52s