search

opencompl / lean-mlir

A minimal development of SSA theory
Other
88 stars 10 forks source link

feat: plots and stats for llvm tests #728

Closed luisacicolini closed 3 days ago

luisacicolini commented 6 days ago

wanted to check the diff nicely after fixing the conflicts

github-actions[bot] commented 5 days ago

Alive Statistics: 89 / 93 (4 failed)

github-actions[bot] commented 5 days ago

Alive Statistics: 89 / 93 (4 failed)

luisacicolini commented 5 days ago

before merging the PR I would like to merge the scripts for hacker's delight and llvm tests so to only have one and make things a bit tidier :)

github-actions[bot] commented 5 days ago

Alive Statistics: 89 / 93 (4 failed)

github-actions[bot] commented 5 days ago

Alive Statistics: 89 / 93 (4 failed)

github-actions[bot] commented 4 days ago

Alive Statistics: 89 / 93 (4 failed)

github-actions[bot] commented 4 days ago

Alive Statistics: 89 / 93 (4 failed)

github-actions[bot] commented 3 days ago

Alive Statistics: 89 / 93 (4 failed)

luisacicolini commented 3 days ago

I feel like this is now ready to be merged. I shall run some more tests today and potentially update the plots etc, but will open another PR for that. CC @tobiasgrosser @bollu

tobiasgrosser commented 3 days ago

Cool. Then let's merge this.