Skip to content

Actions: IngridJiang/CocoPath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated readme with more information on setup and troubleshooting Test #16: Commit 838bca4 pushed by AnneKoziolek
1d 0h 0m 2s main
main
1d 0h 0m 2s
update readme-md to current state Test #15: Commit ca9e489 pushed by AnneKoziolek
1d 0h 0m 2s main
main
1d 0h 0m 2s
added Z3ConstraintSolver from Z3 branch Test #14: Commit c0ee019 pushed by AnneKoziolek
1d 0h 0m 2s main
main
1d 0h 0m 2s
fix constraint collection Test #13: Commit 38f828a pushed by IngridJiang
1d 0h 0m 1s z3
z3
1d 0h 0m 1s
Add Z3-related fixes, scripts, logs, and experimental artifacts Test #12: Commit 61c3d76 pushed by IngridJiang
1d 0h 0m 1s z3
z3
1d 0h 0m 1s
Merge pull request #3 from AnneKoziolek/anne Test #11: Commit 19cb9ce pushed by IngridJiang
1d 0h 0m 1s z3
z3
1d 0h 0m 1s
Merge pull request #3 from AnneKoziolek/anne Test #10: Commit 19cb9ce pushed by AnneKoziolek
1d 0h 0m 1s main
main
1d 0h 0m 1s
Get tags, variable names, and constraints from reactions Test #9: Pull request #3 opened by AnneKoziolek
1d 0h 0m 2s AnneKoziolek:anne
AnneKoziolek:anne
1d 0h 0m 2s
fix task type Test #8: Commit 07f449b pushed by IngridJiang
1d 0h 0m 2s main
main
1d 0h 0m 2s
fix readme Test #7: Commit af25248 pushed by IngridJiang
1d 0h 0m 2s main
main
1d 0h 0m 2s
Add multi-variable concolic path exploration; update symbolic executi… Test #6: Commit ea2a3d1 pushed by IngridJiang
1d 0h 0m 3s main
main
1d 0h 0m 3s
update documents and galette agent Test #5: Commit 8779c66 pushed by IngridJiang
1d 0h 0m 2s 2-intergrate-hvac
2-intergrate-hvac
1d 0h 0m 2s
update documents and galette agent Test #4: Commit 8779c66 pushed by IngridJiang
1d 0h 0m 1s main
main
1d 0h 0m 1s
fix shadow stack to automatically detect domain constraints Test #3: Commit e140e8a pushed by IngridJiang
1d 0h 0m 2s main
main
1d 0h 0m 2s
Fix issues and clean up code Test #2: Commit cc615fc pushed by IngridJiang
51s main
main
51s
Initial commit Test #1: Commit 671db23 pushed by IngridJiang
1d 0h 0m 2s main
main
1d 0h 0m 2s