Skip to content

Actions: vellvm/vellvm

Actions

Vellvm Compilation Test

Actions

Loading...

Show workflow options

Create status badge

vellvm.yml
244 workflow runs
244 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Cleanup whitespace in QC generators. Vellvm Compilation Test #192: Commit 8076477 pushed by Chobbes
March 20, 2024 17:25 21m 49s ecs-qc
ecs-qc
March 20, 2024 17:25 21m 49s
Update generators to generate i64 types now that vellvm can parse the… Vellvm Compilation Test #191: Commit dd58bb8 pushed by Chobbes
March 20, 2024 16:20 59m 7s ecs-qc
ecs-qc
March 20, 2024 16:20 59m 7s
Patch lexer to use bigints for integer literals. Vellvm Compilation Test #190: Commit 3df7817 pushed by Chobbes
March 20, 2024 16:08 59m 6s ecs-qc
ecs-qc
March 20, 2024 16:08 59m 6s
Disable i64 generation. Vellvm parser cannot handle them (63-bit ocaml Vellvm Compilation Test #189: Commit 898b8e9 pushed by Chobbes
March 20, 2024 14:42 58m 54s ecs-qc
ecs-qc
March 20, 2024 14:42 58m 54s
Fix context backtracking code. Was not reseting the contexts, so Vellvm Compilation Test #188: Commit a8640e9 pushed by Chobbes
March 20, 2024 14:30 58m 47s ecs-qc
ecs-qc
March 20, 2024 14:30 58m 47s
Add command to use vellvm executable, instead of compiling through QC... Vellvm Compilation Test #187: Commit dc2dccd pushed by Chobbes
March 20, 2024 13:58 58m 53s ecs-qc
ecs-qc
March 20, 2024 13:58 58m 53s
Ensure allocas are initialized. Add non-determinsim metadata. Vellvm Compilation Test #186: Commit 878f022 pushed by Chobbes
March 20, 2024 01:42 58m 59s ecs-qc
ecs-qc
March 20, 2024 01:42 58m 59s
Hopefully fix phi_id bug. Vellvm Compilation Test #185: Commit 10ff0d5 pushed by Chobbes
March 20, 2024 00:48 59m 24s ecs-qc
ecs-qc
March 20, 2024 00:48 59m 24s
Update gen_instr to get rid of alloca store bodge. Vellvm Compilation Test #184: Commit 70331f7 pushed by Chobbes
March 19, 2024 17:33 14m 17s ecs-qc
ecs-qc
March 19, 2024 17:33 14m 17s
Port gen_instr. Vellvm Compilation Test #183: Commit b6a1c6f pushed by Chobbes
March 19, 2024 16:01 14m 9s ecs-qc
ecs-qc
March 19, 2024 16:01 14m 9s
Port over gen_inttoptr... May be a funny case with vector pointers. Vellvm Compilation Test #182: Commit 9aa42a3 pushed by Chobbes
March 19, 2024 02:21 14m 28s ecs-qc
ecs-qc
March 19, 2024 02:21 14m 28s
Porting + simplifying typ generators. Vellvm Compilation Test #181: Commit a2fb794 pushed by Chobbes
March 18, 2024 20:14 13m 55s ecs-qc
ecs-qc
March 18, 2024 20:14 13m 55s
add histogram output to frontend Vellvm Compilation Test #180: Commit d1b667d pushed by Zdancewic
March 18, 2024 18:36 50m 51s vellvm-testing
vellvm-testing
March 18, 2024 18:36 50m 51s
Fix up GenQuery. Vellvm Compilation Test #179: Commit 3218f1a pushed by Chobbes
March 18, 2024 18:20 14m 5s ecs-qc
ecs-qc
March 18, 2024 18:20 14m 5s
missing axiom definition Vellvm Compilation Test #178: Commit 3b82ee8 pushed by Zdancewic
March 18, 2024 17:43 50m 47s vellvm-testing
vellvm-testing
March 18, 2024 17:43 50m 47s
Work on converting generators over. Vellvm Compilation Test #177: Commit a172bad pushed by Chobbes
March 18, 2024 14:43 14m 13s ecs-qc
ecs-qc
March 18, 2024 14:43 14m 13s
add type declaration. Need to change gen_exp to accept fix Vellvm Compilation Test #176: Commit f4947be pushed by Chobbes
March 14, 2024 21:49 51m 43s vellvm-testing
vellvm-testing
March 14, 2024 21:49 51m 43s
add type declaration. Need to change gen_exp to accept fix Vellvm Compilation Test #175: Commit e7cd5ff pushed by hanxic
March 14, 2024 19:41 4m 12s vellvm-testing
vellvm-testing
March 14, 2024 19:41 4m 12s
fix Vellvm Compilation Test #174: Commit 8b5243a pushed by YaZko
March 14, 2024 16:18 19m 7s fast-install
fast-install
March 14, 2024 16:18 19m 7s
Brutal unplugging of the proof of refinements between both levels for… Vellvm Compilation Test #173: Commit 548abe2 pushed by YaZko
March 14, 2024 15:27 6m 59s fast-install
fast-install
March 14, 2024 15:27 6m 59s
Bump coq version for docker? Vellvm Compilation Test #172: Commit 68a2327 pushed by Chobbes
March 13, 2024 20:43 51m 5s finite-memory
finite-memory
March 13, 2024 20:43 51m 5s
Bump coq version for docker? Vellvm Compilation Test #171: Commit 68a2327 pushed by Chobbes
March 13, 2024 18:05 50m 48s model-proof-test
model-proof-test
March 13, 2024 18:05 50m 48s
Concretization termination. Vellvm Compilation Test #170: Commit a7a8243 pushed by Chobbes
March 13, 2024 17:58 21s emoji-test
emoji-test
March 13, 2024 17:58 21s
Concretization termination 😎 Vellvm Compilation Test #169: Commit 970cedd pushed by Chobbes
March 13, 2024 17:50 49s model-proof-test
model-proof-test
March 13, 2024 17:50 49s
Script for getting evaluation in the tmp directory Vellvm Compilation Test #168: Commit 329a713 pushed by hanxic
March 3, 2024 23:08 4m 1s vellvm-testing
vellvm-testing
March 3, 2024 23:08 4m 1s