Skip to content

Actions: titzer/virgil

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
505 workflow runs
505 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Update Layouts.md Continuous Integration #658: Commit 0754df3 pushed by titzer
May 28, 2024 16:46 3m 53s master
master
May 28, 2024 16:46 3m 53s
[debug] Add list command which shows files in the program Continuous Integration #657: Commit 66f09c0 pushed by titzer
May 28, 2024 14:53 4m 10s master
master
May 28, 2024 14:53 4m 10s
[debug] Improvements and bugfixes to debugger Continuous Integration #656: Commit a89ce59 pushed by titzer
May 28, 2024 14:44 3m 44s master
master
May 28, 2024 14:44 3m 44s
Fix link to paper Continuous Integration #655: Commit 14af3b3 pushed by titzer
May 26, 2024 14:35 3m 27s master
master
May 26, 2024 14:35 3m 27s
[doc] Update aeneas-issues.txt Continuous Integration #654: Commit 601cc94 pushed by titzer
May 24, 2024 14:58 3m 45s master
master
May 24, 2024 14:58 3m 45s
[system] Implement System.{read,write} partial success properly Continuous Integration #653: Commit b67e228 pushed by titzer
May 22, 2024 21:25 3m 32s master
master
May 22, 2024 21:25 3m 32s
[test] Refactor enumeration of io targets to allow multiple Wasm targets Continuous Integration #652: Commit 8cb3a44 pushed by titzer
May 21, 2024 21:07 3m 44s master
master
May 21, 2024 21:07 3m 44s
[doc] Update script names for wasm-wave target Continuous Integration #651: Commit 692b9f5 pushed by titzer
May 21, 2024 20:02 28m 7s master
master
May 21, 2024 20:02 28m 7s
Fix bug in match verification of data types Continuous Integration #650: Commit 53384a5 pushed by titzer
May 21, 2024 19:56 28m 21s master
master
May 21, 2024 19:56 28m 21s
[arm64] Minor formatting cleanups Continuous Integration #649: Commit 455e112 pushed by titzer
May 21, 2024 18:43 25m 23s master
master
May 21, 2024 18:43 25m 23s
[wasm] Rename wave,wasi,wali targets to wasm-wave,wasm-wasi1,wasm-linux Continuous Integration #648: Commit 62f0e43 pushed by titzer
May 21, 2024 18:20 25m 48s master
master
May 21, 2024 18:20 25m 48s
[arm64] Implement test generation and codegen first operations (#229) Continuous Integration #647: Commit 4bc627e pushed by titzer
May 19, 2024 18:24 24m 33s master
master
May 19, 2024 18:24 24m 33s
Yonah arm64 backend updates Continuous Integration #646: Pull request #229 synchronize by YonahGoldberg
May 17, 2024 21:30 45m 21s YonahGoldberg:yonah-arm64-backend-updates
YonahGoldberg:yonah-arm64-backend-updates
May 17, 2024 21:30 45m 21s
Yonah arm64 backend updates Continuous Integration #645: Pull request #229 synchronize by YonahGoldberg
May 17, 2024 21:27 3m 32s YonahGoldberg:yonah-arm64-backend-updates
YonahGoldberg:yonah-arm64-backend-updates
May 17, 2024 21:27 3m 32s
Yonah arm64 backend updates Continuous Integration #644: Pull request #229 synchronize by YonahGoldberg
May 17, 2024 21:25 2m 6s YonahGoldberg:yonah-arm64-backend-updates
YonahGoldberg:yonah-arm64-backend-updates
May 17, 2024 21:25 2m 6s
Yonah arm64 backend updates Continuous Integration #643: Pull request #229 synchronize by YonahGoldberg
May 17, 2024 21:24 1m 32s YonahGoldberg:yonah-arm64-backend-updates
YonahGoldberg:yonah-arm64-backend-updates
May 17, 2024 21:24 1m 32s
Yonah arm64 backend updates Continuous Integration #642: Pull request #229 synchronize by YonahGoldberg
May 17, 2024 21:21 3m 2s YonahGoldberg:yonah-arm64-backend-updates
YonahGoldberg:yonah-arm64-backend-updates
May 17, 2024 21:21 3m 2s
Yonah arm64 backend updates Continuous Integration #641: Pull request #229 synchronize by YonahGoldberg
May 17, 2024 21:15 6m 32s YonahGoldberg:yonah-arm64-backend-updates
YonahGoldberg:yonah-arm64-backend-updates
May 17, 2024 21:15 6m 32s
Allow : in representation hints Continuous Integration #640: Commit 85bf122 pushed by titzer
May 16, 2024 21:31 26m 41s master
master
May 16, 2024 21:31 26m 41s
Add debugger TODOs Continuous Integration #639: Commit 0599f57 pushed by titzer
May 16, 2024 20:49 24m 19s master
master
May 16, 2024 20:49 24m 19s
Relative path Continuous Integration #638: Commit 1c38bd3 pushed by titzer
May 7, 2024 22:11 24m 54s master
master
May 7, 2024 22:11 24m 54s
Update Wasm documentation Continuous Integration #637: Commit e80a900 pushed by titzer
May 7, 2024 22:11 24m 32s master
master
May 7, 2024 22:11 24m 32s
[doc] Add tutorial for developing for Wasm Continuous Integration #636: Commit 25d8d90 pushed by titzer
May 7, 2024 22:07 24m 44s master
master
May 7, 2024 22:07 24m 44s
Fix bug with unboxed refs Continuous Integration #635: Commit af34d4e pushed by titzer
May 4, 2024 18:41 24m 35s master
master
May 4, 2024 18:41 24m 35s
Fix normalization of devirtualized abstract methods Continuous Integration #634: Commit d91bf69 pushed by titzer
May 4, 2024 18:16 24m 16s master
master
May 4, 2024 18:16 24m 16s