Page MenuHomeIsabelle/Phabricator
Feed Advanced Search

Oct 19 2020

dcjm committed rPOLYMLceb9e75a008a: Merge branch 'master' of https://github.com/dcjm/polyml into PollChangesAgain (authored by dcjm).
Merge branch 'master' of https://github.com/dcjm/polyml into PollChangesAgain
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML45c113028265: Replace many of the Windows RTS calls by direct calls to the Windows functions… (authored by dcjm).
Replace many of the Windows RTS calls by direct calls to the Windows functions…
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML358195f5a900: Remove unused Windows calls. (authored by dcjm).
Remove unused Windows calls.
Oct 19 2020, 12:36 PM
dcjm committed rPOLYMLf36540028c92: Further change to Test186 to handle unconfigured IPv6. (authored by dcjm).
Further change to Test186 to handle unconfigured IPv6.
Oct 19 2020, 12:36 PM
dcjm committed rPOLYMLde52a415c390: Modify IPv6 test so that it raises NotApplicable if IPv6 is not configured. (authored by dcjm).
Modify IPv6 test so that it raises NotApplicable if IPv6 is not configured.
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML4c3eda120d23: Fix some of the changes to network.cpp and add a test of Unix sockets. (authored by dcjm).
Fix some of the changes to network.cpp and add a test of Unix sockets.
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML432b8d3cb8c7: Convert the remainder of the PolyNetworkGeneral calls into individual RTS calls. (authored by dcjm).
Convert the remainder of the PolyNetworkGeneral calls into individual RTS calls.
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML0e3f1fdde4ba: Merge branch 'master' into PollChangesAgain (authored by dcjm).
Merge branch 'master' into PollChangesAgain
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML48a46cb83e28: Add test for IPv6 (authored by dcjm).
Add test for IPv6
Oct 19 2020, 12:36 PM
dcjm committed rPOLYMLb588bdfe8ac4: Use HOST_NAME_MAX if it is defined to set the buffer size for gethostname. (authored by dcjm).
Use HOST_NAME_MAX if it is defined to set the buffer size for gethostname.
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML7ed424ef73bf: Merge branch 'master' into PollChangesAgain (authored by dcjm).
Merge branch 'master' into PollChangesAgain
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML0af503bfe222: Fix bug in neg_longc when the argument was the smallest negative short form… (authored by dcjm).
Fix bug in neg_longc when the argument was the smallest negative short form…
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML6082fab4fa7f: Correct the order of atExit functions. (authored by dcjm).
Correct the order of atExit functions.
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML71787f6d9e6a: Various fixes to the recent changes needed for Linux. (authored by dcjm).
Various fixes to the recent changes needed for Linux.
Oct 19 2020, 12:36 PM
dcjm committed rPOLYMLb616c2163821: Create individual functions for the remaining "general functions" in… (authored by dcjm).
Create individual functions for the remaining "general functions" in…
Oct 19 2020, 12:36 PM
dcjm committed rPOLYMLb6eef3849b3e: Change time functions to individual RTS calls rather than a single dispatch… (authored by dcjm).
Change time functions to individual RTS calls rather than a single dispatch…
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML942542d4cb53: Remove PolyThreadGeneral. This was only required for the bootstrap. (authored by dcjm).
Remove PolyThreadGeneral. This was only required for the bootstrap.
Oct 19 2020, 12:36 PM
dcjm committed rPOLYMLd3c42ae2f5dc: Remove FlushInstructionCache. This was used on the PowerPC but has never done… (authored by dcjm).
Remove FlushInstructionCache. This was used on the PowerPC but has never done…
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML969b93c09cb3: Merge branch 'RefactorSharing' into PollChangesAgain (authored by dcjm).
Merge branch 'RefactorSharing' into PollChangesAgain
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML94dee07d711a: Remove some more legacy code. (authored by dcjm).
Remove some more legacy code.
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML61d9bcce4f38: Further simplification. (authored by dcjm).
Further simplification.
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML757cad510fcf: Merge RecursiveScan and RecursiveScanWithStack. (authored by dcjm).
Merge RecursiveScan and RecursiveScanWithStack.
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML7cec1adc4e7f: Move RecursiveScan and RecursiveScanWithStack into GC sharing since they're… (authored by dcjm).
Move RecursiveScan and RecursiveScanWithStack into GC sharing since they're…
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML4649da3ad71f: Merge branch 'master' into PollChangesAgain (authored by dcjm).
Merge branch 'master' into PollChangesAgain
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML62131f750655: Add IPv6 socket support. (authored by dcjm).
Add IPv6 socket support.
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML77501a9189da: Merge branch 'NetworkChanges' into PollChangesAgain (authored by dcjm).
Merge branch 'NetworkChanges' into PollChangesAgain
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML5a2d1e30f64b: Replace getHostByAddr with getnameinfo. Simplify gethostname - the maximum… (authored by dcjm).
Replace getHostByAddr with getnameinfo. Simplify gethostname - the maximum…
Oct 19 2020, 12:35 PM
dcjm committed rPOLYMLc5a59876df81: Merge branch 'master' into NetworkChanges (authored by dcjm).
Merge branch 'master' into NetworkChanges
Oct 19 2020, 12:35 PM
dcjm committed rPOLYMLe576ee62f245: Add getaddrinfo call and remove gethostbyname. Reorganise the inet4 socket… (authored by dcjm).
Add getaddrinfo call and remove gethostbyname. Reorganise the inet4 socket…
Oct 19 2020, 12:35 PM
dcjm committed rPOLYMLa1181f1da4ca: Merge branch 'master' of https://github.com/dcjm/polyml into NetworkChanges (authored by dcjm).
Merge branch 'master' of https://github.com/dcjm/polyml into NetworkChanges
Oct 19 2020, 12:35 PM
dcjm committed rPOLYMLbe043299d2a5: Build the Foreign structures earlier in the process of building the basis. (authored by dcjm).
Build the Foreign structures earlier in the process of building the basis.
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML435d5fdeef5b: Merge branch 'master' into PollChangesAgain (authored by dcjm).
Merge branch 'master' into PollChangesAgain
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML662057f95c1e: Add more address families. (authored by dcjm).
Add more address families.
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML8e61b8868127: Move test to avoid merge conflict. (authored by dcjm).
Move test to avoid merge conflict.
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML557f86d2b9f6: Begin adding testForInput and testForOutput as RTS calls that combine a test… (authored by dcjm).
Begin adding testForInput and testForOutput as RTS calls that combine a test…
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML8f9fa713f9ec: Need to load a register for the ML stack on X86/64 if there are more than 5… (authored by dcjm).
Need to load a register for the ML stack on X86/64 if there are more than 5…
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML8f14f0ab5a08: Complete the conversion process. There is a temporary fix for the first… (authored by dcjm).
Complete the conversion process. There is a temporary fix for the first…
Oct 19 2020, 12:35 PM
dcjm committed rPOLYMLfc066352b40d: Merge the rtsFullCalls and rtsFastCalls. The fast calls save and restore the… (authored by dcjm).
Merge the rtsFullCalls and rtsFastCalls. The fast calls save and restore the…
Oct 19 2020, 12:35 PM
dcjm committed rPOLYMLdc6791187fc6: Only set the return address to directly raise an exception if we are returning… (authored by dcjm).
Only set the return address to directly raise an exception if we are returning…
Oct 19 2020, 12:35 PM
dcjm committed rPOLYMLac48f2c4b534: Add RunCall.rtsCallFull4 and RunCall.rtsCallFull5. (authored by dcjm).
Add RunCall.rtsCallFull4 and RunCall.rtsCallFull5.
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML0d577af9beb6: Change Posix.Process.sleep and Posix.Process.pause so that time calculations… (authored by dcjm).
Change Posix.Process.sleep and Posix.Process.pause so that time calculations…
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML8eec12c4afae: Merge branch 'master' into PollChanges (authored by dcjm).
Merge branch 'master' into PollChanges
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML0663d64835dd: Remove WaitNet and WaitNetSend since all the waiting is done in ML calls to… (authored by dcjm).
Remove WaitNet and WaitNetSend since all the waiting is done in ML calls to…
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML13f102a20091: Convert receive and receiveFrom. (authored by dcjm).
Convert receive and receiveFrom.
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML2c2e6554622a: Use struct sockaddr_storage wherever we need to receive the address. This… (authored by dcjm).
Use struct sockaddr_storage wherever we need to receive the address. This…
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML6616bb24c236: Convert send and sendTo. Add tests of actually sending data on TCP and UDP… (authored by dcjm).
Convert send and sendTo. Add tests of actually sending data on TCP and UDP…
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML8e51714f2e2b: Change Socket.connect so that waiting for the connection is done in ML. Clean… (authored by dcjm).
Change Socket.connect so that waiting for the connection is done in ML. Clean…
Oct 19 2020, 12:35 PM
dcjm committed rPOLYMLa49620384b81: Change "accept" in the same way as "connect". (authored by dcjm).
Change "accept" in the same way as "connect".
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML84cbf8b87624: Fix change to select. It was testing the wrong vector for the exception result. (authored by dcjm).
Fix change to select. It was testing the wrong vector for the exception result.
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML928f23735876: Use reraise rather than raise to pass on unhandled exceptions in nonBlocking. (authored by dcjm).
Use reraise rather than raise to pass on unhandled exceptions in nonBlocking.
Oct 19 2020, 12:35 PM
dcjm committed rPOLYML71b970e68a48: Change select in the same way as poll. (authored by dcjm).
Change select in the same way as poll.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML1db4d8fec681: Merge branch 'master' into PollChanges (authored by dcjm).
Merge branch 'master' into PollChanges
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML7737f56e82a4: Introduce a new RTS call for OS.IO.poll, and incidentally OS.Process.sleep… (authored by dcjm).
Introduce a new RTS call for OS.IO.poll, and incidentally OS.Process.sleep…
Oct 19 2020, 12:34 PM
dcjm committed rPOLYMLb3d16c060a54: Completed return of structs in X86/64 SysV. (authored by dcjm).
Completed return of structs in X86/64 SysV.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML1efc87034b80: Add support for structures as results in X86/32 and X64 Windows. Refactor X64… (authored by dcjm).
Add support for structures as results in X86/32 and X64 Windows. Refactor X64…
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML42b4bee379f5: Now supports structs as arguments. Tested on Windows 32-bit and 64-bit. (authored by dcjm).
Now supports structs as arguments. Tested on Windows 32-bit and 64-bit.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML66f596c39388: Use a rich-edit control for the GUI screen. A text edit control seems to lock… (authored by dcjm).
Use a rich-edit control for the GUI screen. A text edit control seems to lock…
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML31e8f0e18e42: Fix bug in WM_NCCALCSIZE decoding. Move buildCall functions out of… (authored by dcjm).
Fix bug in WM_NCCALCSIZE decoding. Move buildCall functions out of…
Oct 19 2020, 12:34 PM
dcjm committed rPOLYMLf5ddae04354a: Change callback function now we no longer release memory before an FFI call. (authored by dcjm).
Change callback function now we no longer release memory before an FFI call.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML077aae334046: Add movsx opcodes to scan table. (authored by dcjm).
Add movsx opcodes to scan table.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYMLa551a0872024: Only generate Rex bytes for MOVSXB/MOVSXW in 64-bit mode. (authored by dcjm).
Only generate Rex bytes for MOVSXB/MOVSXW in 64-bit mode.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYMLcf9a3aff7d60: Reload r15, the heap pointer, after a call because a callback could have… (authored by dcjm).
Reload r15, the heap pointer, after a call because a callback could have…
Oct 19 2020, 12:34 PM
dcjm committed rPOLYMLa3227e4109f3: Don't use XMM6: it's callee-save in Windows/X64. We're unlikely to need it but… (authored by dcjm).
Don't use XMM6: it's callee-save in Windows/X64. We're unlikely to need it but…
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML7a88df424ec8: Fix passing more than four arguments in Win X64. (authored by dcjm).
Fix passing more than four arguments in Win X64.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML293c3698a902: Change the Foreign structure to use compiled FFI calls. (authored by dcjm).
Change the Foreign structure to use compiled FFI calls.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML1de3f1ed1634: Copy Foreign.sml to allow bootstrapping from version 5.8. (authored by dcjm).
Copy Foreign.sml to allow bootstrapping from version 5.8.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYMLf854e0ad4d04: Update compiler version to 5.8.1. (authored by dcjm).
Update compiler version to 5.8.1.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML37b9ee157513: Add support for X86/64 on Unix. (authored by dcjm).
Add support for X86/64 on Unix.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML203c16fc1f04: Added support for X86/64 on Windows. (authored by dcjm).
Added support for X86/64 on Windows.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML40285594c3d3: Complete basic implementation for X86/32. (authored by dcjm).
Complete basic implementation for X86/32.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML9a1fa4ffb0b1: Merge branch 'master' into CompileForeignCall (authored by dcjm).
Merge branch 'master' into CompileForeignCall
Oct 19 2020, 12:34 PM
dcjm committed rPOLYMLc50729ff06d1: Basic code to implement function call without any arguments. (authored by dcjm).
Basic code to implement function call without any arguments.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYMLdd4829927e18: Merge branch 'master' into CompileForeignCall (authored by dcjm).
Merge branch 'master' into CompileForeignCall
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML1accd78d45bd: Begin the process of compiling foreign calls. (authored by dcjm).
Begin the process of compiling foreign calls.
Oct 19 2020, 12:34 PM

