Skip to content

Actions: logsem/cerise

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
381 workflow runs
381 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement getWType with the get instructions and fix automation Test compilation #346: Commit e3bbce1 pushed by JuneRousseau
October 18, 2023 18:30 1h 50m 56s bastien/get-perm-instrs
bastien/get-perm-instrs
October 18, 2023 18:30 1h 50m 56s
WIP fixing the Cerise proofmode Test compilation #345: Commit 3caf097 pushed by JuneRousseau
October 18, 2023 14:57 38s bastien/attestation/logaddr
bastien/attestation/logaddr
October 18, 2023 14:57 38s
WIP re-state wp-rule for store Test compilation #344: Commit d03f81c pushed by JuneRousseau
October 17, 2023 23:06 37s bastien/attestation/logaddr
bastien/attestation/logaddr
October 17, 2023 23:06 37s
Proof WP rules for Load (expect ones for automation) Test compilation #343: Commit bccc93e pushed by JuneRousseau
October 17, 2023 16:01 41s bastien/attestation/logaddr
bastien/attestation/logaddr
October 17, 2023 16:01 41s
WIP wp-rules load Test compilation #342: Commit 236bc69 pushed by JuneRousseau
October 16, 2023 15:33 28s bastien/attestation/logaddr
bastien/attestation/logaddr
October 16, 2023 15:33 28s
Progress in replacing physical word by logical word: nicer wp rules Test compilation #341: Commit 469e6c3 pushed by JuneRousseau
October 12, 2023 13:42 37s bastien/attestation/logaddr
bastien/attestation/logaddr
October 12, 2023 13:42 37s
WIP proof repair FTLR Test compilation #340: Commit 1b9686b pushed by JuneRousseau
October 10, 2023 09:05 26m 58s bastien/indirect-sentry
bastien/indirect-sentry
October 10, 2023 09:05 26m 58s
Fix ftlr IH + some progress proof FTLR Test compilation #339: Commit 0c6338f pushed by JuneRousseau
October 9, 2023 21:14 19m 57s bastien/indirect-sentry
bastien/indirect-sentry
October 9, 2023 21:14 19m 57s
Fix the V(IE, ---) Test compilation #338: Commit e648e39 pushed by JuneRousseau
October 9, 2023 15:38 19m 39s bastien/indirect-sentry
bastien/indirect-sentry
October 9, 2023 15:38 19m 39s
WIP Test compilation #337: Commit 9fdaca5 pushed by JuneRousseau
October 6, 2023 20:40 39s bastien/attestation/logaddr
bastien/attestation/logaddr
October 6, 2023 20:40 39s
WIP fix def of LR, but need to fix lemmas now Test compilation #336: Commit 088d7c8 pushed by JuneRousseau
October 6, 2023 10:48 22m 39s bastien/indirect-sentry
bastien/indirect-sentry
October 6, 2023 10:48 22m 39s
WIP proof FTLR Test compilation #335: Commit 9140032 pushed by JuneRousseau
October 5, 2023 19:58 19m 47s bastien/indirect-sentry
bastien/indirect-sentry
October 5, 2023 19:58 19m 47s
WIP logical relation for IE Test compilation #334: Commit 304a2a6 pushed by JuneRousseau
October 5, 2023 17:31 14m 7s bastien/indirect-sentry
bastien/indirect-sentry
October 5, 2023 17:31 14m 7s
WIP proof wp_get, but something's wrong Test compilation #333: Commit c2cf34f pushed by JuneRousseau
October 4, 2023 14:51 16m 53s bastien/attestation/logaddr
bastien/attestation/logaddr
October 4, 2023 14:51 16m 53s
Indirect sentry opsem + WIP wp_rules jmp Test compilation #332: Commit f232bf8 pushed by JuneRousseau
October 3, 2023 18:56 21m 52s bastien/indirect-sentry
bastien/indirect-sentry
October 3, 2023 18:56 21m 52s
Proof base wp rules with logical addresses Test compilation #331: Commit c21dd71 pushed by JuneRousseau
September 26, 2023 11:41 16m 57s bastien/attestation/logaddr
bastien/attestation/logaddr
September 26, 2023 11:41 16m 57s
WIP fix compilation up-to template adequacy Test compilation #330: Commit 1474219 pushed by JuneRousseau
September 22, 2023 17:54 39m 16s attestation
attestation
September 22, 2023 17:54 39m 16s
WIP fix compilation (with new state) until FTLR proofs Test compilation #329: Commit 8989574 pushed by JuneRousseau
September 22, 2023 16:47 23m 15s attestation
attestation
September 22, 2023 16:47 23m 15s
Comment about bug in is_cur_word Test compilation #328: Commit 4370824 pushed by otenkosol2
September 1, 2023 14:34 20m 7s attestation
attestation
September 1, 2023 14:34 20m 7s
pages build and deployment pages-build-deployment #80: by github-pages bot
July 31, 2023 10:13 1m 23s
July 31, 2023 10:13 1m 23s
Bastien/get perm instrs Test compilation #327: Pull request #21 opened by JuneRousseau
July 31, 2023 08:32 1h 41m 22s bastien/get-perm-instrs
bastien/get-perm-instrs
July 31, 2023 08:32 1h 41m 22s
pages build and deployment pages-build-deployment #79: by github-pages bot
July 28, 2023 15:01 1m 19s
July 28, 2023 15:01 1m 19s
Separate wp_rules for GetOType (fix for iInstr) Test compilation #326: Commit 8eec781 pushed by JuneRousseau
July 28, 2023 13:03 1h 50m 35s bastien/get-perm-instrs
bastien/get-perm-instrs
July 28, 2023 13:03 1h 50m 35s
pages build and deployment pages-build-deployment #78: by github-pages bot
July 28, 2023 02:24 1m 20s
July 28, 2023 02:24 1m 20s
Keylist fixed Test compilation #325: Commit 98a81af pushed by JuneRousseau
July 28, 2023 00:37 1h 47m 19s bastien/get-perm-instrs
bastien/get-perm-instrs
July 28, 2023 00:37 1h 47m 19s
ProTip! You can narrow down the results and go further in time using created:<2023-07-28 or the other filters available.