Autor Thema: Entwicklertools diverses  (Gelesen 62658 mal)

0 Mitglieder und 1 Gast betrachten dieses Thema.

Offline SiLæncer

  • Cheff-Cubie
  • *****
  • Beiträge: 158890
  • Ohne Input kein Output
    • DVB-Cube
Cppcheck 1.73
« Antwort #285 am: 11 April, 2016, 18:15 »
Cppcheck is an analysis tool for C/C++ code. Unlike C/C++ compilers and many other analysis tools, we don't detect syntax errors. Cppcheck only detects the types of bugs that the compilers normally fail to detect.

License : GPL

Changelog

General changes:

CWE mapping of messages
Translated manual to Japanese language

Removed checks:

Checks for variables hiding enums or typedefs have been removed

New checks:

Checking improvements:

Improved ValueType a lot, use it in more checks
Improved VarId support for template constructors, namespaces and references as class members
Improved libraries, especially gnu.cfg, posix.cfg and windows.cfg
Improved simplification of enums and templates
Better distinguishing between possible and known null pointer dereferenciations
Assume integers to be signed by default
better support for cplusplus macro in preprocessor
Preprocessor directives for addons
New tools: times-vs.py, reduce.py

GUI:

Detect Geany and QtCreator
Make statistics dialog shown when checking is finished optional

[close]

http://cppcheck.sourceforge.net/

Arbeits.- Testrechner :

Intel® Core™ i7-6700 (4 x 3.40 GHz / 4.00 GHz)
16 GB (2 x 8 GB) DDR4 SDRAM 2133 MHz
250 GB SSD Samsung 750 EVO / 1 TB HDD
ZOTAC Geforce GTX 1080TI AMPExtreme Core Edition 11GB GDDR5
MSI Z170A PC Mate Mainboard
DVD-Brenner Laufwerk
Microsoft Windows 10 Home 64Bit

TT S2 3200 ( BDA Treiber 5.0.1.8 ) + Terratec Cinergy 1200 C ( BDA Treiber 4.8.3.1.8 )

Offline SiLæncer

  • Cheff-Cubie
  • *****
  • Beiträge: 158890
  • Ohne Input kein Output
    • DVB-Cube
SWI-Prolog 7.3.20 Development
« Antwort #286 am: 16 April, 2016, 11:15 »
Changelog

