8000 Workflow runs · rsofaer/vellvm · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
/ vellvm Public forked from vellvm/vellvm

Actions: rsofaer/vellvm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
76 workflow runs
76 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

One step further in InstrLemmas Nix build for vellvm #38: Commit 663a14f pushed by rsofaer
March 14, 2025 17:57 13m 48s pv_mods8.20
pv_mods8.20
March 14, 2025 17:57 13m 48s
One step further in InstrLemmas Vellvm Compilation Test #38: Commit 663a14f pushed by rsofaer
March 14, 2025 17:57 29m 15s pv_mods8.20
pv_mods8.20
March 14, 2025 17:57 29m 15s
Restore working PropT for now Nix build for vellvm #37: Commit 9700407 pushed by rsofaer
March 14, 2025 17:42 16m 46s pv_mods8.20
pv_mods8.20
March 14, 2025 17:42 16m 46s
Restore working PropT for now Vellvm Compilation Test #37: Commit 9700407 pushed by rsofaer
March 14, 2025 17:42 29m 26s pv_mods8.20
pv_mods8.20
March 14, 2025 17:42 29m 26s
non-compiling state of PropT, looking for a better bind definition Nix build for vellvm #36: Commit 58ae901 pushed by rsofaer
March 13, 2025 20:03 1m 33s pv_mods8.20
pv_mods8.20
March 13, 2025 20:03 1m 33s
non-compiling state of PropT, looking for a better bind definition Vellvm Compilation Test #36: Commit 58ae901 pushed by rsofaer
March 13, 2025 20:03 16m 15s pv_mods8.20
pv_mods8.20
March 13, 2025 20:03 16m 15s
Fixed several Proper instances, now working on the form of interp_cfg… Vellvm Compilation Test #35: Commit 96e591d pushed by rsofaer
March 13, 2025 16:40 29m 30s pv_mods8.20
pv_mods8.20
March 13, 2025 16:40 29m 30s
Fixed several Proper instances, now working on the form of interp_cfg… Nix build for vellvm #35: Commit 96e591d pushed by rsofaer
March 13, 2025 16:40 15m 7s pv_mods8.20
pv_mods8.20
March 13, 2025 16:40 15m 7s
Add equiv_propT simpler relation on PropT and admitted monadic lemmas… Vellvm Compilation Test #34: Commit 302ab76 pushed by rsofaer
March 12, 2025 21:26 29m 30s pv_mods8.20
pv_mods8.20
March 12, 2025 21:26 29m 30s
Add equiv_propT simpler relation on PropT and admitted monadic lemmas… Nix build for vellvm #34: Commit 302ab76 pushed by rsofaer
March 12, 2025 21:26 15m 57s pv_mods8.20
pv_mods8.20
March 12, 2025 21:26 15m 57s
Proper instance for interp_memory_spec Nix build for vellvm #33: Commit bc66755 pushed by rsofaer
March 12, 2025 19:58 16m 19s pv_mods8.20
pv_mods8.20
March 12, 2025 19:58 16m 19s
Proper instance for interp_memory_spec Vellvm Compilation Test #33: Commit bc66755 pushed by rsofaer
March 12, 2025 19:58 29m 21s pv_mods8.20
pv_mods8.20
March 12, 2025 19:58 29m 21s
Continued work in instrLemmas, Started lemmas in MemoryInterpreters Vellvm Compilation Test #32: Commit 639e8cd pushed by rsofaer
March 12, 2025 16:59 22m 12s pv_mods8.20
pv_mods8.20
March 12, 2025 16:59 22m 12s
Continued work in instrLemmas, Started lemmas in MemoryInterpreters Nix build for vellvm #32: Commit 639e8cd pushed by rsofaer
March 12, 2025 16:59 7m 46s pv_mods8.20
pv_mods8.20
March 12, 2025 16:59 7m 46s
refine_23_cfg_eq now working Vellvm Compilation Test #31: Commit 3a0c9d7 pushed by rsofaer
March 12, 2025 15:40 29m 49s pv_mods8.20
pv_mods8.20
March 12, 2025 15:40 29m 49s
refine_23_cfg_eq now working Nix build for vellvm #31: Commit 3a0c9d7 pushed by rsofaer
March 12, 2025 15:40 17m 24s pv_mods8.20
pv_mods8.20
March 12, 2025 15:40 17m 24s
Para 10A77 meters in TopLevelRefinements Nix build for vellvm #30: Commit 09396a3 pushed by rsofaer
March 12, 2025 14:52 16m 29s pv_mods8.20
pv_mods8.20
March 12, 2025 14:52 16m 29s
Parameters in TopLevelRefinements Vellvm Compilation Test #30: Commit 09396a3 pushed by rsofaer
March 12, 2025 14:52 29m 50s pv_mods8.20
pv_mods8.20
March 12, 2025 14:52 29m 50s
Fully generalize out dvalue in return structures Nix build for vellvm #29: Commit 453d8ce pushed by rsofaer
March 12, 2025 14:38 10m 2s pv_mods8.20
pv_mods8.20
March 12, 2025 14:38 10m 2s
Fully generalize out dvalue in return structures Vellvm Compilation Test #29: Commit 453d8ce pushed by rsofaer
March 12, 2025 14:38 26m 46s pv_mods8.20
pv_mods8.20
March 12, 2025 14:38 26m 46s
Generalize return type for refinement relations. Nix build for vellvm #28: Commit 8ed94b1 pushed by Chobbes
March 12, 2025 14:30 9m 51s pv_mods8.20
pv_mods8.20
March 12, 2025 14:30 9m 51s
Generalize return type for refinement relations. Vellvm Compilation Test #28: Commit 8ed94b1 pushed by Chobbes
March 12, 2025 14:30 10m 58s pv_mods8.20
pv_mods8.20
March 12, 2025 14:30 10m 58s
Some more tactics Vellvm Compilation Test #27: Commit 2e9c837 pushed by rsofaer
March 12, 2025 14:12 11m 12s pv_mods8.20
pv_mods8.20
March 12, 2025 14:12 11m 12s
Some more tactics Nix build for vellvm #27: Commit 2e9c837 pushed by rsofaer
March 12, 2025 14:12 17m 59s pv_mods8.20
pv_mods8.20
March 12, 2025 14:12 17m 59s
Some tactics and cleanup in InstrLemmas.v Nix build for vellvm #26: Commit b713f8d pushed by rsofaer
March 12, 2025 13:11 16m 23s pv_mods8.20
pv_mods8.20
March 12, 2025 13:11 16m 23s
0