Code

History

Commits on master to src35+
  1. Rename everything idris2boot, increment versionEdwin Brady committed 6 years ago24fed4f
  2. Fix gambit codegenandylokandy committed 6 years ago2fa61b8
  3. Merge pull request #367 from cypheon/bugfix/ttc-bigint-unmarshallingEdwin Brady committed 6 years agoc0b7c6a
  4. Calculate OS from scheme codeEdwin Brady committed 6 years ago8c9eec1
  5. Use realpath in chez startup scriptEdwin Brady committed 6 years ago0ef2885
  6. Faster search for modules to build in packagesEdwin Brady committed 6 years agoea84eab
  7. Fix codegen in Chez/RacketEdwin Brady committed 6 years agoc7ef449
  8. Remove extra Show TokenData definitionEdwin Brady committed 6 years agof0a87e8
  9. Switch to List Char for the lexerEdwin Brady committed 6 years ago79d52c5
  10. contrib shouldn't be in the default search pathEdwin Brady committed 6 years ago19bcefb
  11. Add octal literalsEdwin Brady committed 6 years ago6f4a36e
  12. Remove a couple of libraries Racket doesn't needEdwin Brady committed 6 years agoa3790d8
  13. Add --verbose flagEdwin Brady committed 6 years ago3a9823e
  14. Fix unmarshalling of Integer values in TTCJohann Rudloff committed 6 years ago17b01b8
  15. Some Racket CG fixesEdwin Brady committed 6 years ago21507e6
  16. Reorganise TTC to make code generation fasterEdwin Brady committed 6 years ago02ce7b5
  17. Do compiling/inlining per moduleEdwin Brady committed 6 years ago87c54ca
  18. Match on names for typecaseEdwin Brady committed 6 years ago18b6449
  19. Some scheme generation fixesEdwin Brady committed 6 years ago68081ed
  20. Add idris_crash functionEdwin Brady committed 6 years ago9a0608b
  21. Move putChar, getChar etc primitives to CEdwin Brady committed 6 years ago1b36dd9
  22. Move file management to C support libraryEdwin Brady committed 6 years ago38e43f2
  23. Do another round of inlining, and io_bindEdwin Brady committed 6 years agoe7d0b33
  24. Hack for optimising some enumerationsEdwin Brady committed 6 years ago9328579
  25. Move buffer API to CEdwin Brady committed 6 years ago7adb4d3
  26. Small code generation improvementsEdwin Brady committed 6 years agoe9a6b68
  27. Add transformation rules for top level methodsEdwin Brady committed 6 years agob617cae
  28. Avoid unification in proof search if not neededEdwin Brady committed 6 years ago11cbc30
  29. Fix some details of transformsEdwin Brady committed 6 years ago3d59816
  30. Apply transformation rulesEdwin Brady committed 6 years ago0dc486a
  31. Fix laziness bookkeeping in unificationEdwin Brady committed 6 years ago0c1e428
  32. Check and add transform rulesEdwin Brady committed 6 years ago449f29b
  33. Remove chicken back endEdwin Brady committed 6 years ago15c6a0d
  34. Add high level syntax for transform rulesEdwin Brady committed 6 years agoe14f8e1
  35. Improve partial evaluationEdwin Brady committed 6 years ago52db302

Keyboard shortcuts

General

Show keyboard shortcuts
?
Focus the current search
/

Issues and pull requests

Open filters
f

Issues, pull requests and Inbox

Select next item
j↓
Select previous item
k↑
Open selected item
Enter
Dismiss filters or clear selection
Esc

Repository code

Go to file
t