Skip to content

Actions: IngridJiang/CocoPath

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replace per-variable backtracking with DART-style DFS path exploration Test #36: Commit 6be6cdd pushed by AnneKoziolek
1d 0h 0m 2s knarr-style-expression-propagation
knarr-style-expression-propagation
1d 0h 0m 2s
Remove manual SymbolicComparison calls from CreateAndConfigureAxleUni… Test #35: Commit ece292d pushed by AnneKoziolek
1d 0h 0m 2s knarr-style-expression-propagation
knarr-style-expression-propagation
1d 0h 0m 2s
Remove silent fallbacks, enable Z3 by default, fix Z3 variable name q… Test #34: Commit 73c9fe6 pushed by AnneKoziolek
1d 0h 0m 2s knarr-style-expression-propagation
knarr-style-expression-propagation
1d 0h 0m 2s
add **/cp.txt to .gitignore Test #33: Commit 51c5044 pushed by AnneKoziolek
1d 0h 0m 3s knarr-style-expression-propagation
knarr-style-expression-propagation
1d 0h 0m 3s
Update documentation for native bytecode interception Test #32: Commit 97ded87 pushed by AnneKoziolek
1d 0h 0m 2s native-interception
native-interception
1d 0h 0m 2s
Clean up dead code, debug artifacts, and duplicate scripts Test #31: Commit 53f865c pushed by AnneKoziolek
1d 0h 0m 1s native-interception
native-interception
1d 0h 0m 1s
Native bytecode interception working end-to-end with Vitruvius Test #30: Commit 4ae26f4 pushed by AnneKoziolek
1d 0h 0m 2s native-interception
native-interception
1d 0h 0m 2s
Use COMPUTE_MAXS with safe getCommonSuperClass override Test #29: Commit c1ad7ba pushed by AnneKoziolek
1d 0h 0m 1s native-interception
native-interception
1d 0h 0m 1s
Fix ClassWriter flags to avoid Vitruvius classloader deadlock Test #28: Commit 0874220 pushed by AnneKoziolek
1d 0h 0m 2s native-interception
native-interception
1d 0h 0m 2s
Add exclusions + force-load + whitelist for interception (still blocked) Test #27: Commit cb5520f pushed by AnneKoziolek
1d 0h 0m 2s native-interception
native-interception
1d 0h 0m 2s
Native bytecode interception working end-to-end Test #26: Commit 94c0a18 pushed by AnneKoziolek
1d 0h 0m 2s native-interception
native-interception
1d 0h 0m 2s
Move interception to second-pass transformer with relocated package Test #25: Commit 1c0d4ff pushed by AnneKoziolek
1d 0h 0m 1s native-interception
native-interception
1d 0h 0m 1s
Replace galette-agent PathUtils with minimal jlink-safe version Test #24: Commit 007f350 pushed by AnneKoziolek
1d 0h 0m 2s native-interception
native-interception
1d 0h 0m 2s
Merge native bytecode interception work from AnneKoziolek/CocoPath (a… Test #23: Commit 874a3c5 pushed by AnneKoziolek
1d 0h 0m 2s native-interception
native-interception
1d 0h 0m 2s
Update Readme Test #22: Commit 1fa424c pushed by IngridJiang
1d 0h 0m 2s main
main
1d 0h 0m 2s
Merge bowen into main Test #21: Commit f0dd570 pushed by IngridJiang
1d 0h 0m 2s main
main
1d 0h 0m 2s
Update readme Test #20: Commit d625830 pushed by IngridJiang
1d 0h 0m 2s bowen
bowen
1d 0h 0m 2s
Add BrakeDisc-ControlSystem Case Study Test #19: Commit 4cfff00 pushed by IngridJiang
1d 0h 0m 3s bowen
bowen
1d 0h 0m 3s
Add Windows scripts and fixes for run-symbolic-execution-adapted Test #18: Commit 46e409d pushed by IngridJiang
1d 0h 0m 1s bowen
bowen
1d 0h 0m 1s
asked Claude to document the origin of classes Test #17: Commit fd680ad pushed by AnneKoziolek
1d 0h 0m 1s main
main
1d 0h 0m 1s
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