Skip to content

Actions: ysthakur/fred

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
docs/ -> writeup/ Test #63: Commit 72f1c08 pushed by ysthakur
December 13, 2024 19:17 1m 38s main
main
December 13, 2024 19:17 1m 38s
test: Remove print debugging from shrinker Test #62: Commit 4e582c8 pushed by ysthakur
December 13, 2024 19:16 1m 30s main
main
December 13, 2024 19:16 1m 30s
test: Insert decrRc after generating program Test #61: Commit 540a6a7 pushed by ysthakur
December 13, 2024 19:16 1m 24s main
main
December 13, 2024 19:16 1m 24s
Make game benchmark actually have different behavior for my algorithm… Test #60: Commit 764d449 pushed by ysthakur
December 13, 2024 18:06 1m 2s main
main
December 13, 2024 18:06 1m 2s
test: Implement shrinking (sucks) Test #59: Commit 944f379 pushed by ysthakur
December 13, 2024 07:28 1m 15s main
main
December 13, 2024 07:28 1m 15s
Get rid of 'Simple generated programs' fuzz test Test #58: Commit cab68aa pushed by ysthakur
December 13, 2024 05:56 1m 26s main
main
December 13, 2024 05:56 1m 26s
Make a benchmark Test #57: Commit 44abdad pushed by ysthakur
December 13, 2024 05:51 1m 22s main
main
December 13, 2024 05:51 1m 22s
Remove print debugging from runtime.h Test #56: Commit 36afa04 pushed by ysthakur
December 13, 2024 04:02 1m 21s main
main
December 13, 2024 04:02 1m 21s
Include runtime directly in code passed to gcc Test #55: Commit 711ff9d pushed by ysthakur
December 13, 2024 03:51 1m 25s main
main
December 13, 2024 03:51 1m 25s
Remove print debugging from generated code Test #54: Commit 29d0661 pushed by ysthakur
December 13, 2024 03:51 1m 15s main
main
December 13, 2024 03:51 1m 15s