Skip to content

Actions: kaist-plrg/nopcrat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2 from kaist-plrg/simpl CI #21: Commit 97f4dc2 pushed by Medowhill
November 5, 2024 08:27 2m 12s master
master
November 5, 2024 08:27 2m 12s
count other simplifications CI #20: Commit bda75ea pushed by Medowhill
November 5, 2024 08:26 1m 43s simpl
simpl
November 5, 2024 08:26 1m 43s
simplify option & count pointer def/use CI #19: Commit 3c16ea6 pushed by Medowhill
November 5, 2024 07:21 1m 42s simpl
simpl
November 5, 2024 07:21 1m 42s
summary refactoring CI #18: Commit 7c38b92 pushed by Medowhill
November 5, 2024 06:38 1m 50s simpl
simpl
November 5, 2024 06:38 1m 50s
Removed all simplifications for -m 1 CI #17: Commit a6c1254 pushed by Medowhill
November 4, 2024 09:51 2m 10s simpl
simpl
November 4, 2024 09:51 2m 10s
Removed all simplifications for -m 1 CI #16: Commit a6c1254 pushed by HoseongLee
October 8, 2024 09:19 1m 54s simplify
simplify
October 8, 2024 09:19 1m 54s
Removed simplification for -m 1 and Added statistics CI #15: Commit 1c26f76 pushed by HoseongLee
October 7, 2024 12:13 1m 3s simplify
simplify
October 7, 2024 12:13 1m 3s
Disabled all simplications for restarted analysis CI #14: Commit 37ec103 pushed by HoseongLee
September 27, 2024 13:04 1m 47s simplify
simplify
September 27, 2024 13:04 1m 47s
Combined assign and return & disabled simplification for restarted an… CI #13: Commit 82eae1f pushed by HoseongLee
September 27, 2024 06:19 2m 0s simplify
simplify
September 27, 2024 06:19 2m 0s
fixed bug in terminator return location CI #12: Commit ddc1706 pushed by HoseongLee
September 24, 2024 18:55 1m 49s simplify
simplify
September 24, 2024 18:55 1m 49s
Added terminator to return location check CI #11: Commit 9137787 pushed by HoseongLee
September 24, 2024 15:23 36s simplify
simplify
September 24, 2024 15:23 36s
removed simplification for unit functions and bug fixes CI #10: Commit 392e46d pushed by HoseongLee
September 24, 2024 03:35 1m 50s simplify
simplify
September 24, 2024 03:35 1m 50s
handle recursive case in rcfw CI #9: Commit c00f77e pushed by HoseongLee
September 19, 2024 08:42 2m 9s simplify
simplify
September 19, 2024 08:42 2m 9s
fixed bug in previous commit and added more cases for ___s removal CI #8: Commit 36284b3 pushed by HoseongLee
August 22, 2024 05:08 41s simplify
simplify
August 22, 2024 05:08 41s
remove ___s assign if possible CI #7: Commit ff39e65 pushed by HoseongLee
August 20, 2024 10:30 54s simplify
simplify
August 20, 2024 10:30 54s
Merge pull request #1 from kaist-plrg/simplify CI #6: Commit 4f52a21 pushed by Medowhill
July 31, 2024 05:19 1m 47s master
master
July 31, 2024 05:19 1m 47s
formatting CI #5: Commit 74903e6 pushed by HoseongLee
July 31, 2024 05:01 1m 53s simplify
simplify
July 31, 2024 05:01 1m 53s
must output parameters CI #4: Commit a781f97 pushed by HoseongLee
July 30, 2024 04:38 45s simplify
simplify
July 30, 2024 04:38 45s
add sampling CI #3: Commit b3c5df7 pushed by Medowhill
March 5, 2024 12:22 1m 38s master
master
March 5, 2024 12:22 1m 38s
handle return in match arm CI #2: Commit 4c458ca pushed by Medowhill
February 28, 2024 05:09 1m 40s master
master
February 28, 2024 05:09 1m 40s
measure time for each function CI #1: Commit 4ed672e pushed by Medowhill
December 11, 2023 14:03 1m 46s master
master
December 11, 2023 14:03 1m 46s