Skip to content

Actions: Deducteam/zenon_modulo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix dk output .github/workflows/main.yml #38: Pull request #37 synchronize by fblanqui
July 19, 2024 14:47 1m 52s fblanqui:newdk
fblanqui:newdk
July 19, 2024 14:47 1m 52s
fix dk output .github/workflows/main.yml #37: Pull request #37 synchronize by fblanqui
July 19, 2024 14:16 1m 42s fblanqui:newdk
fblanqui:newdk
July 19, 2024 14:16 1m 42s
fix dk output .github/workflows/main.yml #36: Pull request #37 synchronize by fblanqui
July 19, 2024 14:03 1m 53s fblanqui:newdk
fblanqui:newdk
July 19, 2024 14:03 1m 53s
fix dk output .github/workflows/main.yml #35: Pull request #37 synchronize by fblanqui
July 19, 2024 13:46 1m 51s fblanqui:newdk
fblanqui:newdk
July 19, 2024 13:46 1m 51s
fix dk output .github/workflows/main.yml #34: Pull request #37 synchronize by fblanqui
July 19, 2024 13:32 1m 45s fblanqui:newdk
fblanqui:newdk
July 19, 2024 13:32 1m 45s
fix dk output .github/workflows/main.yml #33: Pull request #37 edited by fblanqui
July 19, 2024 12:48 2m 2s fblanqui:newdk
fblanqui:newdk
July 19, 2024 12:48 2m 2s
fix dk output .github/workflows/main.yml #32: Pull request #37 opened by fblanqui
July 19, 2024 12:47 1m 44s fblanqui:newdk
fblanqui:newdk
July 19, 2024 12:47 1m 44s
rename dummy_var into negated_conjecture (#36) .github/workflows/main.yml #31: Commit bf4213e pushed by fblanqui
July 18, 2024 13:47 1m 48s modulo
modulo
July 18, 2024 13:47 1m 48s
rename dummy_var into negated_conjecture .github/workflows/main.yml #30: Pull request #36 opened by fblanqui
July 18, 2024 12:12 1m 47s fblanqui:dummy_var
fblanqui:dummy_var
July 18, 2024 12:12 1m 47s
lltolp.ml: fix requires for lambdapi-zenon library (#35) .github/workflows/main.yml #29: Commit f185d44 pushed by fblanqui
July 17, 2024 12:05 1m 45s modulo
modulo
July 17, 2024 12:05 1m 45s
lltolp.ml: fix requires for lambdapi-zenon library .github/workflows/main.yml #28: Pull request #35 opened by fblanqui
July 17, 2024 12:02 1m 46s fblanqui:fixnewlib
fblanqui:fixnewlib
July 17, 2024 12:02 1m 46s
change lp output to use the lambdapi-zenon library (#33) .github/workflows/main.yml #27: Commit 3841c94 pushed by fblanqui
July 17, 2024 07:27 1m 44s modulo
modulo
July 17, 2024 07:27 1m 44s
Use a new Lambdapi library .github/workflows/main.yml #26: Pull request #33 synchronize by fblanqui
July 16, 2024 16:50 1m 52s fblanqui:newlib
fblanqui:newlib
July 16, 2024 16:50 1m 52s
add support for dune (#24) .github/workflows/main.yml #25: Commit 1049604 pushed by fblanqui
July 16, 2024 15:26 1m 56s modulo
modulo
July 16, 2024 15:26 1m 56s
add support for dune .github/workflows/main.yml #24: Pull request #24 edited by fblanqui
July 16, 2024 15:25 1m 46s fblanqui:dune
fblanqui:dune
July 16, 2024 15:25 1m 46s
add support for dune .github/workflows/main.yml #23: Pull request #24 synchronize by fblanqui
July 16, 2024 14:54 1m 56s fblanqui:dune
fblanqui:dune
July 16, 2024 14:54 1m 56s
Use a new Lambdapi library .github/workflows/main.yml #22: Pull request #33 opened by fblanqui
July 16, 2024 10:02 1m 53s fblanqui:newlib
fblanqui:newlib
July 16, 2024 10:02 1m 53s
github_actions in /. - Update #856185049 Dependabot Updates #6: by dependabot bot
July 15, 2024 22:22 31s
July 15, 2024 22:22 31s
Fix TPTP syntax of annotations (#32) .github/workflows/main.yml #21: Commit eb8cd58 pushed by gburel
July 15, 2024 07:28 1m 52s modulo
modulo
July 15, 2024 07:28 1m 52s
Fix TPTP syntax of annotations .github/workflows/main.yml #20: Pull request #32 opened by gburel
July 15, 2024 07:25 1m 45s gburel:modulo
gburel:modulo
July 15, 2024 07:25 1m 45s
Fix bug causing free variables to be output. (#31) .github/workflows/main.yml #19: Commit d39717b pushed by gburel
July 11, 2024 15:29 1m 49s modulo
modulo
July 11, 2024 15:29 1m 49s
Fix bug causing free variables to be output. .github/workflows/main.yml #18: Pull request #31 opened by gburel
July 11, 2024 15:26 1m 57s gburel:modulo
gburel:modulo
July 11, 2024 15:26 1m 57s
change option -neg-conj <n> to -conj, and fix Lpprint.print_dk_cst (#30) .github/workflows/main.yml #17: Commit fbdd9b4 pushed by gburel
July 11, 2024 15:15 2m 6s modulo
modulo
July 11, 2024 15:15 2m 6s
change option -neg-conj <n> to -conj, and fix Lpprint.print_dk_cst .github/workflows/main.yml #16: Pull request #30 opened by fblanqui
July 11, 2024 14:26 1m 59s fblanqui:conj
fblanqui:conj
July 11, 2024 14:26 1m 59s
Bump avsm/setup-ocaml from 2 to 3 (#29) .github/workflows/main.yml #15: Commit 1b83263 pushed by fblanqui
July 9, 2024 06:47 5m 45s modulo
modulo
July 9, 2024 06:47 5m 45s