Domů Procházet Nápověda
Přihlásit se
caryoscelus
/
agda
Sledovat 1
Oblíbit 0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Větev: js_amd_patch
Větve Značky

Historie revizí

Autor SHA1 Zpráva Datum
  Fredrik Nordvall Forsberg a50ff581f3 [ #2487 ] consistency checking of options před 6 roky
  Andrés Sicard-Ramírez fb6ff2ff05 Revert "[ common test files ] Renamed Common.Product to Common.Sigma." před 6 roky
  Andrés Sicard-Ramírez 6f41451b49 [ common test files ] Renamed Common.Product to Common.Sigma. před 6 roky
  Andreas Abel e14ea6f0b5 Bring back the error message for failing occurs check that was disabled by the fix for issue 442. před 13 roky