Edwin Brady 6a0cfa125a Update network build test ... Since it's just to check that it's built successful and we can send a message back and forth, remove the diagnostic message that might come out in a different order depending on scheduling.		2019-08-29 11:50:14 +01:00
..
Network	reference idris_net library as idris_net.so for all OSes	2019-07-29 12:46:23 +02:00
.gitignore	Ignore build artifacts	2019-08-07 09:40:30 +06:00
Echo.idr	Update network build test	2019-08-29 11:50:14 +01:00
expected	Update network build test	2019-08-29 11:50:14 +01:00
idris_net.c	got a first basic test passing	2019-07-25 09:43:33 +02:00
idris_net.h	provide a way to retrieve port of (server) socket bound to 0	2019-07-24 09:17:29 +02:00
lib-tests	fix execution of tests to actually fail if there's an error	2019-07-25 19:49:15 +02:00
Makefile	linked libraries should be after the source file referencing them	2019-07-31 14:13:32 +02:00
network.ipkg	got code to compile	2019-07-23 22:39:54 +02:00
test.c	fix execution of network test to correctly load library	2019-07-28 22:53:05 +02:00