Skip to content

G
GRID LRT
Switch branch/tag
  1. 09 Jul, 2020 1 commit
  3. 19 Jun, 2020 2 commits
  5. 27 May, 2020 2 commits
    • mancini's avatar
      Merge branch 'spider' into 'master' · d42a2587
      mancini authored 
      merge Spider into master

See merge request !1
      d42a2587
    • Leah Morabito's avatar
      Add small modifications to make the merge with the master possible · a35207e9
      Leah Morabito authored 
      Merge branches before making minor changes (e.g., updating json files / repo to deal with spider issue #1) so this doesn't have to be done twice. In particular:
- Switch to more flexible PICAS_API_VERSION selection
- Removing the automatically prepended "v" should allow usage of arbitrary branches. Note this needs to be reflected in the json configuration files as well by e.g. changing "0.5" to "v0.5"
- Minor refactoring
      a35207e9
  7. 28 Oct, 2019 1 commit
  9. 25 Oct, 2019 6 commits
  11. 24 Oct, 2019 24 commits
  13. 22 Oct, 2019 1 commit
  15. 23 Sep, 2019 2 commits
  17. 12 Sep, 2019 1 commit