Skip to content

Actions: abella-prover/abella

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
44 workflow runs
44 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
fix: dependencies are now generated properly for the walkthrough Abella check tests #112: Commit f931011 pushed by innofarah
May 9, 2024 08:13 3s ipfs
ipfs
May 9, 2024 08:13 3s
fix: update abella damf tool and lang cids to be consistent with the … Abella check tests #111: Commit ab25f2e pushed by innofarah
May 8, 2024 14:34 2s ipfs
ipfs
May 8, 2024 14:34 2s
fix: perform replacements simultaneously in Import ... with Abella check tests #110: Commit 783ff60 pushed by chaudhuri
April 10, 2024 12:18 4m 29s master
master
April 10, 2024 12:18 4m 29s
chore: resume 2.1.0-dev Abella check tests #109: Commit fd43c46 pushed by chaudhuri
April 9, 2024 10:54 4m 11s master
master
April 9, 2024 10:54 4m 11s
Release: 2.0.8.2 (byte-compile for ppc32 and ppc64) Abella check tests #107: Commit a341484 pushed by chaudhuri
April 9, 2024 10:40 3m 59s master
master
April 9, 2024 10:40 3m 59s
SOUNDNESS BUG: Import ... with requires distinct replacements Abella check tests #103: Commit 8c86b5a pushed by chaudhuri
January 11, 2024 11:52 6m 52s master
master
January 11, 2024 11:52 6m 52s
fix: separate out compile from damf_register Abella check tests #102: Commit c7285e0 pushed by chaudhuri
November 17, 2023 09:28 2s ipfs
ipfs
November 17, 2023 09:28 2s
fix: damf context elements from local imports Abella check tests #101: Pull request #150 opened by innofarah
November 16, 2023 17:23 3s innofarah:ipfs
innofarah:ipfs
November 16, 2023 17:23 3s
fix: redirect raw print functions to Output.msg_printf etc. Abella check tests #100: Commit 94afb7d pushed by chaudhuri
November 16, 2023 14:11 6m 8s master
master
November 16, 2023 14:11 6m 8s
fix: locally imported lemmas not being tracked. Abella check tests #99: Commit 0f4b964 pushed by chaudhuri
November 16, 2023 12:31 3s ipfs
ipfs
November 16, 2023 12:31 3s
fix: locally imported lemmas not being tracked (or failure to publish when trying to link to those lemmas). Abella check tests #98: Pull request #149 opened by innofarah
November 16, 2023 12:16 4s innofarah:ipfs
innofarah:ipfs
November 16, 2023 12:16 4s
fix: Dune lang to 3.7; remove ocaml-crunch dep Abella check tests #97: Commit 0c5a1fa pushed by chaudhuri
November 15, 2023 15:19 8m 6s master
master
November 15, 2023 15:19 8m 6s
fix: make all-release no longer tries to rebuild JS Abella check tests #96: Commit ceee138 pushed by chaudhuri
November 10, 2023 09:49 8m 48s master
master
November 10, 2023 09:49 8m 48s
fix: HTTP 200 should not be treated as an error on cache miss Abella check tests #95: Commit 7d1e05d pushed by chaudhuri
November 6, 2023 13:18 8m 21s master
master
November 6, 2023 13:18 8m 21s
feat: add support for ipfs: paths Abella check tests #94: Commit 6889f45 pushed by chaudhuri
November 6, 2023 13:05 7m 52s master
master
November 6, 2023 13:05 7m 52s
feat: proper tracing framework (Output.trace) Abella check tests #93: Commit 74f50dc pushed by chaudhuri
November 6, 2023 12:28 8m 35s master
master
November 6, 2023 12:28 8m 35s
fix: rm one @tailcall not supported in OCaml 4.12.x Abella check tests #92: Commit a6cfeb3 pushed by chaudhuri
November 3, 2023 21:45 7m 54s master
master
November 3, 2023 21:45 7m 54s
feat: add support for loading files over the internet Abella check tests #91: Commit e8bcebd pushed by chaudhuri
November 3, 2023 21:32 4m 51s master
master
November 3, 2023 21:32 4m 51s
chore: align command lines for abella_dep and abella_doc Abella check tests #90: Commit a706805 pushed by chaudhuri
November 2, 2023 03:52 7m 23s master
master
November 2, 2023 03:52 7m 23s
chore: starting version 2.1.0-dev Abella check tests #89: Commit 75d8853 pushed by chaudhuri
November 1, 2023 13:31 8m 53s master
master
November 1, 2023 13:31 8m 53s
release: Version 2.0.8 Abella check tests #88: Commit ddfb615 pushed by chaudhuri
October 31, 2023 23:04 7m 43s master
master
October 31, 2023 23:04 7m 43s
feat: move command tracking to front-end; make messages functional Abella check tests #82: Commit 9522664 pushed by chaudhuri
October 26, 2023 13:57 8m 4s master
master
October 26, 2023 13:57 8m 4s
fix: restore Abella prompts in interactive mode Abella check tests #81: Commit 050ead8 pushed by chaudhuri
October 23, 2023 19:28 9m 28s master
master
October 23, 2023 19:28 9m 28s
feat: Also use Cmdliner for the main abella program Abella check tests #80: Commit b6b30e5 pushed by chaudhuri
October 23, 2023 16:39 12m 9s master
master
October 23, 2023 16:39 12m 9s
feat: use Cmdliner for abella_{doc,dep} Abella check tests #79: Commit c2c938a pushed by chaudhuri
October 22, 2023 21:27 7m 17s master
master
October 22, 2023 21:27 7m 17s