Etusivu Tutki Apua
Kirjaudu sisään
caryoscelus
/
agda
Tarkkaile 1
Äänestä 0
Fork 0
Tiedostot Ongelmat 0 Pull-pyynnöt 0 Wiki
Branch: js_amd_patch
Branchit Tagit

Commitin historia

Tekijä SHA1 Viesti Päivämäärä
  Jesper Cockx e129903247 [ re #4908 ] Add explicit --guardedness flags to test cases 3 vuotta sitten
  = e8afe1393c Updated tests for changes to IO levels 3 vuotta sitten
  Andrés Sicard-Ramírez 362eaea7ae [ fixed #4368 ] Updated submodule commit and made required changes. 4 vuotta sitten
  Philipp Hausmann 344d141e5f [ tests ] Renamed exec-tests to compiler-tests 9 vuotta sitten