Skip to content

Actions: softwarelanguageslab/maf

Actions

MAF tests on action

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
testsOnAction.yml
17 workflow runs
17 workflow runs

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
feat: added level methode to compute and which height we are in the… MAF tests on action #1137: Commit 0c1d573 pushed by bramvdbogaerde
1d 0h 0m 2s master
master
1d 0h 0m 2s
setup program analysis with customisable priority WL algorithm MAF tests on action #1136: Commit aa3a1ed pushed by noahvanes
1d 0h 0m 2s master
master
1d 0h 0m 2s
major improvements to MAFLogger! MAF tests on action #1135: Commit 0d3f743 pushed by noahvanes
1d 0h 0m 2s master
master
1d 0h 0m 2s
update dockerfile MAF tests on action #1134: Commit 15ffc2d pushed by noahvanes
1d 0h 0m 1s master
master
1d 0h 0m 1s
finalize edits MAF tests on action #1133: Commit 63daf8b pushed by noahvanes
1d 0h 0m 1s master
master
1d 0h 0m 1s
improve evaluation setup MAF tests on action #1132: Commit 8d83a7d pushed by noahvanes
1d 0h 0m 1s master
master
1d 0h 0m 1s
Merge branch 'master' of github.com:softwarelanguageslab/maf MAF tests on action #1131: Commit aca8cf0 pushed by noahvanes
1d 0h 0m 2s master
master
1d 0h 0m 2s
WIP debug MAF tests on action #1130: Commit 1c017f1 pushed by jevdplas
1d 0h 0m 1s master
master
1d 0h 0m 1s
Merge remote-tracking branch 'origin/master' MAF tests on action #1129: Commit c44657d pushed by jevdplas
1d 0h 0m 1s master
master
1d 0h 0m 1s
add dockerignore MAF tests on action #1128: Commit 2bea12f pushed by noahvanes
1d 0h 0m 1s master
master
1d 0h 0m 1s
reorganise benchmarks + add Dockerfile MAF tests on action #1127: Commit 27f9711 pushed by noahvanes
1d 0h 0m 2s master
master
1d 0h 0m 2s
fix bugs + setup experiment 1 MAF tests on action #1126: Commit 26813c4 pushed by noahvanes
1d 0h 0m 2s master
master
1d 0h 0m 2s
add allocated store to match formalisation MAF tests on action #1125: Commit c01fc3f pushed by noahvanes
1d 0h 0m 1s master
master
1d 0h 0m 1s
fix AAM GC bug MAF tests on action #1124: Commit 5349a0d pushed by noahvanes
1d 0h 0m 1s master
master
1d 0h 0m 1s
fix DSS with flow-sensitivity MAF tests on action #1123: Commit ca1494e pushed by noahvanes
1d 0h 0m 2s master
master
1d 0h 0m 2s
Flow nodes for primitive calls (solves WCR3-5 precision issue) MAF tests on action #1122: Commit 6caaed2 pushed by jevdplas
1d 0h 0m 2s master
master
1d 0h 0m 2s
Update script MAF tests on action #1121: Commit 250fdb6 pushed by jevdplas
1d 0h 0m 2s master
master
1d 0h 0m 2s