Thema: Entwicklertools diverses

[SiLæncer]

Visual Studio Code is a powerful IDE, dedicated to building Web applications and cloud programs. The tool is a lightweight and resembles the functionality of Visual Studio, however it features comprehensive revision and compiling utilities, packed in a modern looking interface.

Freeware

Whats new:>>

Adds translations and addresses a handful of issues.

https://code.visualstudio.com/

[SiLæncer]

Vagrant fasst alles, was Entwickler benötigen, in einer virtuellen Entwicklungsumgebung zusammen, was Entwicklern das Leben deutlich vereinfachen soll. Webentwickler müssen beispielsweise keine Infrastrukturkomponenten mehr einrichten oder sich um Abhängigkeiten Gedanken machen.

Das von Mitchell Hashimoto und John Bender 2010 initiierte Projekt Vagrant macht die Zusammenstellung virtueller Maschinen für Entwickler deutlich einfacher. Mit wenigen Handgriffen lassen sich virtuelle Maschinen mit allen benötigten Komponenten erstellen, die dann das gesamte Team nutzen kann, so dass alle mit exakt den gleichen Bibliotheken und Infrastrukturkomponenten in identischen Versionen arbeiten.

Vagrant basiert auf Oracles freier Virtualisierungslösung Virtualbox und nutzt Chef und Puppet, um die virtuellen Maschinen einzurichten. Gesteuert wird das Ganze über sogenannte Vagrantfiles.

Vagrant läuft unter Windows, Linux und Mac OS X, die eigentliche Entwicklungsumgebung wurde unter Ubuntu Linux umgesetzt. Es stehen aber auch sogenannte Basisboxen mit Arch Linux, Debian, Fedora, FreeBSD, Gentoo, Redhat, Solaris und Suse bereit.

Changelog

FEATURES:

    hosts/windows: Support running within WSL [GH-8570, GH-8582]

IMPROVEMENTS:

    communicators/ssh: Retry on aborted connections [GH-8526, GH-8520]
    communicators/winssh: Enabling shared folders and networking setup [GH-8567]
    core: Remove nokogiri dependency and constraint [GH-8571]
    guests: Do not modify existing /etc/hosts content [GH-8506, GH-7794]
    guests/redhat: Update network configuration capability to properly handle NM [GH-8531]
    hosts/windows: Check for elevated shell for Hyper-V [GH-8548, GH-8510]
    hosts/windows: Fix invalid share names on Windows guests from Windows hosts [GH-8433]
    providers: Return errors from docker/hyperv on ssh when not available [GH-8565, GH-8508]
    providers/docker: Add support for driving provider with docker-compose [GH-8576]

BUG FIXES:

    guests/debian: Fix use_dhcp_assigned_default_route [GH-8577, GH-8575]
    provisioners/shell: Fix Windows batch file provisioning [GH-8539, GH-8535]
    providers/docker: Fall back to old style for SSH info lookup [GH-8566, GH-8552]
    providers/hyperv: Fix import script [GH-8529]
    providers/hyperv: Use string comparison for conditional checks in import scripts [GH-8568, GH-8444]

[close]

http://www.vagrantup.com/

[SiLæncer]

PMD is a source code analyzer. It finds common programming flaws like unused variables, empty catch blocks, unnecessary object creation, and so forth. It supports Java, JavaScript, PLSQL, Apache Velocity, XML, XSL.
Additionally it includes CPD, the copy-paste-detector. CPD finds duplicated code in Java, C, C++, C#, PHP, Ruby, Fortran, JavaScript, PLSQL, Apache Velocity, Ruby, Scala, Objective C, Matlab, Python, Go, Swift.

Available Plugins include:

    Maven PMD.
    Eclipse.
    NetBeans.
    JBuilder.
    JDeveloper.
    IntelliJ IDEA.

PMD additionally includes CPD, the copy-paste-detector. CPD finds duplicated code in Java, C, C++, C#, PHP, Ruby, Fortran, JavaScript, PLSQL, Apache Velocity, Scala, Objective C, Matlab, Python, Go.

Open Source

Changelog