Oct 14 2020

dcjm committed rPOLYMLd68c6736402e: The general "tail" instruction is now in the extended set. (authored by dcjm).
The general "tail" instruction is now in the extended set.
Oct 14 2020, 4:23 PM
dcjm committed rPOLYML27b540108c51: Fix offsets in test. (authored by dcjm).
Fix offsets in test.
Oct 14 2020, 2:03 PM
dcjm committed rPOLYML8005eac0d430: genRTSCallFastGeneraltoFloat is now an extended operation. (authored by dcjm).
genRTSCallFastGeneraltoFloat is now an extended operation.
Oct 14 2020, 2:03 PM
dcjm committed rPOLYML7d9961273657: LoadC8/StoreC8 use genCAddress so that involves an extra item on the stack. (authored by dcjm).
LoadC8/StoreC8 use genCAddress so that involves an extra item on the stack.
Oct 14 2020, 2:03 PM
dcjm committed rPOLYML10062b68e674: LoadC8/StoreC8 now take both an offset and an index as with the other C-memory… (authored by dcjm).
LoadC8/StoreC8 now take both an offset and an index as with the other C-memory…
Oct 14 2020, 2:03 PM
dcjm committed rPOLYML5b30027d4fb2: Don't build the UnixSock structure on Windows. (authored by dcjm).
Don't build the UnixSock structure on Windows.
Oct 14 2020, 2:03 PM

