Code

History

Commits on master to src/Compiler35+
  1. Fix gambit codegenandylokandy committed 6 years ago2fa61b8
  2. Calculate OS from scheme codeEdwin Brady committed 6 years ago8c9eec1
  3. Use realpath in chez startup scriptEdwin Brady committed 6 years ago0ef2885
  4. Fix codegen in Chez/RacketEdwin Brady committed 6 years agoc7ef449
  5. Remove a couple of libraries Racket doesn't needEdwin Brady committed 6 years agoa3790d8
  6. Some Racket CG fixesEdwin Brady committed 6 years ago21507e6
  7. Reorganise TTC to make code generation fasterEdwin Brady committed 6 years ago02ce7b5
  8. Do compiling/inlining per moduleEdwin Brady committed 6 years ago87c54ca
  9. Match on names for typecaseEdwin Brady committed 6 years ago18b6449
  10. Some scheme generation fixesEdwin Brady committed 6 years ago68081ed
  11. Add idris_crash functionEdwin Brady committed 6 years ago9a0608b
  12. Move putChar, getChar etc primitives to CEdwin Brady committed 6 years ago1b36dd9
  13. Move file management to C support libraryEdwin Brady committed 6 years ago38e43f2
  14. Do another round of inlining, and io_bindEdwin Brady committed 6 years agoe7d0b33
  15. Hack for optimising some enumerationsEdwin Brady committed 6 years ago9328579
  16. Move buffer API to CEdwin Brady committed 6 years ago7adb4d3
  17. Small code generation improvementsEdwin Brady committed 6 years agoe9a6b68
  18. Remove chicken back endEdwin Brady committed 6 years ago15c6a0d
  19. Merge branch 'master' into system.clockEdwin Brady committed 6 years ago5a81884
  20. Merge pull request #354 from rgrover/system.randomEdwin Brady committed 6 years ago600412f
  21. Add System.Clock to fetch current time for various clock types.Rohit Grover committed 6 years agoedb063e
  22. Increase the inlining limit for GambitAbdelhakim Qbaich committed 6 years ago0541a8c
  23. Add System.RandomRohit Grover committed 6 years ago7cfb341
  24. Faster compile time on the Gambit backendAbdelhakim Qbaich committed 6 years ago0758e33
  25. Improving the Gambit backend for FFI supportAbdelhakim Qbaich committed 6 years agod44690e
  26. Correction to setField syntax for GambitAbdelhakim Qbaich committed 6 years agof049146
  27. Directly generate non-ASCII characters for GambitAbdelhakim Qbaich committed 6 years ago4dcef32
  28. Specifying a better header for GambitAbdelhakim Qbaich committed 6 years ago55df14a
  29. Adding a Gambit Scheme backendAbdelhakim Qbaich committed 6 years ago5f3ec8d
  30. Add some more IRs for back ends to useEdwin Brady committed 6 years ago4a91375
  31. Fix type in LambdaLiftEdwin Brady committed 6 years ago409357c
  32. Merge branch 'remove-RigCount' of https://github.com/andrevidela/Idris2 into andrevidela-remove-RigCountEdwin Brady committed 6 years agobdefd1a
  33. Merge pull request #311 from Kaiepi/racketEdwin Brady committed 6 years agof2a41d5
  34. Merge pull request #318 from ska80/fix-get-line-and-eofEdwin Brady committed 6 years agodf9e477
  35. Merge pull request #316 from abdelq/masterEdwin Brady committed 6 years agocbd88c9

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