Code

History

Commits on master to Makefile35+
  1. Set version number to 0.1.0Edwin Brady committed 6 years ago7f46598
  2. Merge pull request #215 from ska80/fix-bsd-sedEdwin Brady committed 6 years ago28f4796
  3. Tests need to know where to find idris_net.soEdwin Brady committed 6 years ago2eb9a52
  4. Fix indentationKamil Shakirov committed 6 years ago2d1f35a
  5. Make BSD 'sed' happyKamil Shakirov committed 6 years ago0e01c2a
  6. Need the network libs in the path for testsEdwin Brady committed 6 years agoedc3e2a
  7. Reorganise build system to go via generating CEdwin Brady committed 6 years ago2c2acdc
  8. Improve 'idris2c' makefile targetKamil Shakirov committed 6 years agob38f6f9
  9. Add some machinery to generate CEdwin Brady committed 6 years agoda675b3
  10. Only use version tag in displayEdwin Brady committed 6 years ago0cb446d
  11. Create a contrib directory in the standard libraryOhad Kammar committed 6 years agobe90749
  12. allow overriding racket/chicken paths through environment variableslodi committed 7 years ago76ff99d
  13. Add optional version tag when build in between releasesKamil Shakirov committed 7 years agob87fd0b
  14. Support for buffers and file erros in Racket CGEdwin Brady committed 7 years agobf69b89
  15. fix incorrect variable in makefile preventing installArnaud Bailly committed 7 years agoc80bfc0
  16. Merge branch 'master' of https://github.com/edwinb/Idris2 into add-version-commandArnaud Bailly committed 7 years ago2f8daa7
  17. Merge branch 'master' into add-version-commandArnaud Bailly committed 7 years ago9c1f8b6
  18. Add --libdir optionEdwin Brady committed 7 years ago65b3ddb
  19. Merge branch 'master' into add-version-commandArnaud Bailly committed 7 years ago2950581
  20. Put idris version number in package install pathEdwin Brady committed 7 years ago4129305
  21. Put built ttcs in build/ttc, rather than buildEdwin Brady committed 7 years ago65db4fb
  22. expose version components in MakefileArnaud Bailly committed 7 years ago09f7118
  23. provide Version command in ide-modeArnaud Bailly committed 7 years ago643fc9c
  24. expose current Idris2 version as a proper typeArnaud Bailly committed 7 years ago4646bb0
  25. Merge branch 'master' of https://github.com/edwinb/Idris2 into network-libArnaud Bailly committed 7 years ago4d3e190
  26. Add instructions on how to run a subset of the testsChristian Rasmussen committed 7 years agoe82a0c6
  27. Run individual tests (Fixes #23)Christian Rasmussen committed 7 years ago54f00e9
  28. Add 'libs' directory to pathsEdwin Brady committed 7 years agod5409ac
  29. Merge branch 'master' of https://github.com/edwinb/Idris2 into network-libArnaud Bailly committed 7 years ago02978c8
  30. fix correct version to 1.3.2Arnaud Bailly committed 7 years agoeb760fe
  31. use regexp to validate idris versionArnaud Bailly committed 7 years agocb6ce92
  32. check idris version before buildingArnaud Bailly committed 7 years ago6c1c865
  33. refactor code to be more compactArnaud Bailly committed 7 years agoa87639d
  34. initial import of idris 1 network libArnaud Bailly committed 7 years ago18d8342
  35. Fix makefile's 'install-exec' targetKamil Shakirov committed 7 years ago85a1f9b

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