Skip to content

Actions: ysthakur/fred

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
88 workflow runs
88 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md Test #88: Commit 8444649 pushed by ysthakur
January 5, 2025 22:14 1m 44s main
main
January 5, 2025 22:14 1m 44s
Allow considering all SCCs bad Test #87: Commit bd71e93 pushed by ysthakur
December 23, 2024 20:52 1m 35s main
main
December 23, 2024 20:52 1m 35s
Add fuzz-out Test #86: Commit 601ba5a pushed by ysthakur
December 23, 2024 20:25 1m 46s main
main
December 23, 2024 20:25 1m 46s
bench(stupid): Take advantage of non-lexical lifetimes Test #85: Commit fe8bb36 pushed by ysthakur
December 23, 2024 20:21 1m 36s non-lexical-lifetimes
non-lexical-lifetimes
December 23, 2024 20:21 1m 36s
bench(stupid): Take advantage of non-lexical lifetimes Test #84: Commit fe8bb36 pushed by ysthakur
December 23, 2024 20:19 1m 30s main
main
December 23, 2024 20:19 1m 30s
bench(stupid): Take advantage of non-lexical lifetimes Test #83: Commit fe8bb36 pushed by ysthakur
December 23, 2024 20:19 1m 31s non-lexical-lifetimes
non-lexical-lifetimes
December 23, 2024 20:19 1m 31s
Fix fuzz harness Test #82: Commit 4d7d78a pushed by ysthakur
December 23, 2024 20:13 1m 30s non-lexical-lifetimes
non-lexical-lifetimes
December 23, 2024 20:13 1m 30s
Handle unused params and bindings in matches Test #81: Commit 49c89a4 pushed by ysthakur
December 23, 2024 06:47 1m 25s non-lexical-lifetimes
non-lexical-lifetimes
December 23, 2024 06:47 1m 25s
Find last usage of variables Test #80: Commit 1b54544 pushed by ysthakur
December 23, 2024 05:58 1m 26s non-lexical-lifetimes
non-lexical-lifetimes
December 23, 2024 05:58 1m 26s
Remove unnecessary imports in FuzzTests Test #79: Commit 4f78031 pushed by ysthakur
December 22, 2024 23:15 1m 29s main
main
December 22, 2024 23:15 1m 29s
writeup: Add double reference counts idea Test #78: Commit 5f1ce7a pushed by ysthakur
December 18, 2024 02:14 1m 55s main
main
December 18, 2024 02:14 1m 55s
Merge branch 'main' of github.com:ysthakur/fred Test #77: Commit 07a34e0 pushed by ysthakur
December 17, 2024 22:00 1m 37s main
main
December 17, 2024 22:00 1m 37s
Add runtime.h to generated C file again Test #76: Commit 57ee692 pushed by ysthakur
December 16, 2024 23:31 1m 41s main
main
December 16, 2024 23:31 1m 41s
Remove fuzz test case that I was debugging Test #75: Commit 56eee0f pushed by ysthakur
December 16, 2024 23:26 1m 38s main
main
December 16, 2024 23:26 1m 38s
Add proper READMe Test #74: Commit 2eb2d63 pushed by ysthakur
December 15, 2024 21:31 3m 9s main
main
December 15, 2024 21:31 3m 9s
Write a conclusion and stuff Test #73: Commit ae4e107 pushed by ysthakur
December 15, 2024 17:47 1m 17s main
main
December 15, 2024 17:47 1m 17s
Don't use own term for acyclic edges Test #72: Commit ab3e391 pushed by ysthakur
December 15, 2024 16:11 1m 22s main
main
December 15, 2024 16:11 1m 22s
Update implementation details Test #71: Commit 5b0bd6a pushed by ysthakur
December 15, 2024 16:04 1m 26s main
main
December 15, 2024 16:04 1m 26s
Use array instead of linked list for PCR buckets Test #70: Commit bf5f0e5 pushed by ysthakur
December 15, 2024 16:04 1m 18s pcr-buckets-array
pcr-buckets-array
December 15, 2024 16:04 1m 18s
Use array instead of linked list for PCR buckets Test #69: Commit bf5f0e5 pushed by ysthakur
December 15, 2024 03:52 1m 21s main
main
December 15, 2024 03:52 1m 21s
Add prior work section Test #68: Commit 6a2748a pushed by ysthakur
December 15, 2024 03:23 1m 32s main
main
December 15, 2024 03:23 1m 32s
writeup: Add info on benchmarks Test #67: Commit 7644f2d pushed by ysthakur
December 14, 2024 06:13 1m 15s main
main
December 14, 2024 06:13 1m 15s
Add stupid benchmark Test #66: Commit ab0acab pushed by ysthakur
December 14, 2024 04:48 1m 18s main
main
December 14, 2024 04:48 1m 18s
Remove old .c files Test #65: Commit 6004ba8 pushed by ysthakur
December 14, 2024 02:45 2m 13s main
main
December 14, 2024 02:45 2m 13s
PBT writeup Test #64: Commit 35963bb pushed by ysthakur
December 14, 2024 02:44 1m 31s main
main
December 14, 2024 02:44 1m 31s