Code

History

Commits on master to libs/network28
  1. provide building blocks for binary network I/OArnaud Bailly committed 6 years ago2b0cc2a
  2. Move network test to chez test suiteEdwin Brady committed 6 years ago9060b24
  3. Merge pull request #208 from ska80/network-testEdwin Brady committed 6 years ago67dc71f
  4. Simplify 'test' target in libs/network/MakefileKamil Shakirov committed 6 years ago30830de
  5. Improve .gitignore patternsKamil Shakirov committed 6 years agod3820e1
  6. export Network.Socket functions fix #152Arnaud Bailly committed 7 years agofe4fb53
  7. Add --libdir optionEdwin Brady committed 7 years ago65b3ddb
  8. Merge branch 'master' of github.com:edwinb/Idris2Edwin Brady committed 7 years ago33780dd
  9. remove another message to make network tests more reliableArnaud Bailly committed 7 years ago4194409
  10. Put idris version number in package install pathEdwin Brady committed 7 years ago4129305
  11. Put built ttcs in build/ttc, rather than buildEdwin Brady committed 7 years ago65db4fb
  12. Add parameterised pointer typeEdwin Brady committed 7 years ago68b0d64
  13. Display output on network test failEdwin Brady committed 7 years agof123fca
  14. Update network build testEdwin Brady committed 7 years ago6a0cfa1
  15. Ignore build artifactsKamil Shakirov committed 7 years agoa6f9fb5
  16. linked libraries should be after the source file referencing themArnaud Bailly committed 7 years agof66d681
  17. added back missing file extensionArnaud Bailly committed 7 years agod600a39
  18. reference idris_net library as idris_net.so for all OSesArnaud Bailly committed 7 years agoec402c3
  19. fix execution of network test to correctly load libraryArnaud Bailly committed 7 years ago75459e7
  20. set LD_LIBRARY_PATH for network tests to runArnaud Bailly committed 7 years agof6b746e
  21. refactor code to be more compactArnaud Bailly committed 7 years agoa87639d
  22. fix execution of tests to actually fail if there's an errorArnaud Bailly committed 7 years ago87b754d
  23. got a first basic test passingArnaud Bailly committed 7 years ago055a5f2
  24. [wip] test basic serverArnaud Bailly committed 7 years agob5cc727
  25. provide a way to retrieve port of (server) socket bound to 0Arnaud Bailly committed 7 years agodc219a0
  26. got code to compileArnaud Bailly committed 7 years ago7c1b1bc
  27. add test target and basic test 'harness'Arnaud Bailly committed 7 years ago2b11b7c
  28. initial import of idris 1 network libArnaud Bailly committed 7 years ago18d8342

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