Code

History

Commits on master to dist19
  1. add plan9 stuffSigrid Haflínudóttir committed 6 years ago17385bf
  2. Reorganise optimisation options for CEdwin Brady committed 6 years agoc7f893f
  3. Fix check in findOffsetEdwin Brady committed 6 years ago6ef86bc
  4. Merge pull request #370 from ska80/fix-makefilesEdwin Brady committed 6 years ago4c35210
  5. Check bounds on substringEdwin Brady committed 6 years ago560449e
  6. Do compiling/inlining per moduleEdwin Brady committed 6 years ago87c54ca
  7. Suppress some expected warningsKamil Shakirov committed 6 years ago75a4564
  8. Refactor makefiles to use some common optionsKamil Shakirov committed 6 years ago2ad471a
  9. Merge pull request #310 from Kaiepi/bsd-buildsEdwin Brady committed 6 years ago61fae5c
  10. realloc slightly better than malloc+freeEdwin Brady committed 6 years ago838e5cb
  11. Run time system improvementsEdwin Brady committed 6 years ago0688728
  12. Fix builds on *BSDBen Davies committed 6 years ago93871c5
  13. Add import to fix build on macOSChristian Rasmussen committed 6 years ago645f0a8
  14. Remove -DHAS_PTHREAD from rtsEdwin Brady committed 6 years agodcaaed2
  15. Add our own version of fileModifiedTimeEdwin Brady committed 6 years ago09447e3
  16. Reorganise build system to go via generating CEdwin Brady committed 6 years ago2c2acdc
  17. Improve .gitignore patternsKamil Shakirov committed 6 years agod3820e1
  18. Improve 'idris2c' makefile targetKamil Shakirov committed 6 years agob38f6f9
  19. Add some machinery to generate CEdwin Brady committed 6 years agoda675b3

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