Page MenuHomeIsabelle/Phabricator
Feed Advanced Search

Oct 19 2020

dcjm committed rPOLYML206b68f67116: Complete struct passing for Win64 callbacks. (authored by dcjm).
Complete struct passing for Win64 callbacks.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYMLfc8823656e46: Generate the main part of a callback in the first application to the argument… (authored by dcjm).
Generate the main part of a callback in the first application to the argument…
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML6214eb21b5cd: Change the way the cStructn functions work so that it is possible to compute… (authored by dcjm).
Change the way the cStructn functions work so that it is possible to compute…
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML07c9e32fcf82: Add original version of ForeignMemory for bootstrapping. (authored by dcjm).
Add original version of ForeignMemory for bootstrapping.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML4d251dd08ab7: Use alloca for arguments and result in FFI calls. (authored by dcjm).
Use alloca for arguments and result in FFI calls.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML4b901f4f7e85: Add Foreign.Memory.alloca. This allocates temporary memory on the stack. (authored by dcjm).
Add Foreign.Memory.alloca. This allocates temporary memory on the stack.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML57d941372a34: Add separate RTS calls for the FFI functions. (authored by dcjm).
Add separate RTS calls for the FFI functions.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML2f4d00556739: When passing a callback touch it in the "delete" function. (authored by dcjm).
When passing a callback touch it in the "delete" function.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML8355901278a6: Merge branch 'master' into CompileForeignCall (authored by dcjm).
Merge branch 'master' into CompileForeignCall
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML1099f0201f17: Add comment about closures. (authored by dcjm).
Add comment about closures.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML19cc0848c6c7: Remove assembly code entries for kill-self and pop-arg-and-closure. (authored by dcjm).
Remove assembly code entries for kill-self and pop-arg-and-closure.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML091584201122: Add inline absolute 64-bit constants to the code-generator for 32-in-64. This… (authored by dcjm).
Add inline absolute 64-bit constants to the code-generator for 32-in-64. This…
Oct 19 2020, 12:37 PM
dcjm committed rPOLYMLa1ba54bf3fb5: Fix argument area address in X64/Unix closures. (authored by dcjm).
Fix argument area address in X64/Unix closures.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML0e62d5c15252: Push with 32-bit address is only used in native 32-bits. (authored by dcjm).
Push with 32-bit address is only used in native 32-bits.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYMLaffea672b056: Added support for C closures (callbacks) in Unix 64-bit. (authored by dcjm).
Added support for C closures (callbacks) in Unix 64-bit.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML1f39763faa8b: Largely complete closures for 64-bit Windows. Structs as arguments are not yet… (authored by dcjm).
Largely complete closures for 64-bit Windows. Structs as arguments are not yet…
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML3e7dac6eb710: Convert 64-bit GAS to use RTS calls for traps. (authored by dcjm).
Convert 64-bit GAS to use RTS calls for traps.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML74e0516db2a7: Modify assembly code for 32-bit GAS. (authored by dcjm).
Modify assembly code for 32-bit GAS.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML39d12a6e725b: Handle KillException in the trap handler. (authored by dcjm).
Handle KillException in the trap handler.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYMLf5af1f6645ce: Change Windows 64-bit assembly code to call trap handler. (authored by dcjm).
Change Windows 64-bit assembly code to call trap handler.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYMLe1e07285e039: Switch to using compiled call-back functions. (authored by dcjm).
Switch to using compiled call-back functions.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYMLd67d74b0186d: Handle GC and stack overflow traps by calling into the C code rather than… (authored by dcjm).
Handle GC and stack overflow traps by calling into the C code rather than…
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML56e061b79c88: Save the C stack pointer when returning from a foreign call. Currently only 32… (authored by dcjm).
Save the C stack pointer when returning from a foreign call. Currently only 32…
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML237e2f9c3e3c: Switch to using the compiled call-back code. (authored by dcjm).
Switch to using the compiled call-back code.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML184ae2dc3b21: Implement foreign callback functions for X86/32. (authored by dcjm).
Implement foreign callback functions for X86/32.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYMLf1605bb7be4d: FFI_SYSV needs to be included in X86/32 since it is the default API. (authored by dcjm).
FFI_SYSV needs to be included in X86/32 since it is the default API.
Oct 19 2020, 12:36 PM
dcjm committed rPOLYMLcc67e4d29f7c: Fix for 32-in-64 on Unix. We can't use mlArg2Reg for the argument area pointer… (authored by dcjm).
Fix for 32-in-64 on Unix. We can't use mlArg2Reg for the argument area pointer…
Oct 19 2020, 12:36 PM
dcjm committed rPOLYMLa63dd183a786: Convert PolyObject * in first argument to FirstArgument type. This was missed… (authored by dcjm).
Convert PolyObject * in first argument to FirstArgument type. This was missed…
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML471fd261f2fc: Merge branch 'master' into CompileForeignCall (authored by dcjm).
Merge branch 'master' into CompileForeignCall
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML42a85daa50de: Tidy up and simplify the Windows GUI console. (authored by dcjm).
Tidy up and simplify the Windows GUI console.
Oct 19 2020, 12:36 PM
dcjm committed rPOLYMLdd93dd4bb8a3: Fix return register in X86/64. Turn off debugging output. (authored by dcjm).
Fix return register in X86/64. Turn off debugging output.
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML060905df6845: Revert to using Edit control rather than RichEdit. (authored by dcjm).
Revert to using Edit control rather than RichEdit.
Oct 19 2020, 12:36 PM
dcjm committed rPOLYMLec6bf52e2cd6: Modify old Foreign structure to take account of changes made in OS. (authored by dcjm).
Modify old Foreign structure to take account of changes made in OS.
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML6f37e47883ba: Merge branch 'PollChangesAgain' into CompileForeignCall (authored by dcjm).
Merge branch 'PollChangesAgain' into CompileForeignCall
Oct 19 2020, 12:36 PM
dcjm committed rPOLYMLce39cdb5ff97: Rebuilt configure after merge. (authored by dcjm).
Rebuilt configure after merge.
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML0334be93fa3d: Merge branch 'master' into PollChangesAgain (authored by dcjm).
Merge branch 'master' into PollChangesAgain
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML35af4130a03d: Reorder some of the entries in the library build file so that the PolyML… (authored by dcjm).
Reorder some of the entries in the library build file so that the PolyML…
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML77f7da990ef0: Remove dependency of ExnPrinter on OS. (authored by dcjm).
Remove dependency of ExnPrinter on OS.
Oct 19 2020, 12:36 PM
dcjm committed rPOLYMLc264949a7407: Convert the remaining Windows-specific calls to separate RTS calls. (authored by dcjm).
Convert the remaining Windows-specific calls to separate RTS calls.
Oct 19 2020, 12:36 PM
dcjm committed rPOLYML8ae8b2e2f0db: Remove RTS calls and use Windows calls. (authored by dcjm).
Remove RTS calls and use Windows calls.
Oct 19 2020, 12:36 PM
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