Skip to content

Actions: ASSERT-KTH/InvCon-Tool

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
131 workflow runs
131 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add InvCon run logs for 202603_AlkemiEarn InvCon CI #131: Commit 2b5a4d4 pushed by ange1506
3m 31s master
master
3m 31s
Add InvCon run log for 202309_JumpFarm (failed: multi-file source + E… InvCon CI #130: Commit db6c373 pushed by ange1506
3m 12s master
master
3m 12s
Add InvCon results for 202309_JumpFarm and 202603_AlkemiEarn InvCon CI #129: Commit cb13d77 pushed by ange1506
3m 24s master
master
3m 24s
Delete results/ground-thruth_comparison/condition-matching/SUMMARY.md InvCon CI #128: Commit 5ac5ac2 pushed by ange1506
3m 34s master
master
3m 34s
Create README for InvCon ground-truth comparison InvCon CI #127: Commit 497eb5d pushed by ange1506
3m 38s master
master
3m 38s
Update SUMMARY.md by removing tool gap row InvCon CI #126: Commit dbb9bf1 pushed by ange1506
3m 30s master
master
3m 30s
Remove entries with unavailable results from SUMMARY.md InvCon CI #125: Commit da81879 pushed by ange1506
3m 34s master
master
3m 34s
Create SUMMARY.md for ground-truth comparison InvCon CI #124: Commit 8e7c866 pushed by ange1506
3m 28s master
master
3m 28s
feat: add InvCon ground-truth comparison results for all 26 contracts InvCon CI #123: Commit 7623d1f pushed by ange1506
3m 24s master
master
3m 24s
Delete results/ground-thruth_comparison directory InvCon CI #122: Commit 5681aab pushed by ange1506
3m 26s master
master
3m 26s
Create condition-matching InvCon CI #121: Commit 42d35bb pushed by ange1506
3m 34s master
master
3m 34s
Revise README for reproducibility study and add references InvCon CI #120: Commit 5eab1d5 pushed by ange1506
3m 27s master
master
3m 27s
Clean up README by removing old commit instructions InvCon CI #119: Commit f562acf pushed by ange1506
3m 26s master
master
3m 26s
Add tx_decode.json for 202210_Uerii InvCon CI #118: Commit 19d7471 pushed by ange1506
3m 31s master
master
3m 31s
Clean up function handling code in Contract.py InvCon CI #117: Commit ec07172 pushed by ange1506
3m 25s master
master
3m 25s
Add txs.json for 202210_Uerii InvCon CI #116: Commit b912905 pushed by ange1506
3m 25s master
master
3m 25s
Add ABI and transaction data for 202210_Uerii InvCon CI #115: Commit b704adf pushed by ange1506
3m 11s master
master
3m 11s
Clean up function handling logic in Contract.py InvCon CI #114: Commit 758655b pushed by ange1506
6h 25m 20s master
master
6h 25m 20s
Update limitations section in README.md InvCon CI #113: Commit b243cea pushed by ange1506
3m 49s master
master
3m 49s
Revise Known Limitations section in README InvCon CI #112: Commit aafb5e5 pushed by ange1506
4m 4s master
master
4m 4s
Create README.md for InvCon results documentation InvCon CI #111: Commit 7c8e021 pushed by ange1506
3m 45s master
master
3m 45s
Add InvCon output: .inv file for 202311 grok InvCon CI #110: Commit 8fc93ec pushed by ange1506
3m 43s master
master
3m 43s
Add InvCon output: .inv file for 202305 ERC20TokenBank InvCon CI #109: Commit 73191b8 pushed by ange1506
3m 30s master
master
3m 30s
Add InvCon output: .inv file for 202301 QTN InvCon CI #108: Commit bb0b9b1 pushed by ange1506
1h 28m 36s master
master
1h 28m 36s
Add InvCon output: .inv file for 202206 Inverse Finance InvCon CI #107: Commit 37c0227 pushed by ange1506
3m 31s master
master
3m 31s