[Nov 1 2017]:
DOC: LaTeX syntax
FIXED: Possible write reordering when creating the predicate supervisor code.
PORT: Enable shared objects for aarch* architecture on Linux.
FIXED: possible race when rehashing functors
[Oct 31 2017]:
ADDED: load_files/2: option check_script(+Boolean) to prevent checking for a #! script line.
FIXED: Race conditions around GD->functors.highest.
[Oct 30 2017]:
TEST: More stressful test that found several issues in atom handling.
FIXED: Avoid reordering of memory access impact lookupFunctor().
FIXED: possible race condition when calculating the highest atom index
CLEANUP: Move true(type, PL_BLOB_UNIQUE) to inside the loop.
FIXED: Allow for safe vetoing of atom destruction from the release hook.
FIXED: Avoid overflow of atom reference counts.
FIXED: race condition(s) when creating new atoms
FIXED: race condition when iterating over atom table
[Oct 27 2017]:
ENHANCED: Avoid creating modules for '$def_modules'/2 (part of expansion)
ENHANCED: Avoid creating modules for qualified goals to non-existing modules.
[Oct 29 2017]:
FIXED: Issue#275: mv/2 not to demand the target to exist when moving a single file.
DOC: number_chars/2 and name/2: clarified.
DOC: Clarify the set predicates from library(lists). Still incomplete and their definition is highly dubious.
DOC: Removed style_check(+atom) from the docs and references to it. Wouter Beek.
[Oct 28 2017]:
DOC: Document that number_codes/2 supports number signs.
DOC: Document the difference between put_dict/4 and `.'-notation.
DOC: Fixed documentation of get_dict/5.
DOC: Typo in website name Wikipedi[A]; also HTTPS.
DOC: Document the Reference (handle) argument of assertz/2.
DOC: GET is an HTTP method, not a protocol.
DOC: Document the support for Wildcard expansion in mv/2.
DOC: Document important limitations of union/3.
DOC: Explain the difference between get_dict/3 and `.`-notation.
DOC: Document the default value of option eof_action/1 to open/4. Also fixes some small typos.
DOC: Documented the full range of control characters.
DOC: Fixed examples that are given for char_type/2.
DOC: Completed the table of supported types for must_be/2.
DOC: Fixed typo in example for predicate_options.
[Oct 27 2017]:
FIXED: Race condition in reserveAtom().
[Oct 26 2017]:
FIXED: Way simpler handling for starting AGC/CGC on a separate thread lazily.
PORT: Compilation on systems that do not have pthread_attr_setaffinity_np() and SCHED_SETAFFINITY. Paulo Moura.
FIXED: more issues around the creation of the gc thread. Note that these problems only affect programs in the startup phase.
[Oct 25 2017]:
FIXED: Continue if we cannot create the gc thread
TEST: Test race conditions around gc thread startup.
FIXED: Added thread_create/2 to xref meta-declarations.
FIXED: Possible deadlock starting the gc threads. With help from Keri Harris.
ADDED: thread_affinity/3 to query and control the thread affinity mask
FIXED: Crash on ARM cpus due to memory access reordering. With lots of help from Keri Harris. This patch introduces some additional state in free atoms to make similar issues easier to debug.
ADDED: thread_create/3: option affinity(CpuSet)
[Oct 22 2017]:
MODIFIED: current_key/1 used to succeed on empty record lists. This seems inconsistent with the rest of the recorded database.
FIXED: Cleanup recorded database after finishing enumeration. Can have a very big performance impact and memory reduction on programs that use recorded/2,3. Fabrizio Riguzzi.
FIXED: recorded database race condition.
[Oct 21 2017]:
ADDED: call_nth/2 to library(solution_sequences).
[Oct 20 2017]:
MODIFIED: Mapping from errno to Prolog exceptions. The following errors used to be mapped to existence errors and are now mapped to more meaningful errors: - EPERM, EROFS and ENOTEMPTY are now mapped to permission_error - ELOOP is now mapped to representation_error
[Oct 19 2017]:
FIXED: get_procedure() using GP_FINDHERE should not create the target module.
[Oct 18 2017]:
ENHANCED: current_op/3: avoid creating a module if the name is qualified with the name of an non-existing module.
ENHANCED: time_file/2: support sub-second resolution on systems where the time field of `struct stat` is a timespec instead of time_t (e.g., Linux).
[Oct 17 2017]:
ENHANCED: get_procedure(): avoid creating modules and undefined procedures.
[Oct 16 2017]:
ENHANCED: source_file/2: avoid creating predicate to find files from its autoloaded definition.
ENHANCED: Avoid '$c_current_predicate'/2 from creating the target module on qualified calls.
ENHANCED: write_term/2,3: if a module(M) argument is provided, but the requested module does not exist use user. This avoids recreating the pengine module if a delayed pull_response query arrives after the pengine destroy.
[Oct 14 2017]:
ADDED: csv_read_row/3: handle r delimited files.
[Oct 13 2017]:
FIXED: 65581363122939a884ea0583277b98f8e9d59a6e completed to actually read r line-terminated CSV files.
[Oct 11 2017]:
DOC: pack_property/2: make clear this concerns local packs. Nicos Angelopoulos.
ENHANCED: Issue#274: better determinism of stream_property(-,+). Douglas Miles.
[Oct 10 2017]:
FIXED: pack installation: detect we need to build foreign resources if configure.ac is present.
Package chr:
[Oct 30 2017]:
CLEANUP: internally renamed line_number into source_location to reflect the change of the data structure.
FIXED: line number patch: part of the code expected an integer
ENHANCED: Print file name along with line numbers for CHR errors and warnings. Wouter Beek.
Package clib:
[Oct 29 2017]:
DOC: Issue#18: uri_is_global/1. Wouter Beek.
[Oct 28 2017]:
DOC: Document structure of Components in uri_authority_components/2.
[Oct 19 2017]:
FIXED: graceful shutdown of sockets on Windows. An FD_CLOSE event arriving after an EOF has been read must not cause a WSAECONNRESET error
[Oct 16 2017]:
FIXED: possible race condition on Windows when closing sockets
[Oct 8 2017]:
ADDED: chmod/2 to change the mode of a file entry on POSIX systems.
Package http:
[Oct 28 2017]:
DOC: Part of the documentation of http_open/3 was not processed.
DOC: Fixed typo in module http_log.
DOC: Mention all supported HTTP methods for http_read_request/2.
DOC: GET is an HTTP method, not a protocol.
DOC: Fixed missing closing brackets.
[Oct 21 2017]:
FIXED: http_schedule_logrotate/2: Allow for full weekday as the docs state should be allowed.
[Oct 8 2017]:
ADDED: http_log_stream/1: broadcast http_log_open(Term) before opening the log file.
FIXED: Possible race condition opening the HTTP log file.
[Oct 7 2017]:
FIXED: possible socket leak if HTTP servers are created and stopped in quick succession. Unlikely to occur in practice
[Oct 6 2017]:
FIXED: possible hang when restarting HTTP worker pools in quick succession
Package pengines:
[Nov 1 2017]:
FIXED: Infinite loop if solutions(all) is requested and the query raises an error.
[Oct 31 2017]:
SECURITY: pengine_property/2: prevent revealing information about other Pengines. This is not a security issue for the server, but does allow attackers to hijack Pengines created by other users.
Package pldoc:
[Oct 28 2017]:
DOC: Fixed typo.
[Oct 20 2017]:
ADDED: pass on style to <img>
Package semweb:
[Oct 28 2017]:
DOC: The representation of SPARQL NULL values in sparql_query/3.
DOC: Refer users of rdf_atom_md5/3 to the modern crypto library.
DOC: Improved documentation for lookup/2 in rdf_statistics/1.
DOC: Improved documentation of rdf_global_term/2. Document that both rdf_global_id/2 and rdf_global_object/2 are used.
[Oct 27 2017]:
DOC: fixed ungrammatical sentence
[Oct 15 2017]:
ADDED: sparql_query/3: endpoint(+Endpoint) option as alternative to separate host, scheme, etc. specification.
Package sgml:
[Oct 29 2017]:
MODIFIED: Issue#21: Allow for years with more than 4 digits, as allows in XML Schema part 2.
[Oct 24 2017]:
DOC: minor typo
Package xpce:
[Oct 25 2017]:
BUILD: Deal with renamed README --> README.md
Package zlib:
[Oct 20 2017]:
FIXED: Update byte position of stream such that seek/4 and byte_count/2 keep working. Should/can we also update the other?
