Skip to content

Actions: WasmCert/WasmCert-Coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
159 workflow runs
159 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

regenerated old dep interpreter for interactive mode (remove in the f… Test compilation #84: Commit c3f7e29 pushed by raoxiaojia
January 28, 2024 20:40 5m 2s comp-inv-refactor
comp-inv-refactor
January 28, 2024 20:40 5m 2s
Merge pull request #35 from WasmCert/interp-ctx Test compilation #83: Commit 113fcea pushed by raoxiaojia
January 23, 2024 14:53 8m 37s master
master
January 23, 2024 14:53 8m 37s
Interpreter with improved context representation, and massive context refactoring Test compilation #82: Pull request #35 synchronize by raoxiaojia
January 23, 2024 14:40 8m 46s interp-ctx
interp-ctx
January 23, 2024 14:40 8m 46s
removed 8.16.1 workflow Test compilation #81: Commit 11593e5 pushed by raoxiaojia
January 23, 2024 14:40 8m 41s interp-ctx
interp-ctx
January 23, 2024 14:40 8m 41s
Interpreter with improved context representation, and massive context refactoring Test compilation #80: Pull request #35 synchronize by raoxiaojia
January 23, 2024 14:27 8m 55s interp-ctx
interp-ctx
January 23, 2024 14:27 8m 55s
updated readme Test compilation #79: Commit 0a5506b pushed by raoxiaojia
January 23, 2024 14:27 8m 56s interp-ctx
interp-ctx
January 23, 2024 14:27 8m 56s
Interpreter with improved context representation, and massive context refactoring Test compilation #78: Pull request #35 opened by raoxiaojia
January 23, 2024 14:23 9m 9s interp-ctx
interp-ctx
January 23, 2024 14:23 9m 9s
added some comments on context definitions Test compilation #77: Commit aa5073f pushed by raoxiaojia
January 23, 2024 14:18 9m 9s interp-ctx
interp-ctx
January 23, 2024 14:18 9m 9s
Merge pull request #34 from WasmCert/opam.0.2 Test compilation #76: Commit b6226ea pushed by raoxiaojia
January 23, 2024 10:19 9m 7s master
master
January 23, 2024 10:19 9m 7s
adjusted representation of dune bounds Test compilation #75: Pull request #34 opened by raoxiaojia
January 23, 2024 10:10 8m 59s opam.0.2
opam.0.2
January 23, 2024 10:10 8m 59s
minor cleanups Test compilation #74: Commit cce78c6 pushed by raoxiaojia
January 20, 2024 13:00 8m 57s interp-ctx
interp-ctx
January 20, 2024 13:00 8m 57s
enabled ci by default for all branches Test compilation #73: Commit ae35633 pushed by raoxiaojia
January 20, 2024 12:18 8m 56s interp-ctx
interp-ctx
January 20, 2024 12:18 8m 56s
enabled ci by default for all branches Test compilation #72: Commit 5ab3c71 pushed by raoxiaojia
January 20, 2024 12:14 Failure interp-ctx
interp-ctx
January 20, 2024 12:14 Failure
enabled ci by default for all branches Test compilation #71: Commit e871f6c pushed by raoxiaojia
January 20, 2024 12:13 Failure interp-ctx
interp-ctx
January 20, 2024 12:13 Failure
Merge pull request #32 from womeier/master Test compilation #70: Commit 17b8cd0 pushed by raoxiaojia
January 17, 2024 11:09 9m 3s master
master
January 17, 2024 11:09 9m 3s
Tweak imports Test compilation #69: Pull request #32 reopened by raoxiaojia
January 17, 2024 09:38 8m 55s womeier:master
womeier:master
January 17, 2024 09:38 8m 55s
Merge pull request #33 from WasmCert/pr_test Test compilation #68: Commit 6495d57 pushed by raoxiaojia
January 17, 2024 09:37 9m 9s master
master
January 17, 2024 09:37 9m 9s
add workflow triggers for PRs Test compilation #67: Pull request #33 synchronize by raoxiaojia
January 16, 2024 11:55 8m 58s pr_test
pr_test
January 16, 2024 11:55 8m 58s
minor readme update Test compilation #66: Commit 57a0ee2 pushed by raoxiaojia
January 15, 2024 14:31 9m 12s master
master
January 15, 2024 14:31 9m 12s
add release build for ctx interpreter Test compilation #65: Commit 3a16d98 pushed by raoxiaojia
January 11, 2024 15:25 9m 15s interp-ctx
interp-ctx
January 11, 2024 15:25 9m 15s
moved context typing lemmas into context file Test compilation #64: Commit 4304d61 pushed by raoxiaojia
December 18, 2023 01:11 9m 0s interp-ctx
interp-ctx
December 18, 2023 01:11 9m 0s
added test on deep recursive calls Test compilation #63: Commit 1aafdd8 pushed by raoxiaojia
December 7, 2023 17:29 9m 5s interp-ctx
interp-ctx
December 7, 2023 17:29 9m 5s
add a comment about the axiom-free destruct principle for lh Test compilation #62: Commit 0156dfe pushed by raoxiaojia
December 7, 2023 16:50 9m 8s interp-ctx
interp-ctx
December 7, 2023 16:50 9m 8s
preservation of validity Test compilation #61: Commit 1e9c76f pushed by raoxiaojia
December 7, 2023 15:20 9m 5s interp-ctx
interp-ctx
December 7, 2023 15:20 9m 5s
comments cleanups Test compilation #60: Commit fa60354 pushed by raoxiaojia
December 6, 2023 17:09 9m 3s interp-ctx
interp-ctx
December 6, 2023 17:09 9m 3s