NEW AND NOTEWORTHY:

Modified Rules:

The rule “FieldDeclarationsShouldBeAtStartOfClass” of the java-design ruleset has a new property ignoreInterfaceDeclarations. Setting this property to true ignores interface declarations, that precede fields. Example usage:
<rule ref="rulesets/java/design.xml/FieldDeclarationsShouldBeAtStartOfClass">
<properties>
<property name="ignoreInterfaceDeclarations" value="true"/>
</properties>
</rule>

Renderers:

Added the ‘empty’ renderer which will write nothing. Does not affect other behaviors, for example the command line PMD exit status will still indicate whether violations were found.

FIXED ISSUES:

General:
#377: [core] Use maven wrapper and upgrade to maven 3.5.0
#376: [core] Improve build time on travis
java
#378: [java] Parser Error for empty statements
java-coupling
#1427: [java] Law of Demeter violations for the Builder pattern
java-design
#345: [java] FieldDeclarationsShouldBeAtStartOfClass: Add ability to ignore interfaces
#389: [java] RuleSetCompatibility - not taking rename of UnusedModifier into account
java-junit
#358: [java] Mockito verify method is not taken into account in JUnitTestsShouldIncludeAssert rule
java-strings
#334: [java] [doc] Add suggestion to use StringUtils#isBlank for InefficientEmptyStringCheck
jsp-basic
#369: [jsp] Wrong issue “JSP file should use UTF-8 encoding”

API Changes:

The method net.sourceforge.pmd.util.StringUtil#htmlEncode(String) is deprecated. org.apache.commons.lang3.StringEscapeUtils#escapeHtml4(String) should be used instead.

External Contributions:

#368: [vf] Adding proper AST support for negation expressions
#372: [core] Fix XSS in HTML renderer
#374: [java] Add property to ignore interfaces in FieldDeclarationsShouldBeAtStartOfClassRule
#381: [core] Fix broken link in the site’s doc
#382: [java] Added documentation details on InefficientEmptyStringCheck
#383: [jsp] Fixed JspEncoding false positive
#390: [java] Remove trailing whitespaces in design.xml
#391: [apex] Fix documentation typo
#392: [java] False positive for Law Of Demeter (Builder pattern)
#395: [java] Mockito verify method is not taken into account in JUnitTestsShouldIncludeAssert rule

[close]

https://pmd.github.io/

[SiLæncer]

Changelog

FIXED: library(prolog_xref): also deal with dynamic declarations in other modules.
DOC: Properly documented current (Unix) signal processing.
ENHANCED: Chain processing of SIGUSR2
DOC: Document recent changes to exception handling.
MODIFIED: Keep the most urgent exception in case of choice.
FIXED: propagate exceptions from printMessage()
FIXED: make printMessage() propagate exceptions.
MODIFIED: Implement priority ordering for exceptions. Only exceptions with higher or equal priority as the already pending exception will propagate. This should avoid that high priority exceptions such as aborts get replaced by less important exceptions, for example because a cleanup handler raises another exception.
ENHANCED: Propagate exceptions from event callbacks
PORT: Failed to build on Windows.
ENHANCED: debug/3: only print the thread id instead of the ugly thread handle as thread context.
CLEANUP: Avoid relying on backward compatibility for PL_call_predicate() internally.
ENHANCED: Reduce overhead of -DO_DEBUG by avoiding a GET_LD on each VM in this config.
ADDED: command line option --sigalert=NUM to configure the signal that is used to unblock system calls.
ADDED: PL_sigaction(), realising a more flexible interface to control SWI-Prolog signal handling from C.
MODIFIED: Cleanup of signal handling and documentation. When using `--nosignals`, signal handling is still installed for SIGUSR2 (an empty handler to make blocking system calls return) and the internal Prolog signals that are not related to OS signals.
BUG: Document pitfalls with PL_signal().
FIXED: Set crash signal handler back to default to avoid crashing in a loop.
FIXED: Handle uncaught Prolog exceptions from C++. Reported by Nikolaj Thygesen.
FIXED: PL_write_term() must lock the stream
FIXED: possible use-after-free when redefining a static predicate as thread_local
FIXED: illegal memory access when computing whether the tty state was modified (Unix, mostly harmless).
FIXED: Issue#205: absolute_file_name/3 using expand(true) may be multi.

