Code

History

Commits on master to dist17
  1. Merge remote-tracking branch 'upstream'Sigrid Haflínudóttir committed 6 years ago3acbe54
  2. realloc slightly better than malloc+freeEdwin Brady committed 6 years ago838e5cb
  3. Run time system improvementsEdwin Brady committed 6 years ago0688728
  4. flush stdout to make the repl behave as it shouldSigrid Solveig Haflínudóttir committed 6 years ago2a7b4a2
  5. get it to workSigrid Solveig Haflínudóttir committed 6 years agoff3c30f
  6. get rid of splitting, there is no a proper fix in 9frontSigrid Solveig Haflínudóttir committed 6 years ago66d3cf9
  7. CFLAGS: remove -pSigrid Haflínudóttir committed 6 years ago92a2e1c
  8. more stuff, fix splitting a bitSigrid Haflínudóttir committed 6 years ago9487c1e
  9. fix mkfileSigrid Haflínudóttir committed 6 years agoc925059
  10. wipSigrid Haflínudóttir committed 6 years agob4ed000
  11. Add import to fix build on macOSChristian Rasmussen committed 6 years ago645f0a8
  12. Remove -DHAS_PTHREAD from rtsEdwin Brady committed 6 years agodcaaed2
  13. Add our own version of fileModifiedTimeEdwin Brady committed 6 years ago09447e3
  14. Reorganise build system to go via generating CEdwin Brady committed 6 years ago2c2acdc
  15. Improve .gitignore patternsKamil Shakirov committed 6 years agod3820e1
  16. Improve 'idris2c' makefile targetKamil Shakirov committed 6 years agob38f6f9
  17. 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