Página inicial Explorar Ajuda
Entrar
caryoscelus
/
agda
Observar 1
Favorito 0
Fork 0
Arquivos Issues 0 Pull Requests 0 Wiki
Branch: js_amd
Branches Tags

Histórico de commits

Autor SHA1 Mensagem Data
  Wen Kokke c96a34dfc8 Removed deprecated UHC pragramas and FloatsUHCFails test. 4 anos atrás
  Ulf Norell b56b3965a6 [ backend ] updated compiler pragmas in test cases 8 anos atrás
  Philipp Hausmann e309b7c737 Merge branch 'maint-2.4.2' 9 anos atrás
  Philipp Hausmann 89707e1a90 [ compiler-tests ] Add test for sharing in generated code/runtime evaluation. 9 anos atrás