Skip to content

Actions: titzer/virgil

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
652 workflow runs
652 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[doc] Add optimization ideas
Continuous Integration #1033: Commit 6ee7082 pushed by titzer
January 31, 2025 15:55 10m 8s master
January 31, 2025 15:55 10m 8s
Support for pointers to unboxed variant fields (that are not in array…
Continuous Integration #1032: Commit c2bdd61 pushed by titzer
January 30, 2025 22:55 8m 37s master
January 30, 2025 22:55 8m 37s
[doc] Update Aeneas issues
Continuous Integration #1030: Commit dab3ebb pushed by titzer
January 29, 2025 01:36 9m 29s master
January 29, 2025 01:36 9m 29s
Fix normalization of subrange operators for mixed arrays (#338)
Continuous Integration #1029: Commit caad8cc pushed by titzer
January 28, 2025 19:28 10m 56s master
January 28, 2025 19:28 10m 56s
Fix normalization of subrange operators for mixed arrays
Continuous Integration #1028: Pull request #338 opened by titzer
January 28, 2025 19:16 9m 51s fix_mixed_range_bug
January 28, 2025 19:16 9m 51s
[lib/util] Add a couple of one-liners
Continuous Integration #1026: Commit e4e27fb pushed by titzer
January 25, 2025 17:35 7m 2s master
January 25, 2025 17:35 7m 2s
[lib] Add Types utility methods
Continuous Integration #1025: Commit 65380d7 pushed by titzer
January 23, 2025 21:24 9m 38s master
January 23, 2025 21:24 9m 38s
[lib] JSON format parsing & representation
Continuous Integration #1024: Pull request #292 synchronize by linxuanm
January 23, 2025 12:55 10m 33s linxuanm:json
January 23, 2025 12:55 10m 33s
[lib] JSON format parsing & representation
Continuous Integration #1023: Pull request #292 synchronize by linxuanm
January 23, 2025 08:50 7m 44s linxuanm:json
January 23, 2025 08:50 7m 44s
[lib] JSON format parsing & representation
Continuous Integration #1022: Pull request #292 synchronize by linxuanm
January 21, 2025 13:17 10m 57s linxuanm:json
January 21, 2025 13:17 10m 57s
[lib] JSON format parsing & representation
Continuous Integration #1021: Pull request #292 synchronize by linxuanm
January 21, 2025 13:16 1m 4s linxuanm:json
January 21, 2025 13:16 1m 4s
[optimize] Extend load elimination to PtrLoad/PtrStore (#304)
Continuous Integration #1020: Commit cb62c77 pushed by titzer
January 20, 2025 02:31 8m 21s master
January 20, 2025 02:31 8m 21s
[optimize] Extend load elimination to PtrLoad/PtrStore
Continuous Integration #1019: Pull request #304 synchronize by titzer
January 20, 2025 02:15 8m 3s load_elim_ptr_load
January 20, 2025 02:15 8m 3s
[ic] Remove IcInterpreter (#337)
Continuous Integration #1018: Commit 3f52d62 pushed by titzer
January 20, 2025 02:13 10m 24s master
January 20, 2025 02:13 10m 24s
[ic] Remove IcInterpreter
Continuous Integration #1017: Pull request #337 synchronize by titzer
January 20, 2025 01:56 9m 33s rm_ic_interpreter
January 20, 2025 01:56 9m 33s
[optimize] Extend load elimination to PtrLoad/PtrStore
Continuous Integration #1016: Pull request #304 synchronize by titzer
January 20, 2025 01:50 11m 16s load_elim_ptr_load
January 20, 2025 01:50 11m 16s
[ic] Remove IcInterpreter
Continuous Integration #1015: Pull request #337 opened by titzer
January 20, 2025 01:44 9m 43s rm_ic_interpreter
January 20, 2025 01:44 9m 43s
Resume unstable development
Continuous Integration #1014: Commit 93f953c pushed by titzer
January 20, 2025 01:43 8m 44s master
January 20, 2025 01:43 8m 44s
[stable] Release III-8.1787 (#335)
Continuous Integration #1013: Commit 31a9990 pushed by titzer
January 20, 2025 01:36 10m 48s master
January 20, 2025 01:36 10m 48s
[stable] Release III-8.1786
Continuous Integration #1012: Pull request #335 synchronize by titzer
January 20, 2025 01:13 10m 1s stable_rev
January 20, 2025 01:13 10m 1s
[stable] Release III-8.1786
Continuous Integration #1011: Pull request #335 synchronize by titzer
January 20, 2025 01:03 2m 41s stable_rev
January 20, 2025 01:03 2m 41s
[dwarf] Fix crash if subprogram is null (#336)
Continuous Integration #1010: Commit 2e868d5 pushed by titzer
January 20, 2025 01:01 8m 20s master
January 20, 2025 01:01 8m 20s
[dwarf] Fix crash if subprogram is null
Continuous Integration #1009: Pull request #336 opened by titzer
January 20, 2025 00:49 7m 50s fix_dwarf
January 20, 2025 00:49 7m 50s