Inicio Explorar Ayuda
Iniciar sesión
caryoscelus
/
agda
Seguir 1
Destacar 0
Fork 0
Archivos Incidencias 0 Pull Requests 0 Wiki
Rama: js_amd
Ramas Etiquetas

Historial de Commits

Autor SHA1 Mensaje Fecha
  Wen Kokke c96a34dfc8 Removed deprecated UHC pragramas and FloatsUHCFails test. hace 4 años
  Ulf Norell b56b3965a6 [ backend ] updated compiler pragmas in test cases hace 8 años
  Philipp Hausmann e309b7c737 Merge branch 'maint-2.4.2' hace 9 años
  Philipp Hausmann 89707e1a90 [ compiler-tests ] Add test for sharing in generated code/runtime evaluation. hace 9 años