aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/world/net/udp.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2019-06-20Removed the TCP & UDP code for the moment.Eduardo Julian1-66/+0
2019-04-06Moved "lux/cli", "lux/io" and "lux/function" under "lux/control".Eduardo Julian1-1/+1
2019-04-06Created the "lux/abstract" branch and moved some modules into it.Eduardo Julian1-1/+1
2019-03-25Ported tests for world-related modules.Eduardo Julian1-43/+47
2019-02-07- Removed the current usage of data-integrity measures.Eduardo Julian1-5/+3
2019-02-05Integrated tests into normal source code.Eduardo Julian1-0/+0
2019-02-04Changed the naming style for structures.Eduardo Julian1-5/+5
2019-01-11Re-named "lux/control/security/taint" to "lux/control/security/integrity".Eduardo Julian1-3/+3
2018-12-06Adapted other world signatures to the capability model.Eduardo Julian1-2/+2
2018-12-05Now tainting values coming from the outside world.Eduardo Julian1-27/+31
2018-07-28Removed temporary "|" prefix on Nat.Eduardo Julian1-7/+7
2018-07-28Temporary commit to get rid of "+" signs for Nat.Eduardo Julian1-7/+7
2018-07-21Re-named "lux/world/blob" to "lux/world/binary".Eduardo Julian1-7/+7
2018-07-20No longer giving default aliases to un-prefixed imports.Eduardo Julian1-6/+3
2018-07-14- New syntax for bit values: "#0" and "#1", instead of "false" and "true".Eduardo Julian1-1/+1
2018-07-11- Improvements to import syntax [part 2].Eduardo Julian1-15/+21
2018-07-10- Improvements to import syntax [part 0].Eduardo Julian1-2/+2
2018-07-05- Re-named "equality" to "equivalence".Eduardo Julian1-2/+2
2017-12-12- FRP channels are no longer asynchronously-built lists, but rather mediums f...Eduardo Julian1-13/+0
2017-11-29- Changed the identifier separator, from the semi-colon (;) to the period/dot...Eduardo Julian1-30/+30
2017-11-27- Got rid of even more dots.Eduardo Julian1-2/+2
2017-11-27- Changed the prefixes of numeric functions.Eduardo Julian1-6/+6
2017-11-26- Changed to the new relative imports syntax.Eduardo Julian1-1/+1
2017-10-20- Replaced the "#seed" and "#times" options for "seed" and "times" test combi...Eduardo Julian1-30/+30
2017-10-16- Re-named "Result" type back to "Error".Eduardo Julian1-2/+2
2017-09-04- Implemented network I/O for TCP and UDP (in the JVM).Eduardo Julian1-0/+70