Commits · 8293c4554030ceed75135479197be227b9c50b6f · sac-group / 2023-fhpnc

19 Jul, 2023 15 commits
- 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 12 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
- Spelling · 4b9c1938
  Thomas Koopman authored 1 year ago
  
  4b9c1938
- typos · ff8ff4c5
  Thomas Koopman authored 1 year ago
  
  ff8ff4c5
- brushed the conclusions and squeezed it into 12 pages again :-) · 0ed4dda1
  Sven-Bodo Scholz authored 1 year ago
  
  0ed4dda1
31 May, 2023 6 commits
- Brushing + space fitting. · 107d80fb
  Artem Shinkarov authored 1 year ago
  
  107d80fb
- Merge branch 'master' of https://gitlab.sac-home.org/sac-group/2023-array · ae1dfccb
  Thomas Koopman authored 1 year ago
  
  ae1dfccb
- Figures side by side · c1fbb631
  Thomas Koopman authored 1 year ago
  
  c1fbb631
- Minor space saving. · a35ba336
  Artem Shinkarov authored 1 year ago
  
  a35ba336
- Inlining the table. · 82eff99d
  Artem Shinkarov authored 1 year ago
  
  82eff99d
- Brushing up to section 4. · c563b328
  Artem Shinkarov authored 1 year ago
```
    Not including 4 that is.
```
  c563b328