Skip to content

Actions: acieroid/wassail

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix static slicer handling of removed return instructions
Tests #119: Commit 768a57f pushed by acieroid
February 15, 2024 20:32 6m 28s master
February 15, 2024 20:32 6m 28s
Add function-body target
Tests #118: Commit f59dabc pushed by acieroid
February 13, 2024 20:10 8m 25s master
February 13, 2024 20:10 8m 25s
Merge branch 'master' of ssh://github.com/acieroid/wassail
Tests #117: Commit b690e47 pushed by acieroid
January 19, 2024 14:17 8m 48s master
January 19, 2024 14:17 8m 48s
Add ability to generate CFG into text files
Tests #116: Commit 17d41f8 pushed by acieroid
December 5, 2023 15:20 8m 4s master
December 5, 2023 15:20 8m 4s
Add ability to generate callgraphs in textual format
Tests #115: Commit 0d0517b pushed by acieroid
December 4, 2023 22:36 11m 41s master
December 4, 2023 22:36 11m 41s
Update README
Tests #114: Commit 674f460 pushed by acieroid
August 3, 2023 17:55 12m 27s master
August 3, 2023 17:55 12m 27s
Support OCaml 5.0.0, restrict core to <v16
Tests #113: Commit 2d714e9 pushed by acieroid
August 2, 2023 19:01 19m 45s master
August 2, 2023 19:01 19m 45s
Upgrade to Core v16
Tests #112: Commit e1aa570 pushed by acieroid
August 2, 2023 18:50 14m 51s master
August 2, 2023 18:50 14m 51s