Oct 13 2020

dcjm committed rPOLYML4c6a1079c698: Revert accidental inclusion of project file in last commit. (authored by dcjm).
Revert accidental inclusion of project file in last commit.
Oct 13 2020, 9:43 AM
dcjm committed rPOLYMLf15d12323f92: Fix K and E exports for 32-in-64. (authored by dcjm).
Fix K and E exports for 32-in-64.
Oct 13 2020, 9:43 AM

Oct 12 2020

dcjm committed rPOLYMLff874d8a0d07: PE/COFF exporter: Save the first relocation and write it to the end of the… (authored by dcjm).
PE/COFF exporter: Save the first relocation and write it to the end of the…
Oct 12 2020, 7:21 PM
dcjm committed rPOLYML643d6eb66862: Move one opcode value because the value was still being used during the… (authored by dcjm).
Move one opcode value because the value was still being used during the…
Oct 12 2020, 7:20 PM
dcjm committed rPOLYML08840a0770ca: Remove the intermediate stage instructions and add a couple of reduced… (authored by dcjm).
Remove the intermediate stage instructions and add a couple of reduced…
Oct 12 2020, 7:20 PM
dcjm committed rPOLYML7a66a6d1031b: Combine jump with equalLocalB. (authored by dcjm).
Combine jump with equalLocalB.
Oct 12 2020, 7:20 PM
dcjm committed rPOLYML607cfb990433: Combine the tag check instructions with jumps. (authored by dcjm).
Combine the tag check instructions with jumps.
Oct 12 2020, 7:20 PM
dcjm committed rPOLYML78f60dc73acb: Move some more rarely used instructions into the escaped instruction group. (authored by dcjm).
Move some more rarely used instructions into the escaped instruction group.
Oct 12 2020, 7:20 PM
dcjm committed rPOLYML12ec8bf87b6f: Replace a conditional branch round an unconditional branch by a conditional… (authored by dcjm).
Replace a conditional branch round an unconditional branch by a conditional…
Oct 12 2020, 7:20 PM
dcjm committed rPOLYML306f1960555a: Link branches together to avoid a branch to a branch. (authored by dcjm).
Link branches together to avoid a branch to a branch.
Oct 12 2020, 7:20 PM
dcjm committed rPOLYMLca556b86aec6: Add an optimisation pass. Currently this only deals with eliminating… (authored by dcjm).
Add an optimisation pass. Currently this only deals with eliminating…
Oct 12 2020, 7:20 PM
dcjm committed rPOLYML4ebb4df22931: Add some combined instructions that implement common sequences for datatype tag… (authored by dcjm).
Add some combined instructions that implement common sequences for datatype tag…
Oct 12 2020, 7:20 PM
dcjm committed rPOLYML5225f3423135: Improvements to interpreted code and the interpreter. Add code to handle… (authored by dcjm).
Improvements to interpreted code and the interpreter. Add code to handle…
Oct 12 2020, 7:19 PM
dcjm committed rPOLYMLbd97deb0d0a8: Fix bug that only showed up after several bootstraps. (authored by dcjm).
Fix bug that only showed up after several bootstraps.
Oct 12 2020, 7:19 PM
dcjm committed rPOLYMLa55d0e291e9a: Fix bug in indexed case in the interpreter. Start adding composite… (authored by dcjm).
Fix bug in indexed case in the interpreter. Start adding composite…
Oct 12 2020, 7:19 PM
dcjm committed rPOLYMLb79bac609abe: Overhaul the interpreted code. Separate rarely used instructions into two-byte… (authored by dcjm).
Overhaul the interpreted code. Separate rarely used instructions into two-byte…
Oct 12 2020, 7:19 PM
dcjm committed rPOLYML3c0dd39a822b: Add separate descriptors for entry points and weak references. These are… (authored by dcjm).
Add separate descriptors for entry points and weak references. These are…
Oct 12 2020, 7:19 PM
dcjm committed rPOLYMLed98efd94fef: Merge branch 'master' of https://github.com/dcjm/polyml (authored by dcjm).
Merge branch 'master' of https://github.com/dcjm/polyml
Oct 12 2020, 7:19 PM
dcjm committed rPOLYML9a539fd19372: Add hint file for Visual Studio. (authored by dcjm).
Add hint file for Visual Studio.
Oct 12 2020, 7:19 PM
dcjm committed rPOLYML5049af2b267a: Change DEBUGGER signature in ROOT file for interpreted version (authored by dcjm).
Change DEBUGGER signature in ROOT file for interpreted version
Oct 12 2020, 7:19 PM