Skip to content
GitLab
Switch branch/tag
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.04Sep125Aug1120Jul191841Jun31May302926252423221716151211109128Apr261143131Mar302928272120Adding my agda presentation.mastermasterMore words for intuitionMerge branch 'master' of gitlab.sac-home.org:sac-group/2023-arrayPresentationadded a copy of the final pdf version to the repofinal fiddeling with spaceFurther line removedGrammarNuked 3 linessome more squeezingNew lines bracesme stupidpainfully adjusted SaC style in listingsBrushed performanceTypesettingBrushed referenceslisting overflowMade functions black instead of blueRevert "Shorter kernel (verification currently running), longer related work, capitalisation"Revert "Rewrote kernel a bit and use Clang. GCC does a useless copy in the tight loop"Revert "Revert "Removed roofline plot""Revert "Removed roofline plot"[1 note][1 note]some formatting issues resolvedRewrote kernel a bit and use Clang. GCC does a useless copy in the tight loop[1 note][1 note]Shorter kernel (verification currently running), longer related work, capitalisation[1 note][1 note]Removed roofline plot[1 note][1 note]Remove old version BLIS and the paragraph justifying itArtefact citationIncorporated remarks except for headings, put minimal related work sectionMore space fitting.Page fitting.Stupid margins.Margins in appendix.added paper.zip and missing src in makefile and adjusted refformatFix the mistake.Go wild fixing text reaching into margins.Artefact corrections.Space juggling.Revert "Revert "More text in related to push refernces to page 13.""Typo + savetrees package.