Package clib:

ENHANCED: Exploit new PL_sigaction() interface. This avoids a previously existing conflict over SIGUSR2 handling with the core and reduces the usage of OS signal handlers from two to one, optionally zero if blocking system calls do not need to be interrupted.
FIXED: Use SIGUSR1 for alarm signals rather then SIGUSR2, which is already in use by the core for breaking blocking system calls. It is not really clear what the consequences were. Effectively the core used to run the library(time) handler to break a blocking system call, but this handler does not do anything if there are no alarms ready to fire. Surely though, during shutdown the alarm library incorrectly restores the signal handler due to the impaired PL_signal() API.

Package http:

ENHANCED: Allow the mapping from exceptions to HTTP replies to be extended through a hook.

Package nlp:

FIXED: Missing PL_register_atom() call for cached snowball stemmers. May cause OOPS: PL_unregister_atom(...): invalid atom messages as well as crashes.

Package semweb:

FIXED: Avoid ambiguous access to a stream pair.
FIXED: Issue#57: Avoid ambiguous access to a stream pair.

Package xpce:

FIXED: (hopefully) Issue#228: Long delay filling window for ?- manpce. on some window managers. As a result, frame->geometry no longer accepts negative X coordinates.

[close]

http://www.swi-prolog.org/

[SiLæncer]

Highlight is a universal source code converter which transforms code to HTML, XHTML, RTF, LaTeX, TEX, SVG and BBCode files with syntax highlighting. (X)HTML and SVG output is formatted by CSS. It supports customizable color theme and language descriptions with regular expressions. The configuration files are Lua scripts with plug-in support. The tool contains several options to provide a consistent formatting of the output code.

License: Open Source

Changelog

fixed Perl string highlighting issue
fixed highlighting if a line continues after the nested code delimiter
updated astyle code to release 3.0
added examples/pandoc (thanks to Tristano Ajmone)
added syntax mapping for markdown
added syntax mapping for clj
improved Java definition
added theme to JSON converter in examples/json
CLI: added support for environment variable HIGHLIGHT_OPTIONS

[close]

http://www.andre-simon.de/

[SiLæncer]

Decompiler reads program binaries, decompiles them, infers data types, and emits structured C source code.

Designed with a pluggable architecture, it currently has:

- support for x86, 68k, PowerPC processors (partial support for Arm, Mips, Sparc, Z80, m6502, PDP-11)
- support for EXE, Elf, AmigaOS Hunk executable formats
- support for MS-DOS, Win32, U*ix, AmigaOS (partial for C64, ZX-81)

License: GPLv2

Changelog

