Skip to content

Actions: kth-step/HOL4P4

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yaml
333 workflow runs
333 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build build #412: Scheduled
19m 6s main
main
19m 6s
build build #411: Scheduled
19m 0s main
main
19m 0s
build build #410: Scheduled
19m 17s main
main
19m 17s
one more edit to the exported tables build #409: Commit a115094 pushed by AnoudAlshnakat
18m 39s dev_bdd_copy
dev_bdd_copy
18m 39s
fixed implementation of bdd to table sml function build #408: Commit c8b60b3 pushed by AnoudAlshnakat
18m 43s dev_bdd_copy
dev_bdd_copy
18m 43s
added a new script to create tables uot of the bdd, should be smaller build #407: Commit 670ca2f pushed by AnoudAlshnakat
18m 52s dev_bdd_copy
dev_bdd_copy
18m 52s
use auxparam hom to avoid need for polymorphizing Ott's HOL4 output, … build #406: Commit 3b5a499 pushed by palmskog
5m 48s purge-python
purge-python
5m 48s
use auxparam hom to avoid need for polymorphizing Ott's HOL4 output, … build #405: Commit 2f81ae1 pushed by palmskog
6m 8s purge-python
purge-python
6m 8s
Oracle treatment of uninitialised bits build #404: Pull request #51 synchronize by didriklundberg
18m 8s dev_arb2
dev_arb2
18m 8s
Adding separate CI step for metatheory build #403: Commit b5e58a6 pushed by didriklundberg
20m 31s dev_arb2
dev_arb2
20m 31s
Oracle treatment of uninitialised bits build #402: Pull request #51 synchronize by didriklundberg
11m 6s dev_arb2
dev_arb2
11m 6s
Finishing metatheory fixes resulting from new init scheme build #401: Commit 37a6473 pushed by didriklundberg
11m 34s dev_arb2
dev_arb2
11m 34s
build build #400: Scheduled
18m 56s main
main
18m 56s
added more test cases files for length of rules, policy eq, and polic… build #399: Commit 9d2e72c pushed by AnoudAlshnakat
18m 36s dev_bdd_copy
dev_bdd_copy
18m 36s
added a pipeline to generate eq policy build #398: Commit 6c2b5c8 pushed by AnoudAlshnakat
18m 24s dev_bdd_copy
dev_bdd_copy
18m 24s
typo in eq policy pipeline build #397: Commit 421c361 pushed by AnoudAlshnakat
18m 39s dev_bdd_copy
dev_bdd_copy
18m 39s
added a file to translate from var policy back to arith policy build #396: Commit ea4ad20 pushed by AnoudAlshnakat
18m 49s dev_bdd_copy
dev_bdd_copy
18m 49s
added a new pipeline for checking policies equivalence build #395: Commit e0bf83b pushed by AnoudAlshnakat
19m 22s dev_bdd_copy
dev_bdd_copy
19m 22s
modified a few files related to the fwd proof build #394: Commit c0f2793 pushed by AnoudAlshnakat
20m 17s dev_bdd_copy
dev_bdd_copy
20m 17s
deleted last files related to sptrees build #393: Commit fd31147 pushed by AnoudAlshnakat
18m 41s dev_bdd_copy
dev_bdd_copy
18m 41s
fixed the cheats in cakeML translation build #392: Commit 3a7a88f pushed by AnoudAlshnakat
19m 23s dev_bdd_copy
dev_bdd_copy
19m 23s
updated and added test cases build #391: Commit 329b284 pushed by AnoudAlshnakat
18m 15s dev_bdd_copy
dev_bdd_copy
18m 15s
added best version of BDD to policies in SML build #390: Commit 47c0d2b pushed by AnoudAlshnakat
18m 30s dev_bdd_copy
dev_bdd_copy
18m 30s
updated building policy from BDD sml file build #389: Commit c88ec3b pushed by AnoudAlshnakat
18m 46s dev_bdd_copy
dev_bdd_copy
18m 46s
build build #388: Scheduled
19m 6s main
main
19m 6s