20 Jul, 2023 5 commits
- Space juggling. · 470a0a61
  Artem Shinkarov authored 1 year ago
  
  470a0a61
- Revert "Revert "More text in related to push refernces to page 13."" · a374eafd
  Artem Shinkarov authored 1 year ago
```
This reverts commit 686fc74c.
```
  a374eafd
- Typo + savetrees package. · b9686d6d
  Artem Shinkarov authored 1 year ago
  
  b9686d6d
- Revert "More text in related to push refernces to page 13." · 686fc74c
  Artem Shinkarov authored 1 year ago
```
This reverts commit fd303d9c.
```
  686fc74c
- added CCS, keywords, ACM format and acks. · 0ec34109
  Sven-Bodo Scholz authored 1 year ago
  
  0ec34109
19 Jul, 2023 19 commits
- Merge branch 'master' of https://gitlab.sac-home.org/sac-group/2023-array · 7677dcce
  Thomas Koopman authored 1 year ago
  
  7677dcce
- Added benchmark that previously lived in blocked_matmul · 9878596f
  Thomas Koopman authored 1 year ago
  
  9878596f
- Set CPUs per task properly · 42a9f5ed
  Thomas Koopman authored 1 year ago
  
  42a9f5ed
- Replace ie/eg with macros. · c4e1050a
  Artem Shinkarov authored 1 year ago
  
  c4e1050a
- Merge branch 'master' of https://gitlab.sac-home.org/sac-group/2023-array · 8293c455
  Thomas Koopman authored 1 year ago
  
  8293c455
- actually correct parameters this time · 8f788aa2
  Thomas Koopman authored 1 year ago
  
  8f788aa2
- Actually correct parameters this time · 438afe1e
  Thomas Koopman authored 1 year ago
  
  438afe1e
- More text in related to push refernces to page 13. · fd303d9c
  Artem Shinkarov authored 1 year ago
  
  fd303d9c
- Fixed incorrect blocksize in the paper · 14a37c4d
  Thomas Koopman authored 1 year ago
  
  14a37c4d
- Spelling of the artefact. · 7bb3561d
  Artem Shinkarov authored 1 year ago
  
  7bb3561d
- Adding Agda-specific description to the artefact. · 998eb6bf
  Artem Shinkarov authored 1 year ago
  
  998eb6bf
- Missing benchmark · 3e8589b9
  Thomas Koopman authored 1 year ago
  
  3e8589b9
- Added artifactt · 57771b29
  Thomas Koopman authored 1 year ago
  
  57771b29
- swapped refs and artifact · 710c3155
  Sven-Bodo Scholz authored 1 year ago
  
  710c3155
- Merge branch 'master' of https://gitlab.sac-home.org/sac-group/2023-array · 9d36f9c5
  Thomas Koopman authored 1 year ago
  
  9d36f9c5
- Artifact description · 84f2bc3b
  Thomas Koopman authored 1 year ago
  
  84f2bc3b
- added ref to MDH · db21ec98
  Sven-Bodo Scholz authored 1 year ago
  
  db21ec98
- Recompiling model.lagda · fce2a932
  Artem Shinkarov authored 1 year ago
  
  fce2a932
- some brushing · 3da7420d
  Sven-Bodo Scholz authored 1 year ago
  
  3da7420d
18 Jul, 2023 6 commits
- Typos, grammar. · fa47630e
  Artem Shinkarov authored 1 year ago
  
  fa47630e
- Fix incorrect blocksize · 69ceefbe
  Thomas Koopman authored 1 year ago
  
  69ceefbe
- Adding more links to Agda spec in Section 4. · db889338
  Artem Shinkarov authored 1 year ago
  
  db889338
- sequioa reference · 0650aa23
  Thomas Koopman authored 1 year ago
  
  0650aa23
- Smaller version of related work, but with non-trivial cuts · 9d263f7b
  Thomas Koopman authored 1 year ago
  
  9d263f7b
- Added Sequioa, cut words, but not references · dac1cbd7
  Thomas Koopman authored 1 year ago
  
  dac1cbd7
04 Jul, 2023 1 commit
- Typo corrections · 5e783e33
  Thomas Koopman authored 1 year ago
  
  5e783e33
01 Jun, 2023 9 commits
- Merge branch 'master' of https://gitlab.sac-home.org/sac-group/2023-array · 2dd7eea8
  Thomas Koopman authored 1 year ago
  
  2dd7eea8
- Label fix · 98b75ebe
  Thomas Koopman authored 1 year ago
  
  98b75ebe
- Author order in shortauthors. · e1bc7f40
  Artem Shinkarov authored 1 year ago
  
  e1bc7f40
- Pedantic last minute fixes. · 75b991c9
  Artem Shinkarov authored 1 year ago
  
  75b991c9
- Conclusions + space fitting. · 6f1cae48
  Artem Shinkarov authored 1 year ago
  
  6f1cae48
- Fix ugly overhanging shape expression. · 68d7ba52
  Artem Shinkarov authored 1 year ago
  
  68d7ba52
- Better name for blocking functions in Agda. · fcfa6d79
  Artem Shinkarov authored 1 year ago
  
  fcfa6d79
- Changed author order · 29b0c65a
  Thomas Koopman authored 1 year ago
  
  29b0c65a
- Formatting · 5f6f92c2
  Thomas Koopman authored 1 year ago
  
  5f6f92c2

Menu