FIXED: numbervars/4: Honour Start if singletons(true) is given. Alan Baljeu.
FIXED: CSV output for []
FIXED: swipl-ld: enlarge buffer for processing the Prolog options. Ollivier Sallou.
DELETED: clause prolog:message_location(file(..., in prolog_codewalk.…
DELETED: clause prolog:message_location(file(..., in prolog_codewalk.pl, it is already defined in messages.pl, clause swi_location(file(... which is a better implementation.
BSD: Integrated clean-room re-implementation of is_acyclic()
BSD: Integrated clean-room re-implementation of skip_list()

ADDED: CLP(B): Tentative syntax for monotonic reasoning: v/1 terms denote variables and ground Boolean values. After discussion with Ulrich Neumerkel. The following queries and answers illustrate the concept:

ADDED: CLP(B): New flag clpb_monotonic makes CLP(B) monotonic. Without this flag, we run into the following declarative problem:

SWISH: Create clpfd_monotonic flag so that it works correctly for different clients.
ADDED: varnumbers_names/3
ADDED: Ability to emit a dot/1 term for rendering the BDD in SWISH. Currently, the flag clpb_residuals needs to be set to graphviz to emit the dot/1 term. It is still open how to best integrate this in SWISH. Maybe draw the BDD every time graphviz is used as renderer?
ENHANCED: Make memberchk/2 behaviour consistent for cyclic lists.
ENHANCED: Faster version of list_to_set/2 based on the ECLiPSe compatible sort/4.
ENHANCED: Do not generate debug info for library(statistics).
FIXED: Issue#681 memberchk/2: process interrupts and detect cyclic lists to avoid DoS attacks. Ulrich Neumerkel.
CLEANUP: Removed no longer needed call.
MODIFIED: Replaced read_pending_input/3 by two new predicates: read_pending_codes/3 and read_pending_chars/3. read_pending_input/3 is available from library(backcomp) as an alias for read_pending_codes/3.
CLEANUP: Prepare to introduce read_pending_chars/3.
FIXED: Rewrite of statistics/0.
COMPAT: Make library(statistics) work with --traditional
ADDED: xref_source/2: option process_include(+Boolean) to select whether or not included files are processed.
MODIFIED: library(prolog_xref): call prolog:xref_source_file/3 hook before trying a relative file.
FIXED: library(prolog_colour): complete colouring on unknown option name.
FIXED: discontiguous warnings were no longer working on first load.
FIXED: library(prolog_xref): avoid a dead loop if files mutually include each other.
FIXED: clause indexing on 32-bit hardware for integers > tagged ints that fit in 32-bits.

Package RDF:

MODIFIED: process_rdf/3: do not copy the OnObject closure.

Package http:

FIXED: library(http/http_unix_daemon): actually terminate again on SIGTERM.

Package pengines:

FIXED: Operator priority in rendering results. Santiago Castro.
ADDED: /pengines/ping and Pengine.ping() to periodically test the status of a remote pengine.
ADDED: JavaScript class Pengine: options.ondata to handle a single answer.

Package pldoc:

FIXED: Wiki processing: [[File;param=value]] links were broken. Anne Ogborn.

Package semweb:

FIXED: rdf_list/1 was broken: the rest of the list must be checked to be `rdf:nil'.

Package sgml:

FIXED: Allow for Prolog encoding names in encoding option.
FIXED: Process encoding in load_dtd/2,3. Wolfram Diestel.
FIXED: xsd_time_string/3 must allow for negative years, but not for the year 0.
Package table:

FIXED: Bug in binary table search may result in very slow searches

Package xpce:

ENHANCED: Allow GUI tracer to work in `system mode'.

Package zlib:

FIXED: gzopen/4: apply alias(+Alias) to the compressed stream. Wouter Beek.

[close]

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

Arbeits.- Testrechner :

Intel® Core™ i7-6700 (4 x 3.40 GHz / 4.00 GHz)
16 GB (2 x 8 GB) DDR4 SDRAM 2133 MHz
250 GB SSD Samsung 750 EVO / 1 TB HDD
ZOTAC Geforce GTX 1080TI AMPExtreme Core Edition 11GB GDDR5
MSI Z170A PC Mate Mainboard
DVD-Brenner Laufwerk
Microsoft Windows 10 Home 64Bit

TT S2 3200 ( BDA Treiber 5.0.1.8 ) + Terratec Cinergy 1200 C ( BDA Treiber 4.8.3.1.8 )

Offline SiLæncer

  • Cheff-Cubie
  • *****
  • Beiträge: 158890
  • Ohne Input kein Output
    • DVB-Cube
RStudio 0.99.896
« Antwort #287 am: 21 April, 2016, 04:45 »
Changelog

Highlights:

Support for multiple source windows (tear editor tabs off main window).
Pane zooming for working distraction free within a single mode.
Editor and IDE keyboard shortcuts can now be customized.
New Emacs keybindings mode for the source editor.
Support for registering custom RStudio Addins.
R Markdown editing improvements including outline view and inline UI for chunk execution.
Support for parameterized R Markdown reports.
Various improvements to RStudio Server Pro including multiple concurrent R sessions,
use of multiple R versions, and shared projects for collaboration.

Source Editor:

New Emacs editing mode
Editor and IDE keyboard shortcuts can now be customized
Support for multiple source windows (tear editor tabs off main window)
New global and per-project options for line feed conversion
Snippets: pass parameters to snippet generating R functions
Split into lines command for multiple cursors (Ctrl+Alt+A)
New keyboard shortcuts to expand/contract current selection
Cmd+Alt+Shift+{Up/Down} OS X
Ctrl+Shift+{Up/Down} otherwise
Enhanced display of sections in R scope navigator
Added document outline display to R and C++ documents
New Close All Except Current command
Rename variable in scope (Cmd+Shift+Alt+M)
More context-sensitive highlighting of R keywords
Option to enable highlighting of R function calls
F2 now navigates into files (e.g. within calls to source)
Yank before/after (Ctrl+K, Ctrl+U) now use system clipboard on RStudio Desktop
Yank after cursor (Ctrl+K) no longer eats end of line character
Added option controlling ‘surround on text insertion’ behavior

R Markdown:

New run chunk and options buttons overlaid at the top right of chunks
New shortcut for run current chunk (Cmd+Shift+Enter)
Outline view for quick navigation between sections/code chunks
Ctrl+PageUp and Ctrl+PageDown navigate between sections within Rmd, Rpres
Enabled comment/uncomment (Cmd+Shift+C) for Markdown documents
Knit with Parameters command for previewing with varying parameters
Run All now executes chunks in console (rather than calling e.g. knitr::purl)
Reorganize toolbar commands/menu for improved discoverability
Added Run Setup Chunk command
Updated embedded pandoc to v1.15.2
Update embedded pdf.js to v1.3
Support additional options for MS Word (table of contents, keep markdown)

Miscellaneous:

RStudio Addins:

Register R functions as addins that can interact with the IDE using the rstudioapi package.
Accessible from the Addins menu and can be bound to custom keyboard shortcuts
New Session command (create new R session with same project or working directory)
Open project in a new window from the projects recently used menu
New Shiny App command for quick creation of Shiny applications
Data Viewer: Filter factor columns by text or level
Raise limit on shinyapps uploads to 1GB from 100MB
‘Edit -> Replace and Find’ opens Find toolbar if not already open (e.g. with Cmd+Shift+J)
Improve performance of console for large and/or rapidly updating output
Roxygen quick reference available from the Help menu
Links to RStudio cheat sheets available on the Help menu
Scan for Rtools in both HKCU and HKLM (for non-Admin installs of Rtools)
Run app command and shortcut now works for running single file Shiny applications
Move running Shiny apps between IDE panes and windows without restarting the app
Add support for single-file, standalone Shiny applications
Parse TeX magic comments that start with “%%” (ESS compatibility).
Change default Rpres template to specify autosize: true
Automatically create ~/.ssh directory if necessary on Windows
Added Makefile mode (used for Makefile, Makevars)
Always use LF for line endings in Unix Makefiles in R packages
Return environment variables as completions within Sys.getenv(), Sys.setenv() calls
Add ‘R Scripts’ preset filter to Find in Files dialog
Windows: Update to SumatraPDF 3.1.1
Added ability to zoom panes (e.g. Ctrl+Shift+1 to zoom source pane)
Add Console on Left/Right commands for quick relocation of Console
Add product and version metadata to Windows installer
Add askForPassword function to rstudioapi
Improved detection of Msysgit installation location on Windows

Server:

Include active project in document title (caption of browser tab)
Quit session command now accessible from global toolbar
Added option to control how many days users stay signed in for
Allow specification of multiple groups in auth-required-user-group option
Suspend and resume running R sessions when server is restarted
Add kill-session and kill-all admin commands
Use SHA256 for signing cookies (previously used SHA1)
Use more resilient file locking mechanism for compatibility with NFS volumes
Attempt to close application window when quitting
Track installed client version using git commit hash rather than timestamp
Detect minimum user id from /etc/login.defs (can also be specified via option)
Save user-specific .RData and .Rhistory if .Ruserdata directory exists
Server Pro: Shared Projects (including concurrent multi-user editing)
Server Pro: Support for multiple concurrent R sessions per-user
Server Pro: Support for running against multiple versions of R
Server Pro: Ability to record user console history for audit purposes
Server Pro: Home page for navigating to active sessions and recent projects
Server Pro: Don’t close PAM sessions by default (configurable via an option)
Server Pro: Remove Google OpenID auth (deprecated by Google in favor of OAuth)
Server Pro: Add option to specify client-id for Graphite metrics back end
Server Pro: Supported SSL protocols is now configurable
Server Pro: Add option to rewrite user header in proxied authentication

Bug Fixes:

Diagnostics: Avoid linting symbols in R formulas
Diagnostics: Resolve functions in correct namespace
Diagnostics: Fix invalid diagnostics within formulas
Diagnostics: Respect // [[Rcpp::export]] functions used in R code
Fix grid metrics issues (e.g. text too small) by using res of 96 rather than 72
Correct computation of getOption(“width”) on high DPI displays
Rcpp: Parse attributes when generating diagnostics for header files
Enable outdenting in Rhtml documents
Find all now respects active search/replace options
Fix issue with cursor disappearing in Rmd chunks for ambiance theme
Publish button shows in the editor and viewer at the appropriate times
Avoid spurious R warnings when autocompletions requested
Allow completions in statements following infix operators
Completions in Install Packages are now correct for the case of multiple active repositories
Vim mode: prevent paste operation from entering visual mode via Ctrl+V cross-talk
Fixed chunk highlighter issues that occurred when editing chunk label
Correctly handle call to edit() with no arguments
Prevent crash when canceling out of q() prompt on Windows
Fix issue with rstudioapi previewRd function when path included spaces
R 3.3: Don’t call setInternet2 or use –internet2 flag for child R processes
Prevent spurious navigation when user cancels from the file upload dialog
Don’t include H3 (and higher) headers when creating presentation slide preview navigation menu
Don’t allow long file paths to overflow in message dialogs
RPM: Set autreqprov to “no” for both desktop and server
Prevent periods from being used in Rmd date field (caused LaTeX errors)

[close]

http://www.rstudio.com/ide/

Arbeits.- Testrechner :

Intel® Core™ i7-6700 (4 x 3.40 GHz / 4.00 GHz)
16 GB (2 x 8 GB) DDR4 SDRAM 2133 MHz
250 GB SSD Samsung 750 EVO / 1 TB HDD
ZOTAC Geforce GTX 1080TI AMPExtreme Core Edition 11GB GDDR5
MSI Z170A PC Mate Mainboard
DVD-Brenner Laufwerk
Microsoft Windows 10 Home 64Bit

TT S2 3200 ( BDA Treiber 5.0.1.8 ) + Terratec Cinergy 1200 C ( BDA Treiber 4.8.3.1.8 )

Offline SiLæncer

  • Cheff-Cubie
  • *****
  • Beiträge: 158890
  • Ohne Input kein Output
    • DVB-Cube
TortoiseSVN 1.9.4.27285
« Antwort #288 am: 28 April, 2016, 20:45 »
Changelog

BUG: GDI Resource leak when showing a file list.
BUG: lifetime issue with path string for long paths.
BUG: The font size in the statistics dialog was wrong, font unreadable.
CHG: Improved stability of the log cache.
BUG: TMerge could hang applying a patch.
BUG: Crash in log dialog when repo root isn't readable.
BUG: Repo browser slow to close.
BUG: CodeCollaborator was not properly detected.

[close]

www.tortoisesvn.net

Arbeits.- Testrechner :

Intel® Core™ i7-6700 (4 x 3.40 GHz / 4.00 GHz)
16 GB (2 x 8 GB) DDR4 SDRAM 2133 MHz
250 GB SSD Samsung 750 EVO / 1 TB HDD
ZOTAC Geforce GTX 1080TI AMPExtreme Core Edition 11GB GDDR5
MSI Z170A PC Mate Mainboard
DVD-Brenner Laufwerk
Microsoft Windows 10 Home 64Bit

TT S2 3200 ( BDA Treiber 5.0.1.8 ) + Terratec Cinergy 1200 C ( BDA Treiber 4.8.3.1.8 )

Offline SiLæncer

  • Cheff-Cubie
  • *****
  • Beiträge: 158890
  • Ohne Input kein Output
    • DVB-Cube
DevProject Manager 1.9
« Antwort #289 am: 11 Mai, 2016, 16:45 »
DevProject Manager ist eine Projektverwaltung für Freeware-, Shareware- und Open-Source Entwickler.

Neben allgemeinen Projektinformationen stehen eine Versionsliste und eine To-Do-Liste zur Verfügung, um einen Überblick über die veröffentlichten Programmversionen bzw. deren Entwicklungsstand zu haben. Neben Dateien wie Screenshots, Hilfedateien etc. können auch Personen, wie Programmierer, Übersetzer und Beta-Tester erfasst werden. Weiters steht eine Kunden- und Lizenzverwaltung zur Verfügung, die mit Plugins selbst erweitert werden kann.

Weiters können Code-Snippets in hierarchischer Form gespeichert werden, um oft benötigte Funktionen oder Programmteile griffbereit zu haben. Es werden 13 verschiedene Syntaxhervorhebungen für Programmier- und Scriptsprachen (Assembler, C#, C++, HTML, Java, JScript, Pascal, Perl, PHP, Python, SQL, VBScript und Visual Basic) unterstützt.

DevProject Manager richtet sich an Freeware- und Open-Source Entwickler, die keinen Datenbankserver für die Projektverwaltung verwenden können oder möchten.

DevProject Manager kann auch von einem USB-Stick betrieben werden.

Whats new: >>

  •    Es wurden interne Syntax-Highlighter für MySQL und XML hinzugefügt.
  •    In den Einstellungen kann für erledigte und ignorierte ToDo-Einträge, sowie für Bugs bzw. Fehler die Textfarbe individuell eingestellt werden.
  •    Lizenzdateien und Bestätigungsnachrichten können aus DevProject Manager heraus an das Standard-Mailprogramm übergeben werden.
  •    Zu folgenden Einträgen können nun Dateien angeschlossen werden: "ToDo", "Personen", "Kunden" und "Lizenzen". Weiters können jedem Code-Snippet Dateien angeschlossen werden (etwa für Scrennshots). Diese Dateien können auch als Anlage (in Kopie) hinzugefügt werden, wodurch sie auch mit einem USB-Datenträger auf jedem Computer verfügbar sind.


http://www.gaijin.at/dldevproject.php

Arbeits.- Testrechner :

Intel® Core™ i7-6700 (4 x 3.40 GHz / 4.00 GHz)
16 GB (2 x 8 GB) DDR4 SDRAM 2133 MHz
250 GB SSD Samsung 750 EVO / 1 TB HDD
ZOTAC Geforce GTX 1080TI AMPExtreme Core Edition 11GB GDDR5
MSI Z170A PC Mate Mainboard
DVD-Brenner Laufwerk
Microsoft Windows 10 Home 64Bit

TT S2 3200 ( BDA Treiber 5.0.1.8 ) + Terratec Cinergy 1200 C ( BDA Treiber 4.8.3.1.8 )

Offline SiLæncer

  • Cheff-Cubie
  • *****
  • Beiträge: 158890
  • Ohne Input kein Output
    • DVB-Cube
AutoHotkey v1.1.23.06
« Antwort #290 am: 15 Mai, 2016, 18:15 »
Whats new:>>

Fixed break label crashing the program if nested directly inside its target loop.

https://autohotkey.com/

Arbeits.- Testrechner :

Intel® Core™ i7-6700 (4 x 3.40 GHz / 4.00 GHz)
16 GB (2 x 8 GB) DDR4 SDRAM 2133 MHz
250 GB SSD Samsung 750 EVO / 1 TB HDD
ZOTAC Geforce GTX 1080TI AMPExtreme Core Edition 11GB GDDR5
MSI Z170A PC Mate Mainboard
DVD-Brenner Laufwerk
Microsoft Windows 10 Home 64Bit

TT S2 3200 ( BDA Treiber 5.0.1.8 ) + Terratec Cinergy 1200 C ( BDA Treiber 4.8.3.1.8 )

Offline SiLæncer

  • Cheff-Cubie
  • *****
  • Beiträge: 158890
  • Ohne Input kein Output
    • DVB-Cube
AutoHotkey v1.1.23.07
« Antwort #291 am: 21 Mai, 2016, 06:15 »
Whats new:>>

Fixed Menu x, Insert, y, z, % object to use the object, not ignore it.
Fixed Menu x, Add, :item text, % object to use the object, not look for a submenu.

https://autohotkey.com/

Arbeits.- Testrechner :

Intel® Core™ i7-6700 (4 x 3.40 GHz / 4.00 GHz)
16 GB (2 x 8 GB) DDR4 SDRAM 2133 MHz
250 GB SSD Samsung 750 EVO / 1 TB HDD
ZOTAC Geforce GTX 1080TI AMPExtreme Core Edition 11GB GDDR5
MSI Z170A PC Mate Mainboard
DVD-Brenner Laufwerk
Microsoft Windows 10 Home 64Bit

TT S2 3200 ( BDA Treiber 5.0.1.8 ) + Terratec Cinergy 1200 C ( BDA Treiber 4.8.3.1.8 )

Offline SiLæncer

  • Cheff-Cubie
  • *****
  • Beiträge: 158890
  • Ohne Input kein Output
    • DVB-Cube
AutoHotkey v1.1.24.00
« Antwort #292 am: 22 Mai, 2016, 13:30 »
Changelog

Breaking changes:

    Passing SetTimer's Label parameter an empty variable or an expression which results in an empty value is now considered an error. The parameter must be either given a non-empty value or completely omitted.
    Run-once timers are automatically deleted after running if they are associated with an object created by the script. This allows the object to be freed if the script is no longer referencing it, but it also means the timer's Period and Priority are not retained.
    SetTimer, Hotkey, GuiControl and Menu now check the minimum parameter count of functions given by reference (not just by name, as in previous versions). If the function requires too many parameters, an error is raised or ErrorLevel is set (as appropriate).


Backward-compatible changes:

    If SetTimer's Label parameter is omitted and A_ThisLabel is empty, the current timer (if any) is used.


New features:

    Added Tab3 control type, solving a number of issues with Tab controls.


Bug-fixes:

    Fixed GuiControl to update controls when adding/deleting tabs. Specifically:
        Selecting a new tab with || now works correctly
        Deleting all tabs now hides the controls of the former tab.
    Fixed +Disabled/+Hidden losing effect on controls in a tab.
    Fixed disabled tab controls to ignore Ctrl+Tab.
    Fixed Gui Tab without parameters to start a new radio group if applicable. Gui Tab with parameters already had this effect.

[close]

https://autohotkey.com/

Arbeits.- Testrechner :

Intel® Core™ i7-6700 (4 x 3.40 GHz / 4.00 GHz)
16 GB (2 x 8 GB) DDR4 SDRAM 2133 MHz
250 GB SSD Samsung 750 EVO / 1 TB HDD
ZOTAC Geforce GTX 1080TI AMPExtreme Core Edition 11GB GDDR5
MSI Z170A PC Mate Mainboard
DVD-Brenner Laufwerk
Microsoft Windows 10 Home 64Bit

TT S2 3200 ( BDA Treiber 5.0.1.8 ) + Terratec Cinergy 1200 C ( BDA Treiber 4.8.3.1.8 )

Offline SiLæncer

  • Cheff-Cubie
  • *****
  • Beiträge: 158890
  • Ohne Input kein Output
    • DVB-Cube
SWI-Prolog 7.3.21 Development
« Antwort #293 am: 22 Mai, 2016, 19:20 »
Changelog

DOC: Wip documenting the tabling library
DOC: reorganise database section and add a description of the trie built-ins.
ADDED: Version 1 of tabling primitives
ADDED: fastheap terms that can be copied from program space to the stacks really quickly.
FIXED: Use pushVolatileAtom() to avoid early atom-GC
ADDED: prolog:rename_predicate/2 hook to provide last-step renaming of a predicate for wrapping purposes. Experimental.
DOC: CLP(FD): New example to illustrate important concepts.
DOC: CLP(B): Explain monotonic mode.
DOC: CLP(FD): New section about residual goals.
DOC: CLP(FD): New section about monotonic execution mode.
DOC: Mention that goals with module prefix need to wrapped inside parenthesis in Yall.
DOC: Fix code markup for module Yall.
DOC: Fixed ungrammatical sentences in module Yall.
FIXED: load_files/2: No permission to load source (non-module file) when the same file is loaded concurrently by multiple threads. Wouter Pasman.
DOC: Fixed typo 'The the'.
FIXED: erase/1 calling event hook with wrong argument.
CLEANUP: Use recorded DB key hash table for enumeration if first argument of recorded is unbound.
ENHANCED: Use a double linked list for the recorded database to get O(1) performance for erase/1.
FIXED: failed to update no_hole_before. Benign. Boris Vassilev.
DOC: Prelimenary documentation for delimited continuations
MODIFIED: reset/3 argument order after discussion with Benoit, Tom and Bart.
FIXED: db_sync/1 for option gc(Perc) if the database is empty. Stephen Coda.
FIXED: shift/1 in the condition of if-then-else, \+, etc. Wouter Beek.
PORT: Another avoidance of a local array. Paulo Moura.
PORT: Avoid local dynamic array, which is not (no longer?) supported by clang on MacOS. Paulo Moura.
CLEANUP: current_functor/2: removed redundant test. Paulo Moura.
FIXED: new frame must have FR_MAGIC set.
ENHANCED: Pushing the whole continuation in call_continuation leads to quadratic behaviour. This patch introduces $call_one_tail_body', and calls the continuation incrementally using a tail-recursive procedure. Suggested by Bart Demoen.
ENHANCED: Reclaim unneeded stack after shift/1 and maintain the dynamic predicate reference count.
WORKAROUND: We cannot deal with compiled meta-calling inside reset/3 because the `local clause' will be lost. We could try to save this clause in the environment, but I fear there are still problems with the `argvar' compiled arguments in this clause. We fix this by redirecting call/1 to '$meta_call'/1 if we are inside reset/3
FIXED: Trail variables in the environment
FIXED: Local stack expansion in call_continuation/1.
FIXED: Stack shifter assertion failure because clause-references for call_continuation are on the local stack.
ADDED: Delimited continuation: reset/3 and shift/1. Together with Tom Schrijvers, Bart Demoen and Benoit Desouter.
FIXED: atom_codes(hello,"hello") in string mode. Daniël de Kok
ENHANCED: refactor compareStandard() into smaller functions. By avoiding initializing cycle detection for primitive values we get a 20% speedup for sort/2 on lists with primitive values. Also compounds are a little faster due to the usage of more low-level functions.

ENHANCED: CLP(B): Make residual goals work for recorded constraints. Not doing this leads to the following problem in SWISH, which uses the database to record results:

This is because when the constraints are fetched and the constraints are projected to residual goals, CLP(B) would again use IDs 0,1,... for variables (because the counter is reset), but these IDs are already used in the recorded attributes. Thus, existing IDs are inadvertently reused for new variables.
Ideally, SWISH should simply obtain the residual goals with copy_term/3, and then work on the residual consraints alone.
ENHANCED: Revert to put_attr/3 if the attribute_goals//1 fails.
FIXED: race-condition when resizing a hash-table. If a late-arriving deletion adds a tombstone to an old kvs it must be copied into the new kvs
FIXED: thread-safety of Sfileno()
FIXED: doc typo. Wouter Beek.
FIXED: typo

Package archive:

FIXED: Filter `iso9660' was not recognized due to consistent typo.
FIXED: archive_open_stream/4: raise error on low-level read error.

Package http:

ADDED: HTTP Unix daemon: New option --cipherlist.
FIXED: Empty HTTP replies are no longer simulated as 500 HTTP errors. An existence error is thrown instead.
ADDED: Allow the client to not be automatically authenticated when receiving a 401 (Unauthorized) status code in http_open/3 by adding the Boolean option 'authenticate'.
DOC: Fix 'Schema' -> 'Scheme'.
DEBUG: Display HTTP requests send by http_open/3 as debug messages under the 'send_request' flag.
DOC: Document http_open/3's query_string option.
DOC: Fix 'xpath' -> 'XPath'.
DOC: Fix the ambiguity of the phrase 'this library'.
DOC: typo SSL'.
CHANGED: Use standard capitalization for setting the Content-Type header (this does not change header semantics).
FIXED: Make the cgi_stream control function safe against concurrent deletion of the stream.

Package pengines:

ADDED: Allow passing a disposition option through the pengine creation pipeline to support downloading to a given file.
FIXED: Issue#23: update_remote_destroy/1 may destroy the wrong pengine.
FIXED: Something is a destroy event if the create/2 term contains a destroy.

Package pldoc:

FIXED: Resolve qualified predicates from the manual.

Package plunit:

FIXED: show_coverage/1 did not enumerate qualified predicates.

Package semweb:

ENHANCED: Avoid ! in term_expansion/2 and only succeed if there is something to be expanded. Reduces interaction with other expansion hooks.
DOC: Fixed missing word.
FIXED: Do not reexport rdf_db predicates that are deprecated in rdf11: rdf_current_literal/1, rdf_current_predicate/1, rdf_is_resource/1.
FIXED: Added meta_predicate/1 declaration for parse_partial_xml/3.
CLEANUP: Removed rdf_meta/1 declaration of rdf_literal_value/2.
FIXED: Turtle writer: Safer handling I/O and representation errors. Wouter Beek.

Package sgml:

FIXED: Issue#20: xsd_time_string(+,?,-) for negative years
DOC: Fix capitalisation of 'XPath'.
FIXED: Callback from decl callback on comment. Patch by Wolfram Diestel.

Package ssl:

ADDED: ecdh_curve(+Curve), enabling Diffie-Hellman ciphers. Many thanks to Charlie Hothersall-Thomas for his analysis and implementation advice!
ADDED: Option cipher_list(Atom) when creating an SSL context.

[close]

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

Arbeits.- Testrechner :

Intel® Core™ i7-6700 (4 x 3.40 GHz / 4.00 GHz)
16 GB (2 x 8 GB) DDR4 SDRAM 2133 MHz
250 GB SSD Samsung 750 EVO / 1 TB HDD
ZOTAC Geforce GTX 1080TI AMPExtreme Core Edition 11GB GDDR5
MSI Z170A PC Mate Mainboard
DVD-Brenner Laufwerk
Microsoft Windows 10 Home 64Bit

TT S2 3200 ( BDA Treiber 5.0.1.8 ) + Terratec Cinergy 1200 C ( BDA Treiber 4.8.3.1.8 )

Offline SiLæncer

  • Cheff-Cubie
  • *****
  • Beiträge: 158890
  • Ohne Input kein Output
    • DVB-Cube
Highlight 3.29
« Antwort #294 am: 25 Mai, 2016, 05:20 »
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

Latest Changes

- Added Ansible Yaml definition
- Added Chapel definition
- Fixed gcc 6 warnings about deprecated auto_ptr usage
- Src/makefile: added -std=c++11 because of auto_ptr to unique_ptr transition
- GUI: fixed style file output if "write to source directory" option is checked

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

Arbeits.- Testrechner :

Intel® Core™ i7-6700 (4 x 3.40 GHz / 4.00 GHz)
16 GB (2 x 8 GB) DDR4 SDRAM 2133 MHz
250 GB SSD Samsung 750 EVO / 1 TB HDD
ZOTAC Geforce GTX 1080TI AMPExtreme Core Edition 11GB GDDR5
MSI Z170A PC Mate Mainboard
DVD-Brenner Laufwerk
Microsoft Windows 10 Home 64Bit

TT S2 3200 ( BDA Treiber 5.0.1.8 ) + Terratec Cinergy 1200 C ( BDA Treiber 4.8.3.1.8 )

Offline SiLæncer

  • Cheff-Cubie
  • *****
  • Beiträge: 158890
  • Ohne Input kein Output
    • DVB-Cube
Software Ideas Modeler 10.00.5989.580
« Antwort #295 am: 26 Mai, 2016, 17:20 »
Software Ideas Modeler is used to draw UML diagrams which are used in professional software development. Software Ideas Modeler can also be used to draw some other diagrams such as entity-relationship diagrams and UI mockups.

Main features:

    Intuitive and quick drawing of diagrams
    All UML 2.4 diagrams
    Flowcharts, Data Flow Diagrams, Entity Relationship Diagram (Crow Foot/Chen), CRC Cards, User Interface, Hierarchical Task Analysis, Entity Life History, Robustness Diagram, Concurrency Diagram, Venn Diagram, Mind Map, JSD diagrams
    Styling
    Print - batch printing, multiple pages per diagram
    Export diagrams to various image formats (BMP, PNG, JPG, GIF, TIFF, SVG, WMF, EMF) and PDF


Officially supports GNU/Linux via Mono.

Note: paid versions with additional features are also available.

License:    Free for non-commercial use

Changelog

New Features and Improvements

    Added ribbon
    Added macros
        Macro recording
        Visual macro editor
    Quick Action Bar
        Find element
        Find diagram [RQ#431]
        Find folder
        Execute application action
        Open another project
    Added File page
    Reorganized context menus in diagram editor
    Customizable ribbon (Professional/Ultimate)
    Customizable menu (Professional/Ultimate)
    Improved shortcut keys setting
    Added Navigation sidebar
    Added documentation indicator icon [RQ#393]
    Documentation can displayed and edited after clicking on documentation indicator icon
    Added snapping to predefined border positions [RQ#387]
    Added container auto layouts (each with additional settings)
        Stack layout
        Flow layout
        Table layout
    Added dock styles (none, left, right, top, bottom, fill)
    Added anchor styles (left, right, top, bottom)
    Added new elements to UI diagram:
        Panel
        Toolbar
        Area
        Paragraph (3 types: Lorem Ipsum, Schematic Waves, Schematic Lines)
    Improved design of UI Window element
    Added new flowchart elements:
        Extract
        Merge
        Connector
        Or Junction
        Summing Junction
        Delay
        Preparation
        Display
        User Operation
        Sort
        Collate
        Database
        Multi-Document
        Alternate Process
        Transfer
        Off-Page Connector
    Drawings are selected after inserting to a diagram
    New formatted text commands (available as ribbon buttons):
        Increase/decrease paragraph indent
        Increase/decrease space between paragraphs
        Increase/decrease font size
        Added more line spacing options
        Insert row above/below selected row
        Insert column on left/right of selected column
        Paragraph background color
        Paragraph borders
    Added support for export documentation to DOCX format
    Improved mouse wheel scrolling for some controls
    Model path bar can be collapsed using a button on it
    Option to display/hide the tab bar
    Added Fit to Window action
    Added Fit to Width action
    Added Fit to Height action
    Added new zoom options to menu: 1:1, Zoom In and Zoom Out
    Improved the window with open windows (All Open Windows) - now it supports closing of one or more windows
    New selection option - Select Parent Container (Home/Editing/Select/Select Parent Container)
    Stereotypes can be added or removed using ribbon/menu
    Adjust names of elements/fields
        Camel Case
        Pascal Case
        Spaced Words
        Add Hyphens
        Add Underscores
        Invert Case
        Lower Case
        Upper Case
        Capitalize First
        Remove Whitespaces
    Documents can be added to any folder (not only to the project root) [RQ#75]
    Improved sidebar handling (especially panel resizing)
    New sidebar context menu for sidebar - added new actions: Autosize, Maximize, Minimize, Close All, Close All But This
    Inserting project element links to formatted text box using auto complete list (displays on pressing @)
    Text background is rendered antialiased for rotated text
    Item can be selected using double click (without clicking on OK button) in Picker dialogs
    Added multiplicity for operation return type
    Add new option Show Special Indicators which shows icons for Use Case Design Scope, Goal Level and State
    Enhanced use case definition
        Added Scope Name field
        Added Stakeholders
    Use case flow events can be indented and outdented
    Use case flow events can be inserted also above the selected one
    Use case flow events can be copied and pasted
    New flow events can be inserted above, below or as a sub event using CTRL+Plus
    New flow event can be inserted below the selected one using CTRL+Enter
    Added context menu to use case flow events editor
    Added drag&drop support to use case flow events editor
    Added paragraph styles (formatted text) [RQ#149]
    Added table styles (formatted text)
    Added subscript and superscript formatting
    Improved table formatting in formatted text
    Improved table handling in formatted text editor
    Support for multiple cell selection in table in formatted text editor
    Support for triple click to select a whole paragraph in formatted text editor
    Further improvements of handling provided and required interfaces
    Adjusted project tree expansion in Link dialog (diagram nodes are collapsed by default)
    Formatted text can be pasted from the clipboard to a diagram
    Elements are copied also as a text to the clipboard
    Styles for element categories: entities, relationships, drawings, containers
    One style class supports multiple styles for different element types or categories
    Supported changing of style type in style set editor
    Added style previews to style list box
    After direct opening Properties dialog on Documentation tab, text editor is focused
    Enhanced Use Case documentation template
    New setting - default repository level
    Added new element style option - Text Shadow
    Custom caption for link
    New diagram icons
    Diagram export to SVG supports bitmaps
    Slightly changed style set file format
    Allowed to edit link in formatted text
    Definition of default tagged values
    Add new types of tagged values: integer, decimal, date, boolean, formatted text, enumerated value
    Improved cancelling the current action with ESC key
    Edited sequence message can be confirmed with Enter and cancel with ESC
    Attribute modifiers ID, Read-Only, Union, Derived, Sequence can be set using the context menu
    Operation modifiers Query, Ordered, Unique can be set using the context menu
    Added an example project (Help / Example Project) [RQ#441, RQ#299]
    Improved inserting a sequence message over a fragment
    Displaying preview of inserting relationship
    Better styling support for UML Interaction Operand
    Added autocomplete of enumeration values to object attributes

Fixed Bugs

    Fixed container area of UI Window - title bar is excluded now
    Fixed rare application crash when rendering gradient background of element
    Fixed application crash when using Make Same commands and nothing is selected
    Fixed resetting displaying description and field description when using Show Parts/Reset to defaults
    Fixed applying filters defined in a project from Diagram menu
    Fixed default naming of SysML diagrams - the index number of diagram was increased by two
    Fixed non-working relation filter
    Fixed selection after using shaping commands or removing fields
    Fixed sorting operation by visibility descending and by type descending
    Fixed unfocused scrolling using mouse wheel for Styles panel
    Fixed detached relationship end on rotated non-rectangular elements
    Fixed inserting UML Communication Messages using drag&drop
    Fixed clipping tables in formatted text boxes
    Fixed rendering the text added to a drawing
    Fixed positions of grips for points of a rotated shape
    Fixed rendering of element with custom presentation style
    Fixed scroll position in toolbox after switching from long toolbox to short toolbox
    Fixed dropping a drawing from the sidebar to a container
    Fixed uncentered page at initial displaying of documentation
    Fixed selection of element when it is over an already selected element
    Fixed adding some elements to some containers
    Fixed rendering of field selection and grips
    Fixed navigating to hidden column when editing in grid
    Fixed typing/inserting a text before a link on beginning of formatted text
    Fixed clipping table in formatted text box
    Fixed application crash when exporting sketchy style graphics to SVG
    Fixed application crash when pasting a formatted text with table to diagram
    Fixed incorrectly placed text when exporting to SVG
    Fixed handling objects in formatted text when it is zoomed
    Fixed deleting elements when deleting repository and elements are used on other diagrams - now the used elements are moved from the deleted repository to the project repository
    Fixed resizing type picker when window is resized
    Fixed word navigation (CTRL+Left and CTRL+Right) in formatted text
    Fixed application crash when using compare by name method for project comparison
    Fixed displaying associated diagrams indicator
    Fixed setting a color from HEX value in color picker
    Fixed small issues in text rendering
    Fixed omitting link text in export documentation
    Fixed rendering text with page break when previous page ends with a space
    Fixed adjusting view of formatted text editor after inserting or deleting a page break
    Fixed problem with selecting some tools in toolbox when the toolbox is filtered
    Fixed saving stereotype definitions
    Fixed showing diagram frame after confirming Diagram Properties dialog even if Show frame is unchecked
    Fixed application crash after adding rows (and no columns) to UI Diagram Grid
    Fixed tab refresh after renaming a folder
    Fixed moving Actor lifeline when dragging the header part
    Fixed editing Interaction Operand guard after clicking on it in diagram editor
    Fixed drawing UI element from right to left or from down to up
    Fixed incorrect resizing of toolbox by DPI
    Fixed unwanted adding to container when moving group of containers
    Fixed zooming with CTRL+mouse wheel in Folder Overview (scrolling was not suppressed during zooming)
    Fixed positioning of multiple pasted elements when they are copied from container
    Fixed flowchart shapes for direct data and stored data
    Fixed losing last editing of a use case flow event when editor is open in a separate window
    Fixed refreshing canvas when drawing a line
    Fixed moving Use Case editor window back to the main window

[close]

http://www.softwareideas.net/

Arbeits.- Testrechner :

Intel® Core™ i7-6700 (4 x 3.40 GHz / 4.00 GHz)
16 GB (2 x 8 GB) DDR4 SDRAM 2133 MHz
250 GB SSD Samsung 750 EVO / 1 TB HDD
ZOTAC Geforce GTX 1080TI AMPExtreme Core Edition 11GB GDDR5
MSI Z170A PC Mate Mainboard
DVD-Brenner Laufwerk
Microsoft Windows 10 Home 64Bit

TT S2 3200 ( BDA Treiber 5.0.1.8 ) + Terratec Cinergy 1200 C ( BDA Treiber 4.8.3.1.8 )

Offline SiLæncer

  • Cheff-Cubie
  • *****
  • Beiträge: 158890
  • Ohne Input kein Output
    • DVB-Cube
SWI-Prolog 7.3.22 Development
« Antwort #296 am: 30 Mai, 2016, 09:14 »
Changelog

DOC: Fixed unclear documentation of nextto/2.
MODIFIED: Do not call goal_expansion/2 on module:Var.
MAINTENANCE: Make configure --disable-mt work again.
ENHANCED: Clause GC invocation timing. Parameters that control this now better reflect the time and space tradeoff and the parameters are somewhat tuned. After regression found by and discussion with Abramo Bagnara.
CLEANUP: Group lock-free access pointers
ENHANCED: Use visibleClauseCNT() in all searching operations.
DOC: wrong references
DOC: include library(error) in the main docs
ADDED: predicate_property/2 implementation_module(-Module) to simplify finding targets for inlining, properties about targets, etc.
ADDED: Allow for :- multifile declarations in sandboxed code.
ENHANCED: Make adding or deleting a :- table directive take immediate effect after a reload of the source. This was problematic due to the logical update semantics preserving the old definition while reloading predicates.
ADDED: '$flush_predicate'/1 to materialize the current set of predicates early during reload.
DOC: Various small inconsistencies
DOC: typos
DOC: Do no skip a level in section headers

[close]

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

Arbeits.- Testrechner :

Intel® Core™ i7-6700 (4 x 3.40 GHz / 4.00 GHz)
16 GB (2 x 8 GB) DDR4 SDRAM 2133 MHz
250 GB SSD Samsung 750 EVO / 1 TB HDD
ZOTAC Geforce GTX 1080TI AMPExtreme Core Edition 11GB GDDR5
MSI Z170A PC Mate Mainboard
DVD-Brenner Laufwerk
Microsoft Windows 10 Home 64Bit

TT S2 3200 ( BDA Treiber 5.0.1.8 ) + Terratec Cinergy 1200 C ( BDA Treiber 4.8.3.1.8 )

Offline SiLæncer

  • Cheff-Cubie
  • *****
  • Beiträge: 158890
  • Ohne Input kein Output
    • DVB-Cube
PMD 5.4.2
« Antwort #297 am: 30 Mai, 2016, 20:30 »
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 Supported Languages:
- CPD supports now Swift
# Feature Request and Improvements:
- A JSON-renderer for PMD which is compatible with CodeClimate.
- Provide backwards compatibility for PMD configuration file
# Modified Rules:
- java-design/UseVargs: public static void main method is ignored now and so are methods, that are annotated with Override.
# Pull Requests:
- Added support for Raw String Literals (C++11).
- Added support for files with UTF-8 BOM to JSP tokenizer.
- Removed file filter for files that are explicitly specified on the CPD command line using the '--files' command line option.
- Added file encoding detection to CPD.
- Extended Objective-C grammar to accept UTF-8 escapes (uXXXX) in string literals.
- Added support for Swift to CPD.
- do not flag public static void main(String[]) as UseVarargs; ignore @Override for UseVarargs
- Update mvn-plugin.md
- Adds new Code Climate-compliant JSON renderer
- #1340 UseStringBufferForStringAppends False Positive with Ternary Operator
# Bugfixes:
- java-basic/DoubleCheckedLocking:False positives for DoubleCheckedLocking
- java-basic/SimplifiedTernary: False positive with ternary operator
- java-codesize/TooManyMethods: TooManyMethods counts inner class methods
- java-controversial/AvoidUsingShortType: false positive when casting a variable to short
- java-design/AccessorClassGeneration: ArrayIndexOutOfBoundsException with Annotations for AccessorClassGenerationRule
- java-design/CloseResource: CloseResource false positive on Statement
- java-design/UseUtilityClass: UseUtilityClass can't correctly check functions with multiple annotations
- java-imports/UnusedImports: False Positve UnusedImports with javadoc @link
- java-junit/TestClassWithoutTestCases: Test Class Without Test Cases gives false positive
- java-optimizations/UseStringBufferForStringAppends: UseStringBufferForStringAppends False Positive with ternary operator
- java-sunsecure/ArrayIsStoredDirectly: False positive of MethodReturnsInternalArray.: False positive of ArrayIsStoredDirectly
- java-unnecessary/UnnecessaryFinalModifier: UnnecessaryFinalModifier false positive on a @SafeVarargs method
- java-unusedcode/UnusedFormalParameter: UnusedFormalParameter should ignore overriding methods
- java-unusedcode/UnusedLocalVariable: UnusedLocalVariable - false positive - parenthesis
- java-unusedcode/UnusedModifier: false positive on public modifier used with inner interface in enum
# General
- PMD doesn't handle Java 8 explicit receiver parameters
- Performance degradation scanning large XML files with XPath custom rules
- Possible threading issue due to PR#75
- Error with type-bound lambda
- no problems found results in blank file instead of empty xml
# CLI Changes:
- CPD: If a complete filename is specified, the language dependent filename filter is not applied. This allows to scan files, that are not using the standard file extension. If a directory is specified, the filename filter is still applied and only those files with the correct file extension of the language are scanned.
- CPD: If no problems found, an empty report will be output instead of nothing. See also #1481
- New command line parameter for PMD: -norulesetcompatibility - this disables the ruleset factory compatibility filter and fails, if e.g. an old rule name is used in the ruleset. See also #1360. This option is also available for the ant task: <noRuleSetCompatibility>true</noRuleSetCompatibility>.

[close]

https://pmd.github.io/

Arbeits.- Testrechner :

Intel® Core™ i7-6700 (4 x 3.40 GHz / 4.00 GHz)
16 GB (2 x 8 GB) DDR4 SDRAM 2133 MHz
250 GB SSD Samsung 750 EVO / 1 TB HDD
ZOTAC Geforce GTX 1080TI AMPExtreme Core Edition 11GB GDDR5
MSI Z170A PC Mate Mainboard
DVD-Brenner Laufwerk
Microsoft Windows 10 Home 64Bit

TT S2 3200 ( BDA Treiber 5.0.1.8 ) + Terratec Cinergy 1200 C ( BDA Treiber 4.8.3.1.8 )

Offline SiLæncer

  • Cheff-Cubie
  • *****
  • Beiträge: 158890
  • Ohne Input kein Output
    • DVB-Cube
Cppcheck 1.74
« Antwort #298 am: 07 Juni, 2016, 05:30 »
Changelog

General changes:

Improved CWE mapping of messages
Git pre-commit hook checks only added or modified files

Checking improvements:

Replaced simplification of enums by keeping and parsing them in the SymbolDatabase
Added support to Library for specifying the parameter used by allocating/deallocating functions
Improved support for integers defined in Libraries
Improved accuracy of ValueType analysis
Improved accuracy of VarID assignment, especially when dealing with structs and unions
Improved performance of VarID assignment, checking for struct member usage, buffer overrun checking and several simplifications
Added support for lots functions to windows.cfg and posix.cfg
Better support for operator overloads
Detect buffer overflows when %c is used with a width
Improved checking for sizeof() taken of wrong type
Support char literals when checking for conditions being always true or false
Reimplemented check for usage of boolean results used in bitwise operations based on ValueType
Improved checking for c_str() usage

[close]

http://cppcheck.sourceforge.net/

Arbeits.- Testrechner :

Intel® Core™ i7-6700 (4 x 3.40 GHz / 4.00 GHz)
16 GB (2 x 8 GB) DDR4 SDRAM 2133 MHz
250 GB SSD Samsung 750 EVO / 1 TB HDD
ZOTAC Geforce GTX 1080TI AMPExtreme Core Edition 11GB GDDR5
MSI Z170A PC Mate Mainboard
DVD-Brenner Laufwerk
Microsoft Windows 10 Home 64Bit

TT S2 3200 ( BDA Treiber 5.0.1.8 ) + Terratec Cinergy 1200 C ( BDA Treiber 4.8.3.1.8 )

Offline SiLæncer

  • Cheff-Cubie
  • *****
  • Beiträge: 158890
  • Ohne Input kein Output
    • DVB-Cube
SWI-Prolog 7.3.23 Development
« Antwort #299 am: 16 Juni, 2016, 17:20 »
Changelog

PORT: Compilation on Windows.
ADDED: PL_Q_EXT_STATUS and better support engine yielding.
ADDED: PL_open_query(): flag PL_Q_ALLOW_YIELD to indicate the caller is aware of the engine can execute I_YIELD.
ENHANCED: Better validation of the type in library(error).
DOC: Updated wait_for_input/3
MODIFIED: wait_for_input/3 using a timeout 0 does not wait rather than waiting for an unlimited time. Using infinite to wait forever. Also changed the error terms to be more consistent.
PORT: Replace remaining select() calls from the core.
PORT: wait_for_input/3: use poll() when available to avoid limiting the number of open files.
CLEANUP: code for wait_for_input/3, preparing for poll()
FIXED: Thread safety issue in new thread allocation routine.
ADDED: Experimental $yield VMI to realise Paul Tarau's return(Term) for interactors based on engines.
FIXED: Deal with renamed README file.
CLEANUP: Small style issues in swipl-win.exe source.
ENHANCED: Make finding a slot for a new thread O(1) and reduce locking.
CLEANUP: Remove documentation and other traces of the no longer used SIGUSR1 signal
ENHANCED: Mark active references to choice-points to only save relevant choice points.
ADDED: library(prolog_xref): declaration for built-in reset.
FIXED: Possible race condition when multiple threads try to autoload the same predicate. Eyal Drechter.
ENHANCED: debug/1: avoid sending multiple copies to the same output. Eyal Drechter.
FIXED: Active marking on behalf of shift/1. Added more debug statements.
FIXED: shift/1: protect against stack shifts. More consistency checks and debugging.
FIXED: Handle memory overflows in tabling code.
FIXED: write/1: writing .(a,;) as a.(;) rather than a. (;)
ENHANCED: read/1: use a hash table for resolving variables if there are many.
DOC: Dynamic code and clause garbage collection.
PORT: Proper detection of IEEE754 layout for NaN writing. Was wrong on little endian machines that do not have , e.g., MacOSX.
CLEANUP: Move msb64() from pl-arith.c to pl-inline.h. Use compiler supported builtins if applicable and use this in pl-rec.c to compute the number of bytes to store for an integer (speedup, reduces code duplication)
FIXED: compound_name_arguments/3 error handling (unsigned type hided error condition).
FIXED: Trapping global overflows from PL_recorded() (failed due to unsigned type)
FIXED: predicate attribute handling on reload
PORT: Use PRId64 macro instead of homebrew INT64_FORMAT

Package clib:

PORT: only use our own version of tcp_select/3 on Windows. Other OSes use the enhanced system version.
PORT: Use poll() when waiting for a socket while dispatching events.
FIXED: environ/1 for MacOSX
Package http:

ADDED: Support logfile rotation using SIGHUP or SIGUSR1.
ADDED: library(http/http_log): the ability to include the POST data into the log file. By default disabled. This option is notably intended to debug servers.
ADDED: http_unix_daemon.pl: provide --redirect option to redirect an
HTTP server to the HTTPS server. E.g. server --http --redirect --https
ADDED: library(http/http_unix_daemon): allow starting multiple servers.
ADDED: http_unix_daemon:http_certificate_hook/3 that allows for
creating or updating certificates as the server starts in HTTPS modus.

Package odbc:

DOC: ODBC quoting. With help from Matt Lilley and Fernando Sáenz Pérez
Package pengines
TEST: Add version test for phantomjs to avoid running the JavaScript test on broken versions.
FIXED: Extracting objects from the manual pages.

Package semweb:

FIXED: Query typed literal using V^^xsd:string (exception).
FIXED: Issue#38: V^^T for plain literals failed.
FIXED: Issue#35: ntriples parser: blank node syntax. Wouter Beek.
FIXED: Allow for optional PNLOCAL when writing a turtle file.
ADDED: Allow RDF literal parsing to be extended by external modules that implement RDF datatypes.

Package sgml:

FIXED: Issue#39: rdf_equal(xsd:dateTime, D), xsd_time_string(DT, D, "01"). Wouter Beek.

Package ssl:

FIXED: Last patch didn't compile. Wouter Beek.
ADDED: ssl_negotiate/5: add support for client-side SNI negotiation. Tested on https://sni.velox.ch/

Package xpce:

PORT: Use poll for timeout in stream objects.
PORT: Use poll() for xevent timouts.
FIXED: regex->file_pattern must escape "+". Maurizio Ferreira.
PORT: Avoid shifting a negative integer

[close]

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

Arbeits.- Testrechner :

Intel® Core™ i7-6700 (4 x 3.40 GHz / 4.00 GHz)
16 GB (2 x 8 GB) DDR4 SDRAM 2133 MHz
250 GB SSD Samsung 750 EVO / 1 TB HDD
ZOTAC Geforce GTX 1080TI AMPExtreme Core Edition 11GB GDDR5
MSI Z170A PC Mate Mainboard
DVD-Brenner Laufwerk
Microsoft Windows 10 Home 64Bit

TT S2 3200 ( BDA Treiber 5.0.1.8 ) + Terratec Cinergy 1200 C ( BDA Treiber 4.8.3.1.8 )