Reorder some of the entries in the library build file so that the PolyML…

Remove dependency of ExnPrinter on OS.

Convert the remaining Windows-specific calls to separate RTS calls.

Remove RTS calls and use Windows calls.

Merge branch 'master' of https://github.com/dcjm/polyml into PollChangesAgain

Replace many of the Windows RTS calls by direct calls to the Windows functions…

Remove unused Windows calls.

Further change to Test186 to handle unconfigured IPv6.

Modify IPv6 test so that it raises NotApplicable if IPv6 is not configured.

Fix some of the changes to network.cpp and add a test of Unix sockets.

Convert the remainder of the PolyNetworkGeneral calls into individual RTS calls.

Merge branch 'master' into PollChangesAgain

Add test for IPv6

Use HOST_NAME_MAX if it is defined to set the buffer size for gethostname.

Merge branch 'master' into PollChangesAgain

Fix bug in neg_longc when the argument was the smallest negative short form…

Correct the order of atExit functions.

Various fixes to the recent changes needed for Linux.

Create individual functions for the remaining "general functions" in…

Change time functions to individual RTS calls rather than a single dispatch…

Remove PolyThreadGeneral. This was only required for the bootstrap.

Remove FlushInstructionCache. This was used on the PowerPC but has never done…

Merge branch 'RefactorSharing' into PollChangesAgain

Remove some more legacy code.

Further simplification.

Merge RecursiveScan and RecursiveScanWithStack.

Move RecursiveScan and RecursiveScanWithStack into GC sharing since they're…

Merge branch 'master' into PollChangesAgain

Add IPv6 socket support.

Merge branch 'NetworkChanges' into PollChangesAgain

Replace getHostByAddr with getnameinfo. Simplify gethostname - the maximum…

Merge branch 'master' into NetworkChanges

Add getaddrinfo call and remove gethostbyname. Reorganise the inet4 socket…

Merge branch 'master' of https://github.com/dcjm/polyml into NetworkChanges

Build the Foreign structures earlier in the process of building the basis.

Merge branch 'master' into PollChangesAgain

Add more address families.

Move test to avoid merge conflict.

Begin adding testForInput and testForOutput as RTS calls that combine a test…

Need to load a register for the ML stack on X86/64 if there are more than 5…

Complete the conversion process. There is a temporary fix for the first…

Merge the rtsFullCalls and rtsFastCalls. The fast calls save and restore the…

Only set the return address to directly raise an exception if we are returning…

Add RunCall.rtsCallFull4 and RunCall.rtsCallFull5.

Change Posix.Process.sleep and Posix.Process.pause so that time calculations…

Merge branch 'master' into PollChanges

Remove WaitNet and WaitNetSend since all the waiting is done in ML calls to…

Convert receive and receiveFrom.

Use struct sockaddr_storage wherever we need to receive the address. This…

Convert send and sendTo. Add tests of actually sending data on TCP and UDP…

Change Socket.connect so that waiting for the connection is done in ML. Clean…

Change "accept" in the same way as "connect".

Fix change to select. It was testing the wrong vector for the exception result.

Use reraise rather than raise to pass on unhandled exceptions in nonBlocking.

Change select in the same way as poll.

Merge branch 'master' into PollChanges

Introduce a new RTS call for OS.IO.poll, and incidentally OS.Process.sleep…

Completed return of structs in X86/64 SysV.

Add support for structures as results in X86/32 and X64 Windows. Refactor X64…

Now supports structs as arguments. Tested on Windows 32-bit and 64-bit.

Use a rich-edit control for the GUI screen. A text edit control seems to lock…

Fix bug in WM_NCCALCSIZE decoding. Move buildCall functions out of…

Change callback function now we no longer release memory before an FFI call.

Add movsx opcodes to scan table.

Only generate Rex bytes for MOVSXB/MOVSXW in 64-bit mode.

Reload r15, the heap pointer, after a call because a callback could have…

Don't use XMM6: it's callee-save in Windows/X64. We're unlikely to need it but…

Fix passing more than four arguments in Win X64.

Change the Foreign structure to use compiled FFI calls.

Copy Foreign.sml to allow bootstrapping from version 5.8.

Update compiler version to 5.8.1.

Add support for X86/64 on Unix.

Added support for X86/64 on Windows.

Complete basic implementation for X86/32.

Merge branch 'master' into CompileForeignCall

Basic code to implement function call without any arguments.

Merge branch 'master' into CompileForeignCall

Begin the process of compiling foreign calls.

Added contributors

clarified basic Linux packages;

merged

type class reduction

merged

de-applying and tidying

guide continued

factored out theory Bits_Int

early and more complete setup of tools

factored out theory Bits_Int

factored out singular operation into separate theory

reactivate veriT after changing options in 11f645d25498

renamed constant

improved proofs

merged

discontinued old platforms;

merged

tuned proofs

nice new version without even/odd case splits

remove unsupported max-time option from veriT calls

more standard Value.print_time;

disable verit-2020.10-rmx-1 for now: does not quite work on Windows and macOS;