Code

History

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