Skip to content

Actions: kth-step/HOL4P4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
350 workflow runs
350 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Finishing parameterization over matching optimization build #214: Commit e5a85f0 pushed by didriklundberg
11m 42s dev_cakeml_latest_2882_retrofit
dev_cakeml_latest_2882_retrofit
11m 42s
Adding back completeness proof build #213: Commit 778dba0 pushed by didriklundberg
11m 39s dev_cakeml_latest_2882_retrofit
dev_cakeml_latest_2882_retrofit
11m 39s
build build #212: Scheduled
19m 41s main
main
19m 41s
added wfness for elimination, plus added a eliminable condition build #211: Commit 7305be1 pushed by AnoudAlshnakat
22m 25s dev_bdd
dev_bdd
22m 25s
finished proof of WFness of merge build #210: Commit dc2faa3 pushed by AnoudAlshnakat
16m 9s dev_bdd
dev_bdd
16m 9s
edited wfness and added a stronger guarantee about the nodes in the g… build #209: Commit a3e17d1 pushed by AnoudAlshnakat
21m 54s dev_bdd
dev_bdd
21m 54s
Fixes to import tool for new table format build #208: Commit c86f959 pushed by didriklundberg
11m 42s dev_cakeml_latest_2882_retrofit
dev_cakeml_latest_2882_retrofit
11m 42s
Retrofitted regular executable semantics now extractable to CakeML build #207: Commit d2b15a0 pushed by didriklundberg
12m 6s dev_cakeml_latest_2882_retrofit
dev_cakeml_latest_2882_retrofit
12m 6s
Updated p4_wordops_ss to p4_bitvops_ss, related fixes to make the sym… build #206: Commit 61a50d7 pushed by didriklundberg
11m 27s dev_cakeml_latest_2882_retrofit
dev_cakeml_latest_2882_retrofit
11m 27s
Made exec sem arithmetic total build #205: Commit 8112f60 pushed by didriklundberg
26m 41s dev_cakeml_latest_2882_retrofit
dev_cakeml_latest_2882_retrofit
26m 41s
128-bit matching in CakeML-exportable semantics, completeness proof f… build #204: Commit 52388d0 pushed by didriklundberg
18m 32s dev_cakeml_latest_2882
dev_cakeml_latest_2882
18m 32s
build build #203: Scheduled
20m 47s main
main
20m 47s
added optimizationd and their termination proofs, all in one shot build #202: Commit f25671f pushed by AnoudAlshnakat
11m 23s dev_bdd
dev_bdd
11m 23s
expanded the order proof build #201: Commit 5f6d9d6 pushed by AnoudAlshnakat
20m 55s dev_bdd
dev_bdd
20m 55s
implementation of algo1 is done build #200: Commit 7d40c1d pushed by AnoudAlshnakat
20m 28s dev_bdd
dev_bdd
20m 28s
Fixing proofs in import tool and symbolic executor for HOL4 commit 71… build #199: Commit b1fbc55 pushed by didriklundberg
18m 34s dev_cakeml_latest_2882
dev_cakeml_latest_2882
18m 34s
Better type parametrization of CakeML-extractable semantics, updates … build #198: Commit 53932d6 pushed by didriklundberg
20m 13s dev_cakeml_latest_2882
dev_cakeml_latest_2882
20m 13s
Parameterised the CakeML-extractable semantics over identifer type build #197: Commit 344b3b2 pushed by didriklundberg
33m 28s dev_cakeml_latest_2882
dev_cakeml_latest_2882
33m 28s
defined isomorphisim and proofs that sem eq build #196: Commit 2e1a66d pushed by AnoudAlshnakat
23m 4s dev_bdd
dev_bdd
23m 4s
Generalised code blocks over uninitialised values, added completeness… build #195: Commit 9bfca0f pushed by didriklundberg
5m 56s dev_cakeml_latest_2882
dev_cakeml_latest_2882
5m 56s
build build #194: Scheduled
19m 38s main
main
19m 38s
Updates for CakeML v2882 build #193: Commit 9f27d4c pushed by didriklundberg
6m 4s dev_cakeml_latest_2882
dev_cakeml_latest_2882
6m 4s
To-CakeML-friendly-semantics now uses structs intermediately, app_opt… build #192: Commit 6e70267 pushed by didriklundberg
19m 19s dev_cakeml_latest
dev_cakeml_latest
19m 19s
Updates for CakeML v2882 build #191: Commit 233aec8 pushed by didriklundberg
6m 2s dev_cakeml_latest_2882
dev_cakeml_latest_2882
6m 2s
debugged the definitions and proofs of tables build #190: Commit b69d571 pushed by AnoudAlshnakat
20m 32s dev_bdd
dev_bdd
20m 32s
ProTip! You can narrow down the results and go further in time using created:<2025-07-02 or the other filters available.