Skip to content

Actions: sdthompson1/babylon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
242 workflow runs
242 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
isabelle: Add a clause to tyenv_well_formed that the current function… CodeQL Advanced #268: Commit db5abbf pushed by sdthompson1
1m 33s main
main
1m 33s
isabelle: Return statement elaboration (leaving one sorry, to be fixe… CodeQL Advanced #267: Commit baf3fad pushed by sdthompson1
1m 34s main
main
1m 34s
isabelle: Elaboration for Assert statements. CodeQL Advanced #266: Commit fd8c4a8 pushed by sdthompson1
1m 38s main
main
1m 38s
isabelle: Change typechecking rules for assert proofs. CodeQL Advanced #265: Commit 2504f7e pushed by sdthompson1
1m 33s main
main
1m 33s
isabelle: Clean up CoreStmtTypecheck a little bit. CodeQL Advanced #264: Commit 9c5c88e pushed by sdthompson1
1m 23s main
main
1m 23s
isabelle: Add elaboration of Obtain. Also, Assume should unify the co… CodeQL Advanced #263: Commit 3b27deb pushed by sdthompson1
1m 44s main
main
1m 44s
isabelle: Reorganizing/cleaning up some of the elaborator files. CodeQL Advanced #262: Commit d5a3e3a pushed by sdthompson1
1m 37s main
main
1m 37s
isabelle: Elaborating impure calls on rhs of Assign or VarDecl statem… CodeQL Advanced #261: Commit c90bd08 pushed by sdthompson1
1m 31s main
main
1m 31s
isabelle: Refactor Core to have separate CoreStmt_VarDeclCall and Cor… CodeQL Advanced #260: Commit 38f0af5 pushed by sdthompson1
1m 46s main
main
1m 46s
isabelle: add an "assert *" form to CoreStmt_Assert. Will make the el… CodeQL Advanced #259: Commit 39937ff pushed by sdthompson1
1m 36s main
main
1m 36s
isabelle: Refactor BabStatement - the individual statements no longer… CodeQL Advanced #258: Commit 4a8f8e6 pushed by sdthompson1
1m 40s main
main
1m 40s
isabelle: Statement elaborator now clears metavars (replacing them wi… CodeQL Advanced #257: Commit 6d025d6 pushed by sdthompson1
1m 42s main
main
1m 42s
isabelle: CoreStmt_Obtain now typechecks in any context (ghost or not… CodeQL Advanced #256: Commit cdb330c pushed by sdthompson1
1m 51s main
main
1m 51s
CodeQL Advanced CodeQL Advanced #255: Scheduled
1m 42s main
main
1m 42s
isabelle: Add CoreTm_Default to the Core term syntax. Will use this t… CodeQL Advanced #254: Commit 691eef7 pushed by sdthompson1
1m 40s main
main
1m 40s
isabelle: Rearranging the type substitution files. CodeQL Advanced #253: Commit 68ec95e pushed by sdthompson1
1m 42s main
main
1m 42s
isabelle: Split TypeSoundness into four files, to make it more manage… CodeQL Advanced #252: Commit 22868f9 pushed by sdthompson1
1m 38s main
main
1m 38s
isabelle: Remove the redundant non_consts_in_locals_or_refs from stat… CodeQL Advanced #251: Commit ed7ee9e pushed by sdthompson1
1m 37s main
main
1m 37s
isabelle: Slightly simplify fun_info_matches_interp_fun (remove exist… CodeQL Advanced #250: Commit 7e6e9cc pushed by sdthompson1
1m 31s main
main
1m 31s
isabelle: simplify fun_info_matches_interp_fun by removing a redundan… CodeQL Advanced #249: Commit 5effbb1 pushed by sdthompson1
1m 35s main
main
1m 35s
isabelle: Split CoreTypeSubst.thy into three files. CodeQL Advanced #248: Commit 7a7aaa8 pushed by sdthompson1
1m 45s main
main
1m 45s
isabelle: Refactor type soundness proofs not to rely on substituting … CodeQL Advanced #247: Commit 2a96053 pushed by sdthompson1
1m 34s main
main
1m 34s
isabelle: Fix broken proof CodeQL Advanced #246: Commit efce520 pushed by sdthompson1
1m 38s main
main
1m 38s
CodeQL Advanced CodeQL Advanced #245: Scheduled
1m 31s main
main
1m 31s
isabelle: Define extern_fun_contract properly, and fill in the one re… CodeQL Advanced #244: Commit eca7a35 pushed by sdthompson1
1m 35s main
main
1m 35s