Skip to content

Actions: francescoo22/kt-uniqueness-system

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix assign-call Build Typst document #26: Commit 4448420 pushed by francescoo22
August 22, 2024 10:15 19s main
main
August 22, 2024 10:15 19s
Fix remove locals Build Typst document #25: Commit 86c997c pushed by francescoo22
July 17, 2024 12:11 19s main
main
July 17, 2024 12:11 19s
Improve pointwise LUB Build Typst document #24: Commit c895191 pushed by francescoo22
July 16, 2024 16:09 21s main
main
July 16, 2024 16:09 21s
Fix assign-null Build Typst document #23: Commit 9aa7bd2 pushed by francescoo22
July 13, 2024 13:45 21s main
main
July 13, 2024 13:45 21s
Control Flow Analysis for Unique Checker (#1) Build Typst document #22: Commit 4582400 pushed by Eric-Song-Nop
July 8, 2024 08:39 16s main
main
July 8, 2024 08:39 16s
Fix call rule Build Typst document #21: Commit a2dad8f pushed by francescoo22
July 6, 2024 13:38 17s main
main
July 6, 2024 13:38 17s
Fix return-p Build Typst document #20: Commit e5cecbe pushed by francescoo22
July 5, 2024 15:04 19s main
main
July 5, 2024 15:04 19s
Fix return-p Build Typst document #19: Commit 7457a48 pushed by francescoo22
July 5, 2024 15:02 18s decl-precondition
decl-precondition
July 5, 2024 15:02 18s
fix CFA with more graph Build Typst document #18: Commit f4b4b5d pushed by Eric-Song-Nop
July 2, 2024 12:57 29s CFG
CFG
July 2, 2024 12:57 29s
Add decl precondition (#3) Build Typst document #17: Commit 95d7d9d pushed by francescoo22
June 28, 2024 12:40 26s main
main
June 28, 2024 12:40 26s
Add decl precondition Build Typst document #16: Commit 3262ea6 pushed by francescoo22
June 28, 2024 10:57 17s decl-precondition
decl-precondition
June 28, 2024 10:57 17s
unify notation with annotation system and fix not formalized part Build Typst document #15: Commit 7c21f14 pushed by Eric-Song-Nop
June 26, 2024 05:42 17s CFG
CFG
June 26, 2024 05:42 17s
Merge "Also include branch in PDF and zip name" (#2) Build Typst document #14: Commit 883e680 pushed by jesyspa
June 19, 2024 08:38 16s main
main
June 19, 2024 08:38 16s
Also include branch in PDF and zip name Build Typst document #13: Commit 8911c26 pushed by jesyspa
June 19, 2024 07:46 19s branch-in-name
branch-in-name
June 19, 2024 07:46 19s
Fix3 Build Typst document #12: Commit fe803b2 pushed by jesyspa
June 19, 2024 07:45 16s branch-in-name
branch-in-name
June 19, 2024 07:45 16s
Fix2 Build Typst document #11: Commit 5cb5e23 pushed by jesyspa
June 19, 2024 07:43 16s branch-in-name
branch-in-name
June 19, 2024 07:43 16s
Fix? Build Typst document #10: Commit c7fe4ca pushed by jesyspa
June 19, 2024 07:42 20s branch-in-name
branch-in-name
June 19, 2024 07:42 20s
Also include branch in PDF and zip name Build Typst document #9: Commit 741af3b pushed by jesyspa
June 19, 2024 07:39 22s branch-in-name
branch-in-name
June 19, 2024 07:39 22s
simple formalization for most important nodes Build Typst document #8: Commit ef577b8 pushed by Eric-Song-Nop
June 19, 2024 00:48 17s CFG
CFG
June 19, 2024 00:48 17s
temporily move examples on function calls to here Build Typst document #7: Commit e5b89ee pushed by Eric-Song-Nop
June 18, 2024 12:45 19s CFG
CFG
June 18, 2024 12:45 19s
fix PDFs renaming Build Typst document #6: Commit b8bc342 pushed by francescoo22
June 18, 2024 11:43 22s main
main
June 18, 2024 11:43 22s
Add date to PDFs Build Typst document #5: Commit 75354eb pushed by francescoo22
June 18, 2024 10:32 15s main
main
June 18, 2024 10:32 15s
fix deprecated actions Build Typst document #4: Commit 136ab55 pushed by francescoo22
June 17, 2024 11:46 23s main
main
June 17, 2024 11:46 23s
split documents Build Typst document #3: Commit 17037de pushed by francescoo22
June 17, 2024 10:12 18s main
main
June 17, 2024 10:12 18s
add build file Build Typst document #2: Commit 22f360f pushed by francescoo22
June 17, 2024 10:00 22s main
main
June 17, 2024 10:00 22s