The big feature of this release is the adaptation and implementation of the shingled disassembler and procedure detection algorithms described in the papers "Shingled Graph Disassembly: Finding the Undecidable Path" by Richard Wartell, Yan Zhou, Kevin W.Hamlen, and Murat Kantarcioglu (https://www.utdallas.edu/~hamlen/wartell13techrep.pdf) and "Compiler-Agnostic Function Detection in Binaries", by Dennis Andriesse, Asia Slowinska, Herbert Bos (https://syssec.mistakenot.net/papers/eurosp-2017.pdf). A clone of the source code from the latter is located here: https://github.com/uxmal/nucleus.
These optional analyses vastly improve Reko's discovery of executable code, at the cost of increased memory and time consumption. Because of the cost, they must be explicitly requested. In the GUI client, this is done by right-clicking on a loaded program node, selecting the Properties menu item, switching to the Scanning tab and selecting "Shingled scanning". From the command line, the following incantation will do the job

Some other goodies are also part of this release:

Added support for the Super-H, TLCS-90, and TLCS-900 processor architectures.
Added support for the SEGA DreamCast, and NeoGeo platforms
Added a front end that can load LLVM .ll files and transpile them into Reko IR. Special thanks for @mewmew for his assistance
Added an Intel HEX file front end.
The usual large number of bug fixes

[close]

http://decompiler.sourceforge.net/

[SiLæncer]

Changelog

PORT: Fixed windows compilation
DOC: new toplevel/main features.
MODIFIED: main/0 now calls main(Argv) without calling halt/0,1. This enhances interaction with :- initialization(main, main).
FIXED: Property release stacks if not all of them could be allocated.
FIXED: Hang when rehashing fails due to lack of memory.
FIXED: hang when extending the atom array runs out of memory.
ENHANCED: Reduce using L_MISC mutex for stack size admin.
CLEANUP: Move user mutexes to a new file pl-mutex.c. Share property enumeration code and use a dedicated mutex for user mutex management rather than sharing the L_THREAD mutex.
FIXED: Failure to activate the profiler because it is already attached to another thread leaves L_THREAD locked.
ENHANCED: Reduce locking for fetching thread status
FIXED: Mark() must preserve LD->markbar = NO_MARK_BAR. Without, unifiable/3 crashes if occurs checking is enabled.
DOC: -l flag
DOC: updated docs for indexing policies.
DOC: Include library(main) into main manual.
DOC: New program initialization handling.
ADDED: initialize/0.
CLEANUP: initialization/2 code
FIXED: Packs distributed as Github releases could no longer be upgraded. See issue https://github.com/SWI-Prolog/swipl-devel/issues/236 for more information.
This approach uses the Github API to retrieve the tags i.o. scraping the HTML.
ADDED: library(prolog_jiti).
CLEANUP: Avoid duplicate definitions of meta-specifications that need transparency
ENHANCED: Move meta-argument specification to arg_info structure, lifting the 16-argument limitation.
ADDED: arg_info structure do deal with JITI and meta arguments
ENHANCED: Keep indexes sorted by quality
FIXED: Select proper arguments for multi-argument indexes
ENHANCED: actually reclaim discarded supervisor code. This was not a bit issue as supervisors normally only changed if code is reloaded, causing only a small leak during code development. This prepares for exploring more dynamic supervisors.
TEST: Adjusted test cases for modified predicate_property/2.
MODIFIED: predicate_property(Head, indexed(Indexes)) now uses a list of arguments for which the hash is generated.
FIXED: computation of stdev of same-argument buckets.
CLEANUP: Split accessing clauses to a new function
CLEANUP: make bestHash() return 1-based arguments for consistency
ENHANCED: Pass LD to bestHash()
FIXED: Variables or meta-predicates not marked as non fresh, related to 406b689
INSTALL: Avoid loading ~/.swiplrc during built (done by check-installation step).
Package http:
MODIFIED: library(http/http_unix_daemonm) now registers the application entry point as http_daemon/0. Code should remove their :- initialization(http_daemon). to profit from this change. Old code should run unmodified though.
Package odbc:
ENHANCED: use SQLGetData() for wide NVARCHAR columns
Package xpce:
PORT: Update for changed indexed predicate property.

[close]

http://www.swi-prolog.org/

[SiLæncer]

AutoHotkey is a powerful automation and scripting tool with an option to export to a self-contained executable. Possible uses include assigning the hotkey "Ctrl-Alt-F" to launch Firefox, making abbreviations expand to their full definition as you type them, or saving time by setting the computer to auto-click a confirmation screen.

License: GPL

Changelog

Changed the format ListVars uses to display variables containing objects. The object's class name is now shown.
Added "class" and "clsid" modes to ComObjType().
Revised class names shown by the debugger and significantly reduced code size in the process.
Revised FileSetAttrib, FileSetTime and FileDelete to reduce code size. There should not be any changes in behaviour.
Made other minor optimizations to code size.
Fixed GetKeySC() with the key names Esc, Escape, ScrollLock and PrintScreen.
Fixed hotstring word detection of words containing nonspacing marks, such as Arabic diacritics.

[close]

https://autohotkey.com/

[SiLæncer]

Boostnote is an open-source note-taking app designed for programmers and web developers.

There are quick access links found on the lower right that include zoom, every type of document you could imagine, size, indent and last update. Resizing Boostnote smaller does screw up the formatting of these quick links. The menu section allows you to decide where your storage is, define hotkeys, and tweak the user interface.

Boostnote lets you take your notes in Markdown with live previewer, use snippet notes, multiple hotkeys, finder popup (similar to the spotlight of OSX), and latex support. Boostnote is a full featured note-taking app geared for programmers and web developers not to be confused with a post-it style application or a Notepad replacement.

License: Open Source

Changelog

Features:

Move note between folders #374
display percentage of achievement of todo in markdown #557
If there is no tag, narrow the width of NoteList. #594
#595 - Resize an image with markdown #598
change search ux #600
Copy clipboard button for markdown code blocks #603
I improved the dark theme. #605
Feature amazon mobile analytics #620
Add emacs keymap #623
improve searchTextBox UX #628
Handling pull 602 #632

Bug Fix:

Fix incorrect tag completion in code block #341
fix the bug when using markdown syntax h1 #510
Revamp handling of multiple key press #545
Fix for #535: #549
Fix task bar UI #587
Fix copy button layout #622
Fix a bug which is not showing dialog when user tries to export a snippet #626
Fix a rendering bug #633

[close]

https://boostnote.io/

[SiLæncer]

Changelog

DOC: Updated acknowledgements in manual.
ADDED: Mode directed tabling. Initial implementation and test cases by Fabrizio Riguzzi, optimized and documented by Jan Wielemaker.
MODIFIED: deleted trie_insert_new/3, added trie_insert/4. trie_insert_new/3 is moved to library(backcomp), so this should not immediately affect applications.
ADDED: trie_update/3. The value of a trie can now be an arbitrary term. This is a rewrite of a similar patch by Fabrizio Riguzzi.
FIXED: YAP_MkNewApplTerm() and YAP_ArgsOfTerm() raised compiler errors.
FIXED: current_type/2 to qualify goals that are local to library error.
DOC: Fixed .txt --> .tex dependency.
ADDED: PL_unify_uint64() to unify a term with an unsigned 64-bit integer.
ADDED: script/swipl-bt: --out=file option
ADDED: Prolog flag toplevel_goal to inspect and modify the toplevel inside the initialization.
FIXED: Multiple initialization(G, main) should use the last according to the docs.

Package http:

ADDED: Set encoding to UTF-8 for application/x-prolog.
DOC: Improved documentation of option value_string_as/1. Copied the documentation for json_read/3 to apply to predicate json_read_dict/3 as well (which has the same behavior). It is specifically important that the allowed values of this option are now mentioned.

Package pldoc:

FIXED: Issue#21: Use /swi/ alias when generating a link to the source, so both backends produce the same link.
Package semweb
FIXED: iri_turtle_prefix/2 could return illegal IRIs. Jacco van Ossenburggen.
FIXED: Issue#59: Possible "ambiguous stream pair" message. Wouter Beek.

Package ssl:

ADDED: library(crypto): Make ripemd160 digest algorithm available.
FIXED: Standalone library(crypto) use of evp_encrypt/6 with old OpenSSL. Without this patch and OpenSSL < 1.1.0, the predicates evp_encrypt/6 and evp_decrypt/6 work only if library(ssl) is also loaded. The other predicates of this library were not affected.
OpenSSL 1.1.0 and later versions do not need this initialisation.
CLEANUP: OpenSSL >= 1.1.0 does not require initialization.

Package xpce:

PORT: fixed GCC diagnostic pragma: make it really work and recent clang version on MacOS doesn't allow these to be placed inside a function.

[close]

http://www.swi-prolog.org/

[SiLæncer]

Changelog

The update addresses these issues:

Text disappeared after update to 1.13 [Bug]
There is no Chinese after the update
Bad text colors in terminal in Solarized Dark theme (regression)
Contributed tree views can crash the explorer
VS code icons is distorted when invoked from the command line
Terminals created before panel is initialized have the wrong width
Terminal: Unicode characters in or near linkified text are causing links to be duplicated

[close]

https://code.visualstudio.com/

[SiLæncer]

Whats new:>>

- Fixed Bash variable highlighting issue
- Updated astyle code to release 3.0.1
- Added bash_ref_man7_org.lua plugin

http://www.andre-simon.de/

[SiLæncer]

Changelog

New and noteworthy:
Java Type Resolution:
As part of Google Summer of Code 2017, Bendegúz Nagy has been working on completing type resolution for Java. His progress so far has allowed to properly resolve, in addition to previously supported statements:
References to this and super, even when qualified
References to fields, even when chained (ie: this.myObject.aField), and properly handling inheritance / shadowing
Lambda parameter types where these are infered rather than explicit are still not supported. Expect future releases to do so.
Metrics Framework:
As part of Google Summer of Code 2017, Clément Fournier has been working on a new metrics framework for object-oriented metrics.
The basic groundwork has been done already and with this release, including a first rule based on the metrics framework as a proof-of-concept: The rule CyclomaticComplexity, currently in the temporary ruleset java-metrics, uses the Cyclomatic Complexity metric to find overly complex code. This rule will eventually replace the existing three CyclomaticComplexity rules that are currently defined in the java-codesize ruleset (see also issue #445).
Since this work is still in progress, the metrics API (package net.sourceforge.pmd.lang.java.oom) is not finalized yet and is expected to change.
Modified Rules:
The Java rule UnnecessaryFinalModifier (ruleset java-unnecessary) now also reports on private methods marked as final. Being private, such methods can’t be overriden, and therefore, the final keyword is redundant.
The Java rule PreserveStackTrace (ruleset java-design) has been relaxed to support the builder pattern on thrown exception. This change may introduce some false positives if using the exception in non-orthodox ways for things other than setting the root cause of the exception. Contact us if you find any such scenarios.
The ruleset java-junit now properly detects JUnit5, and rules are being adapted to the changes on it’s API. This support is, however, still incomplete. Let us know of any uses we are still missing on the issue tracker
The Java rule EmptyTryBlock (ruleset java-empty) now allows empty blocks when using try-with-resources.
The Java rule EmptyCatchBlock (ruleset java-empty) now exposes a new property called allowExceptionNameRegex. This allow to setup a regular expression for names of exceptions you wish to ignore for this rule. For instance, setting it to ^(ignored|expected)$ would ignore all empty catch blocks where the catched exception is named either ignored or expected. The default ignores no exceptions, being backwards compatible.
Deprecated Rules:
The three complexity rules CyclomaticComplexity, StdCyclomaticComplexity, ModifiedCyclomaticComplexity (ruleset java-codesize) have been deprecated. They will be eventually replaced by a new CyclomaticComplexity rule based on the metrics framework. See also issue #445.
Fixed Issues:
General:
[core] NPE in RuleSet.hashCode
[web] Release date is not properly formatted
[core] Error when running PMD from folder with space
apex
[apex] CPD error when parsing apex code from release 5.5.3
cpp
[cpp] CPD gives wrong duplication blocks for CPP code
java
[java] Java 8 parsing problem with annotations for wildcards
[java] Parsing Error when having an Annotated Inner class
[java] Parsing Problem with Annotation for Array Member Types
java-design
[java] ConstructorCallsOverridableMethodRule: false positive for method called from lambda expression
[java] ImmutableField: False positive with lombok
[java] PreserveStackTraceRule: false positive when using builder pattern
java-empty
[java] EmptyCatchBlock don’t fail when exception is named ignore / expected
[java] EmptyTryBlock: false positive for empty try-with-resource
java-imports:
[java] imports/UnusedImport rule not considering static inner classes of imports
java-junit
[java] PMD requires public modifier on JUnit 5 test
[java] NullPointerException in JUnitTestsShouldIncludeAssertRule
java-logging:
[java] InvalidSlf4jMessageFormat does not handle inline incrementation of arguments
java-strictexceptions
[java] Throwing Exception in method signature is fine if the method is overriding or implementing something
java-typeresolution
[java] Throwing Exception in method signature is fine if the method is overriding or implementing something
java-unnecessary
[java] UnnecessaryFinalModifier final in private method
jsp
[jsp] Parse error on HTML boolean attribute
External Contributions:
[java] False positive with lambda in java-design/ConstructorCallsOverridableMethod
[java] Groundwork for the upcoming metrics framework
[java] FIXED: Java 8 parsing problem with annotations for wildcards
[java] Type resolution: super and this keywords
[java] Add field access type resolution in non-generic cases
[java] False positive with builder pattern in java-design/PreserveStackTrace
[java] UnnecessaryFinalModifier final in private method
[java] Metrics framework tests and various improvements
[core] Created ruleset schema 3.0.0 (to use metrics)
[java] Optimize typeresolution, by skipping package and import declarations in visit(ASTName)
[java] [typeresolution]: add support for generic fields
[java] Metrics framework: first metrics + first rule

[close]

https://pmd.github.io/

[SiLæncer]

Changelog

ENHANCED: Add callable/1 to the fast type tests.
ENHANCED: Specialized versions for delim/3,4
MODIFIED: More low-level implementation of reset/3. The new implementation ONLY binds the Continuation if there is no reset, avoiding ambiguity that may result from testing on Ball.
FIXED: CLP(FD): Overeager goal expansion. Julien Cumin. This mistake was introduced in 038d86b08bfecc0715b4548a6ec3f2d91c20b658.
ENHANCED: Put a continuation in a single structure, reducing memory usage and dereferencing need.
ENHANCED: Represent a continuation as an array rather than a linked list.
ENHANCED: Use __builtin_popcountll() to compute popcount for `small' integers.
ENHANCED: when/2: ground trigger uses nonground/2
ADDED: nonground/2, compatible with hProlog and ECLiPSe
FIXED: VM version of atom/1 accepted blobs. Paulo Moura.
ENHANCED: More low-level code to revive a continuation. Almost 10% improvement on tabling.
CLEANUP: simplify local stack overflow handling.
ENHANCED: reduce thread local data access.
ENHANCED: Reduce thread local data access
ENHANCED: Add common type tests to VM (number, float, atom, atomic,string,compound)
ENHANCED: Inline arithmetic stack operations.
ENHANCED: Avoid creating a choice point for simple conditions in
(if-then->else). Simple conditions are those that are executed by the VM itself and are known to be semidet and their execution does not change any terms, so no trailing is needed. Currently covers var/1, nonvar/1, integer/1, ==, == and arithmetic comparison (>, <, =:=, etc.) IF optimized compilation (-O is used). Conjunctions of such simple instructions still use the optimized condition handling.
FIXED: Ensure TTY state buffers are fully initialised
FIXED: Safe must_be/2. Jacco van Ossenbruggen.
ENHANCED: Reduce thread-local-data access.
ENHANCED: Reduce thread-local-data access.
ADDED: term_singletons/2: find term singleton variables inside a term.
ADDED: library(prolog_xref): handle :- import(:PI).
HACK: if a first-var integer/1 tests is always false, emit a C_VAR
CLEANUP: Generalise compiler warnings for tests that always yield true/false.
ADDED: I_INTEGER instruction to speedup integer/1
ENHANCED: Faster zcompare/3 when used instead of compare/3. Jan Wielemaker.
FIXED: cleanClauseIndexes() should be locked with
addClauseToIndexes(). May cause incorrect results as well as crashes.
ENHANCED: Only print the thread id when printing the thread context in print_message/2.
FIXED: thread_get_message/3 (Windows only) using a deadline if the
deadline has already passed waited approx 7 weeks because dwMilliseconds is a DWORD, which is unsigned. New code can also deal with a deadline that is more than 7 weeks ahead. Based on patch by Matt Lilley.
ENHANCED: Speedup finding the debug frame for a redo. Eyal Drechter.
DOC: Mention crypto_n_random_bytes/2 in the documentation of random/1.
DOC: Issue#10: surprises caused by variable ordering.
DOC: Issue#5: format_time/3 %p may yield am/pm in some locales.
FIXED: Upgrade packs that are installed from github archive files.

Package archive:

FIXED: archive_extract/3: extracted all files as executable.

Package chr:

ENHANCED: Use built-in nonground/2 when available.

Package clib:

FIXED: Issue#29: directory_file_path(-,+,+) returns directory with trailing '/'. Paul Singleton.

Package http:

FIXED: Encapsulate predicates inside debugging/1 to avoid singleton warnings when running in optimized mode.

Package pengines:

ENHANCED: SWISH Issue#62: allow redirecting I/O using e.g. with_output_to/2. Anne Ogborn.

Package pldoc:

FIXED: Issue#27: recent change disallowed font switches inside a [...] label. Markus Triska.
FIXED: Really demand font-changing sequences to be preceded by white space or some reserved punctuation.
MODIFIED: Do not allow nesting of and .
MODIFIED: Depand a font-change sequence to end in whitespace or a sentence ending punctuation mark.
FIXED: Avoid <img> alt to be prepended for the predicate name by inserting a space and compensate the layout. Not very nice ...
FIXED: Formatting comments inside source code (broken after changes to the fragment classification).

Package semweb:

ADDED: sparql_query/3: support for HTTPS. Jacco van Ossenbruggen.
DOC: plweb issue#121: avoid duplicate rdf_register_prefix/2,3 docs. Wouter Beek.
DOC: Missing instantiation indicator.
ENHANCED: Use canonical XML writer for datatype rdf:XMLLiteral.
DOC: Clarify that the graph/1 term cannot be used with rdf_update/3.
FIXED: rdf_list(-) would not enumerate more than one RDF list.
ADDED: rdf_nth1/3, complementing rdf_nth0/3 This includes a test case.
ADDED: rdf_estimate_complexity/4 now works with rdf11 literal terms.
DOC: Fixed instantiation pattern in module header.
FIXED: application/turtle -> text/turtle
FIXED: iri_turtle_prefix/2 returned the suffix after recent patch rather than the prefix. Jacco van Ossenbruggen.

Package ssl:

ADDED: Make also ssl_session/2 work for derived filter streams.
ADDED: Issue#107: make ssl_peer_certificate/2 and ssl_peer_certificate_chain/2 work from derived filter streams. Markus Triska and Wouter Beek.
CLEANUP: ssl context blob handling. Code was dubious, but probably not wrong.
FIXED: Blob handling for crypto datastructures.
ADDED: library(crypto): New predicate crypto_is_prime/2. This implements a probabilistic primality check.
ADDED: library(crypto): New predicate crypto_generate_prime/3.
ADDED: library(crypto): Predicates for reasoning over elliptic curves. Currently, only named curves over prime fields are supported. Notable applications of these predicates include the ECDH key exchange used by typical HTTPS servers, and generation of Bitcoin keys and addresses.
ADDED: Sandbox declarations for safe library(crypto) predicates.

FIXED: Accessing memory after free, potentially leading to a crash. Reproducible on OSX with:

?- length(_, L), garbage_collect, crypto_context_new(Context,
[algorithm(sha256)]), false.
ADDED: library(crypto): New predicate crypto_modular_inverse/3 [Jun
ADDED: library(crypto): New predicate crypto_modular_inverse/3. This predicate lets you compute modular multiplicative inverses, which is an operation that is often needed in cryptographic applications.
This can be more than an order of magnitude faster than doing it in Prolog.
FIXED:ssl_peer_certificate/2,ssl_peer_certificate_chain/2:avoid
ambiguous stream pair warning. Sam Neeves.
ADDED: library(crypto): New predicate crypto_n_random_bytes/2. This predicate lets you generate sequences of bytes that are deemed sufficiently unpredictable for cryptographic purposes including creation of keys. This functionality is needed in almost all cryptographic applications.

Package xpce:

FIXED: prolog_predicate<-convert (reported as always false).

[close]

http://www.swi-prolog.org/

[SiLæncer]

Changelog

Features:

Add importer which imports files from .md/.txt
Make Ctrl-C copy
Bug Fix
Rename TodolistPercentage.js to TodoListPercentage.js.
Fix not to show scroll bar when full screen mode in Windows

[close]

https://boostnote.io/