Skip to content

Actions: vellvm/vellvm

Actions

Vellvm Compilation Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
16 workflow runs
16 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Add paper-theorems.md for completeness sake. Vellvm Compilation Test #16: Commit edc648f pushed by Chobbes
June 5, 2024 17:02 1h 5m 45s icfp24-artifact
icfp24-artifact
June 5, 2024 17:02 1h 5m 45s
Add comments referencing theorem numbers from the paper. Vellvm Compilation Test #15: Commit 7f51024 pushed by Chobbes
June 5, 2024 16:21 1h 7m 26s icfp24-artifact
icfp24-artifact
June 5, 2024 16:21 1h 7m 26s
Add comments referencing theorem numbers from the paper. Vellvm Compilation Test #14: Commit 2ba4e61 pushed by Chobbes
June 5, 2024 14:28 1h 7m 2s icfp24-artifact
icfp24-artifact
June 5, 2024 14:28 1h 7m 2s
Add comments referencing theorem numbers from the paper. Vellvm Compilation Test #13: Commit f3485ea pushed by Chobbes
June 5, 2024 14:20 1h 6m 14s icfp24-artifact
icfp24-artifact
June 5, 2024 14:20 1h 6m 14s
paper-theorems.org notes about axioms. Vellvm Compilation Test #12: Commit 44404a4 pushed by Chobbes
June 5, 2024 00:32 1h 6m 22s icfp24-artifact
icfp24-artifact
June 5, 2024 00:32 1h 6m 22s
Work on mapping of lemmas in the paper in paper-theorems.org Vellvm Compilation Test #11: Commit e4f5d3e pushed by Chobbes
June 4, 2024 20:03 1h 5m 11s icfp24-artifact
icfp24-artifact
June 4, 2024 20:03 1h 5m 11s
Improvements to the readme in regards to tests. Vellvm Compilation Test #10: Commit 55e8250 pushed by Chobbes
June 4, 2024 17:50 20m 18s icfp24-artifact
icfp24-artifact
June 4, 2024 17:50 20m 18s
Work on mapping of lemmas in the paper in paper-theorems.org Vellvm Compilation Test #9: Commit e1fde32 pushed by Chobbes
May 30, 2024 16:59 1h 5m 4s icfp24-artifact
icfp24-artifact
May 30, 2024 16:59 1h 5m 4s
Work on mapping of lemmas in the paper. Vellvm Compilation Test #8: Commit 11ff7e4 pushed by Chobbes
May 30, 2024 16:55 1h 3m 49s icfp24-artifact
icfp24-artifact
May 30, 2024 16:55 1h 3m 49s
Work on mapping of lemmas in the paper. Vellvm Compilation Test #7: Commit 1861543 pushed by Chobbes
May 29, 2024 21:30 24m 54s icfp24-artifact
icfp24-artifact
May 29, 2024 21:30 24m 54s
Work on mapping of lemmas in the paper. Vellvm Compilation Test #6: Commit fdf7715 pushed by Chobbes
May 29, 2024 19:43 17s icfp24-artifact
icfp24-artifact
May 29, 2024 19:43 17s
Remove QCVellvm reference. Vellvm Compilation Test #5: Commit e852117 pushed by Chobbes
April 15, 2024 14:40 18s icfp-2024-submission
icfp-2024-submission
April 15, 2024 14:40 18s
Remove QCVellvm reference. Vellvm Compilation Test #4: Commit e852117 pushed by Chobbes
February 29, 2024 06:57 42m 36s icfp24-submission
icfp24-submission
February 29, 2024 06:57 42m 36s
Fix compilation with twophase replacement. Vellvm Compilation Test #3: Commit 41e3f91 pushed by Chobbes
February 29, 2024 06:50 41m 59s icfp24-submission
icfp24-submission
February 29, 2024 06:50 41m 59s
Update opam workflow. Vellvm Compilation Test #2: Commit 3d92942 pushed by Chobbes
February 29, 2024 06:31 41m 33s icfp24-submission
icfp24-submission
February 29, 2024 06:31 41m 33s
Big vellvm -> twophase replacement. Vellvm Compilation Test #1: Commit 91d2001 pushed by Chobbes
February 29, 2024 06:19 50s icfp24-submission
icfp24-submission
February 29, 2024 06:19 50s