Skip to content

Actions: softwarelanguageslab/maf

Actions

Incremental MAF tests on action

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

major improvements to MAFLogger!
Incremental MAF tests on action #336: Commit 0d3f743 pushed by noahvanes
1m 32s master
update dockerfile
Incremental MAF tests on action #335: Commit 15ffc2d pushed by noahvanes
1m 27s master
finalize edits
Incremental MAF tests on action #334: Commit 63daf8b pushed by noahvanes
1m 33s master
improve evaluation setup
Incremental MAF tests on action #333: Commit 8d83a7d pushed by noahvanes
1m 30s master
WIP debug
Incremental MAF tests on action #331: Commit 1c017f1 pushed by jevdplas
1m 27s master
Merge remote-tracking branch 'origin/master'
Incremental MAF tests on action #330: Commit c44657d pushed by jevdplas
1m 34s master
add dockerignore
Incremental MAF tests on action #329: Commit 2bea12f pushed by noahvanes
1m 29s master
reorganise benchmarks + add Dockerfile
Incremental MAF tests on action #328: Commit 27f9711 pushed by noahvanes
1m 1s master
fix bugs + setup experiment 1
Incremental MAF tests on action #327: Commit 26813c4 pushed by noahvanes
1m 0s master
add allocated store to match formalisation
Incremental MAF tests on action #326: Commit c01fc3f pushed by noahvanes
12m 31s master
fix AAM GC bug
Incremental MAF tests on action #325: Commit 5349a0d pushed by noahvanes
24m 58s master
fix DSS with flow-sensitivity
Incremental MAF tests on action #324: Commit ca1494e pushed by noahvanes
39m 58s master
Flow nodes for primitive calls (solves WCR3-5 precision issue)
Incremental MAF tests on action #323: Commit 6caaed2 pushed by jevdplas
23m 52s master
Update script
Incremental MAF tests on action #322: Commit 250fdb6 pushed by jevdplas
37m 47s master
No longer ignore # warm-up runs in performance experiments
Incremental MAF tests on action #321: Commit b5322bc pushed by jevdplas
45m 47s master
Small refactoring iSCC
Incremental MAF tests on action #320: Commit 4d83a20 pushed by jevdplas
23m 29s master
Update comment.
Incremental MAF tests on action #319: Commit 918d89d pushed by jevdplas
23m 15s master
Remove node parameter from SCC.incremental.
Incremental MAF tests on action #318: Commit e196f33 pushed by jevdplas
28m 36s master
Small performance improvement for incremental scc
Incremental MAF tests on action #317: Commit 6ad3f8f pushed by jevdplas
25m 3s master
WIP cycles: just throw away all information in a cycle
Incremental MAF tests on action #316: Commit 30ac952 pushed by jevdplas
43m 45s master
Improved SCA refinement
Incremental MAF tests on action #315: Commit 7b04d21 pushed by jevdplas
45m 17s master