1. 09 Jul, 2020 1 commit
  2. 19 Jun, 2020 2 commits
  3. 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
  4. 28 Oct, 2019 1 commit
  5. 25 Oct, 2019 6 commits
  6. 24 Oct, 2019 24 commits
  7. 22 Oct, 2019 1 commit
  8. 23 Sep, 2019 2 commits
  9. 12 Sep, 2019 1 commit