Skip to content

Actions: francescoo22/masters-thesis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
178 workflow runs
178 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add future work Build Typst document #103: Commit e4b35ab pushed by francescoo22
August 22, 2024 14:42 27s main
main
August 22, 2024 14:42 27s
Fix titles Build Typst document #102: Commit bc07c0c pushed by francescoo22
August 22, 2024 10:25 20s main
main
August 22, 2024 10:25 20s
Fix todos Build Typst document #101: Commit 9bbcc3d pushed by francescoo22
August 22, 2024 10:13 22s main
main
August 22, 2024 10:13 22s
Fix stack in grammar + proof Build Typst document #100: Commit c11e54c pushed by francescoo22
August 22, 2024 10:01 27s main
main
August 22, 2024 10:01 27s
Fix title Build Typst document #99: Commit b390c8e pushed by francescoo22
August 22, 2024 08:34 22s main
main
August 22, 2024 08:34 22s
Add formal verification Build Typst document #98: Commit 5ca6f9f pushed by francescoo22
August 21, 2024 17:37 20s main
main
August 21, 2024 17:37 20s
Add smart cast and optimizations Build Typst document #97: Commit bc7f7a1 pushed by francescoo22
August 21, 2024 16:11 26s main
main
August 21, 2024 16:11 26s
Fix stack example Build Typst document #96: Commit 502617c pushed by francescoo22
August 20, 2024 12:56 36s main
main
August 20, 2024 12:56 36s
Add uniqueness assignments Build Typst document #95: Commit c528920 pushed by francescoo22
August 20, 2024 12:12 43s main
main
August 20, 2024 12:12 43s
add class annotations Build Typst document #94: Commit 9e3ded8 pushed by francescoo22
August 20, 2024 08:31 28s main
main
August 20, 2024 08:31 28s
Add uniqueness in kotlin overview Build Typst document #93: Commit f638369 pushed by francescoo22
August 19, 2024 15:20 23s main
main
August 19, 2024 15:20 23s
Complete function encoding Build Typst document #92: Commit 1d754c0 pushed by francescoo22
August 19, 2024 08:42 23s main
main
August 19, 2024 08:42 23s
Add constructors Build Typst document #91: Commit 2653e0b pushed by francescoo22
August 16, 2024 15:12 22s main
main
August 16, 2024 15:12 22s
Add function call encoding Build Typst document #90: Commit 69fe3bb pushed by francescoo22
August 16, 2024 12:27 26s main
main
August 16, 2024 12:27 26s
Add function encoding Build Typst document #89: Commit cc1b77b pushed by francescoo22
August 14, 2024 15:50 19s main
main
August 14, 2024 15:50 19s
Add language logos Build Typst document #88: Commit 6bbed79 pushed by francescoo22
August 14, 2024 12:20 27s main
main
August 14, 2024 12:20 27s
Add unique predicates Build Typst document #87: Commit 5ed9fb6 pushed by francescoo22
August 14, 2024 12:19 34s main
main
August 14, 2024 12:19 34s
Fix typo Build Typst document #86: Commit e5de321 pushed by francescoo22
August 14, 2024 09:06 21s main
main
August 14, 2024 09:06 21s
Fix shared predicates Build Typst document #85: Commit c45fc70 pushed by francescoo22
August 14, 2024 08:50 21s main
main
August 14, 2024 08:50 21s
Add shared predicates Build Typst document #84: Commit 59d3537 pushed by francescoo22
August 13, 2024 16:14 25s main
main
August 13, 2024 16:14 25s
Refactoring Build Typst document #83: Commit 57ad75d pushed by francescoo22
August 13, 2024 10:05 20s main
main
August 13, 2024 10:05 20s
Refactoring Build Typst document #82: Commit 61bd389 pushed by francescoo22
August 13, 2024 09:51 21s main
main
August 13, 2024 09:51 21s
Add viper encoding draft Build Typst document #81: Commit 50f6236 pushed by francescoo22
August 12, 2024 15:27 21s main
main
August 12, 2024 15:27 21s
Add Viper domains Build Typst document #80: Commit cd24ac8 pushed by francescoo22
August 12, 2024 08:28 26s main
main
August 12, 2024 08:28 26s
Add Viper domains Build Typst document #79: Commit ec83ee4 pushed by francescoo22
August 9, 2024 15:51 24s main
main
August 9, 2024 15:51 24s