Thema: Entwicklertools diverses

[SiLæncer]

Changelog

XED: sandboxed meta built-ins with non-meta arguments.
ADDED: statistics/2 keys epoch and process_epoch
ENHANCED: threads/0, join_threads/0: use print_message/2. Output of threads now includes time and stack usage.
ENHANCED: Make statistics/0 use print_message/2 and added statistics/1, returning a dict carrying the same information and thread_statistics/2.
ENHANCED: Modernised library(shell), so we can use it in unrestricted SWISH shells for administrative tasks.
ADDED: library(sandbox): Support ^ and // meta-arguments
MODIFIED: prolog_load_context(term_position, Pos), now returns a '$stream_position'/4 term with real info in all fields rather than a '$stream_position'/5 where all info except for the line count was fake.
ENHANCED: provide precise location through prolog_load_context/2 term_position.
ADDED: library(pprint), providing the term pretty printer that is used by the graphical debugger for normal Prolog usage.
ADDED: Allow colouring of goals written as {...}.
FIXED: Safe directive checking
ADDED: load_files/2: sandboxed(true) to ensure we cannot assert clauses with other modules.
ADDED: Auto-load library(sandbox) if [sandboxed(true)] is used with load_files/2.
ENHANCED: library(sandbox): various issues with safe directive checking.
ENHANCED: Simplify clp(fd) goal_expansion output. Avoids compiler warnings about trivially true or false goals and speeds up non-optimized programs.
ENHANCED: CLP(FD): Use newly available var_property/2 to avoid "Test is always true: var(...)" warnings.
ADDED: library(sandbox): code_type/2, char_type/2 and others are safe.
ADDED: library(prolog_colour): support for user-provided colouring of dicts.
FIXED: use_module/1 did not import from module files that define additional modules (e.g., by defining unit tests inside the file). Wouter Beek.
FIXED: expand_goal/7 position information in clause that process the module was incorrect
FIXED: Crash on e.g. format('~*f',[-5, 100 rdiv 3]). Mike Elston.
ENHANCED: library(sandbox): do not examine pure Prolog facts.
SECURITY: sandbox handling of format/2.

[close]

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

[SiLæncer]

Whats new:>>

Fixed x.y/[]/{} sometimes falsely being flagged as variadic.

http://de.autohotkey.com/

[SiLæncer]

Changelog

ADDED: library(sandbox) declaration for findnsols/4,5.
MODIFIED: predicate_property(++P, visible) now also succeeds for `hidden' $-predicates. Hidden predicates are skipped when generating visible predicates.
FIXED: library(sandbox) handling of findall/4.
FIXED: propagate errors from promoteToFloatNumber(). Before, some arithmetic operations that imply conversion to floats of rationals (including integers) that are outside the IEEE double float range could give an incorrect result.
ENHANCED: group_pairs_by_key/2 now also works for variable keys.
CLEANUP: Avoid -fsanitize runtime error in MPZ-->int64 translation (not really an error). Abramo Bagnara.
FIXED: retractall/1 on reserved (ISO) predicates. Paulo Moura.
FIXED: Throw error on retractall(3). Paulo Moura.
FIXED: thread_get_message/1,2: avoid leaking term-references if waiting is repeatedly interrupted. This might be an important reason for crashes in long running servers. It surely is a bug.
FIXED: In ciao emulation, new_declaration/1 is modular, therefore declaration/2 should also record the module.
ADDED: library(sandbox): support *->, findnsols/4 and findnsols/5.
ADDED: library(sandbox): declare copy_term_nat/2 as safe.
PORT: Fix Cygwin build machinery Revert SOLIB for Cygwin to "lib", install into the arch specific lib and bin subdirs. In other words, install just as on any other UNIX system. Drop the Cygwin-specific "cygpl.dll" name for the shared lib since it's only used from within the SWI-Prolog installation dirs anyway. This allows to get rid of YA special case for Cygwin in configure.in, and it's more in line with all other platforms.
With these changes, I can build a functional SWI-Prolog installation for Cygwin which also correctly loads the package modules now (not a safe bet before since I neglected to notice a build error with my patches from last year).
ADDED: library(sandbox): allow for :- style_check/1.
INSTALL: MinGW: fixed lacking dependency, causing concurrent make to fail. Roberto Bagnara.
ADDED: library(sandbox): support freeze/2.
FIXED: term_string/3: Crash when reading comments using comments(-Comments) option.
ADDED: library(sandbox): allow for use_module/2 (under restrictions).
Package clib:
ADDED: prctl/1 to library(unix) to control core dumps on setuid programs under Linux.
Package cql:
INSTALL: DESTDIR was used twice
Package http:
MODIFIED: library(http_unix_daemon): re-enable core dumps on Linux systems after changing UID/GID.
Package pengines:
FIXED: Handle died and existence_error(pengine, Id) to update our admin of living pengines.
ADDED: add a field projection:list-of-variable-names to JSON output if the template is left unspecified. This is needed to support natural tabular output.
ADDED: hook pengines_io:binding_term//3 to overrule the HTML rendering of a binding or residual goal.
Package semweb:
ADDED: sandbox declarations of library(semweb/rdf_litindex).
FIXED: Prefix expansion for ?- rdf(S,P,literal(Query,Value)).
ADDED: sparql_client: accept text/turtle as Turtle media type. Samer Abdallah.
FIXED: ntriples parser: possible out-of-bounds array access can crash.
Package xpce:
ENHANCED: abort() if trying to report "out of memory" runs out of memory.

[close]

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

[SiLæncer]

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:

Library files have now a 'format' attribute. Format version 1 is assumed by default
Cppcheck does no longer abort checking if unhandled characters (Non-ASCII) are found

New checks:

Check for unused return values
Detect shift by too many bits, signed integer overflow and dangerous sign conversion -
Recommend usage of expm1(), log1p(), erfc()
Division by sizeof() as parameter to memset/memcpy/memmove/etc. as they expect a size in bytes

Several new va_arg related checks:

Wrong parameter passed to va_start()
Reference passed to va_start()
Missing va_end()
Using va_list before it is opened
Subsequent calls to va_start/va_copy()
Initialization by itself in initializer list
Dead pointer usage when pointer alias local variable that has gone out of scope

Improvements:

Support uniform initialization syntax (C++11)
Much improvements to value flow analysis
Improved AST creation (support placement new, C++-style casts, templates, operator new[], ...)
Improved lambda support
Support GCC extension __attriute__((used)) and MSVC extension __declspec(property)
Better support for static member variables, inherited variables and namespaces
Improved typedef support where multiple variables are declared at once
Avoid checking code multiple times by calculating a checksum. Duplicate preprocessor configurations are eliminated by this.
Support C++03/C 'auto' keyword
HTML report: display 'verbose' message using clickable expandable divs Additionally, lots of false positives and bugs have been fixed and several existing checks have been improved.

[close]

http://cppcheck.sourceforge.net/

[SiLæncer]

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

Whats new: >>

Fixed resizing of ERD entities with larger padding
Fixed copying of diagrams
Fixed application crash when loading data from not accessible data source
Fixed applying padding to comment
Fixed copying of relationships between nested elements when copying container
Fixed loading of groups with containers with nested elements
Fixed application crash when file with tool settings is corrupted
Fixed creation of multiple projects on double click in search box list item on start page
Fixed updating text box position when renaming a node and scroll the project tree
Fixed application crash when creating new project with a diagram and windows is not completely visible
Fixed missing dialog with asking to save on program exit after editing TO-DOs
Fixed showing of trailing colon in a diagram frame after reloading a project

http://www.softwareideas.net/

[SiLæncer]

Whats new: >>

Fixed an overflow error in TCppParser.CheckForStructs that caused errors when opening/saving files.
Fixed a crash in TEditorList.GetFocusedPageControl that fixes random crashes when idling, opening or saving files.
Refactored symbol completion code.
The code completion window does not show anymore when the cursor changes during the timer rundown after typing . or :: or ->.
Improved multiple file opening performance.
Improved project closing performance.
Updated compilation readme.

http://orwellengine.blogspot.com/

[SiLæncer]

Whats new: >>

Fixed bug in procedure TMainForm.EditorSaveTimer that corrupted the editor views.
Updated provided commit command.

http://orwellengine.blogspot.com/

[SiLæncer]

Changelog

FIXED: Configuration of readline cleanup when receiving a signal. Matt Lilley.
FIXED: nb_rb_get_node/3: avoid arg/3 on ''. Jacco van Ossenbruggen
MODIFIED: Catch most signals and call PL_exit_hook() functions before killing ourselves with the same signal. Extended the set of `crash' signals that cause the system to print a stack-trace.
DOC: removed no-longer-relevant section on SIGSEGV handling.
FIXED: Provide error messages for, as yet, not-supported function expansion for meta-arguments.
FIXED: renamed extend_pos/2 and extend_pos/3 to extended_pos and made it reversible, as required by remove_arg_pos/7.
ADDED: goal_expansion/2,4 now applies to meta arguments with specifiers greater than zero.
ENHANCED: CLP(FD): Faster in/2 for integer in ground L..U range. Ulrich Neumerkel. Example, previously:
%?- N=500000, time((between(1,N,_), 3 in 1..10,false)). %@ % 17,000,001 inferences, 2.423 CPU in 2.436 seconds (99% CPU, 7014808 Lips) %@ false.
Now:
%?- N=500000, time((between(1,N,_), 3 in 1..10,false)). %@ % 1,000,003 inferences, 0.165 CPU in 0.170 seconds (97% CPU, 6076534 Lips) %@ false.
ENHANCED: Swap order of tests to speedup xref_defined/3 and xref_module/2
ENHANCED: CLP(FD): Faster sum/3 and scalar_product/4 when the lists contain only integers, further reducing the need for sumlist/2.
FIXED: colourise_query/3: handling empty string.
ENHANCED: Use double-linked lists for keeping track of counting mutexes. Avoids quadratic behaviour e.g., abolish/1 of many dynamic predicates. Abramo Bagnara.
CLEANUP: Counting mutex implementation: Use inline functions for better readability, use a 64 bit int for counting locks.
FIXED: possible crash when multiple threads are marking predicates
ADDED: library(sandbox): unify_with_occurs_check/2.
FIXED: Possible crash when using thread_signal() to a thread that performs a local stack shift.
ADDED: Limit the program space usage per module. See set_module/1 and module_property/1.
DOC: Document preparing MinGW compilation wrt. GCC thread libraries.
FIXED: setup_call_cleanup/4: Avoid superfluous calling of the cleanup handler because FR_WATCHED is set by the debugger or frame inspection. Matt Lilley.
Package clib:
FIXED: rootJob must be a global variable.
FIXED: process.c did not compile on Windows.
MODIFIED: Kill processes on exit/crash of Prolog unless they are detached. Put detached processes in a process group. Added process_group_kill/1,2. Matt Lilley.
FIXED: memory file manipulation on UTF-8 sequences.
MODIFIED: library(memfile), providing memory based buffers and streams. The implementation has changed considerably, although it remains compatible for typical use cases. Summary: - Handles are now reserved symbols (like streams, etc.), providing safety against double removal, memory corruption, etc. Memory files are now also subject to GC. - The API is now thread-safe. - open_memory_file/3 now supports the modes append, update and insert.
New predicates have been added to:
Get the content as a string
Insert and delete text anywhere in the buffer
Get a range of characters as a string.
With these changes memory files provide the functionality to maintain a mirror of the SWISH editor needed for code analysis. This avoids the need for XPCE to run SWISH and avoids the single-thread limitation of XPCE.
Package http:
ADDED: js_expression//1 to convert a dict into a JSON object. This allows passing dicts into javascript quasi quotations with the expected result.
Package pengines:
ADDED: Use new memory limitation feature of SWI-Prolog.
Package semweb:
FIXED: rdf_literal_value/2. Github issue#2, Honnix.
Package sgml:
FIXED: html_write/2, Avoid escaping in and in HTML documents.
FIXED: Accept a string as CDATA in mixed content elements

[close]

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

[SiLæncer]

Whats new: >>

Slightly decreased flicker during editor opening.
Makefiles are now highlighted as if they are source files.
Opening braces after a 'default' keyword are now completed correctly.
Fixed a bug in NewFunctionFrm and NewVarFrm that caused crashes (thank you for reporting).
Rewritten ancient source code of devcppPortable.exe. It is now immune to overflows due to arguments of length more than 400.
Fixed a bug in TCppParser that caused it to ignore project include paths.
Fixed a crash in TCppTokenizer due to spaces before #include in combination with comments after the or "file" part (like " #include // bar").

http://orwellengine.blogspot.com/

[SiLæncer]

Korduene is a reliable software that makes application development easy. It allows you to create programs without having advanced programming knowledge or experience in coding. You can use graphs to implement your application logic.

Korduene currently only supports creating windows applications, however there are big plans for the future where Korduene could support other types of projects, or even games.

Freeware

Latest Changes

- Lots of bug fixes
- Better Reference handling
- Feature - New Form Designer
- Feature - Runtime Control creation and control manipulation
- Feature - Find Nodes
- Feature - Auto Backup

http://www.korduene.com/

[SiLæncer]

Changelog

DOC: explain error conditions of nb_* predicates.
ADDED: library(sandbox): declare copy_term/3 safe. Markus Triska.
ADDED: library(sandbox): get_attrs/2 and term_attvars/2 are safe.
MODIFIED: removed (undocumented) attribute_goal/2 hook, making attribute_goals//1 the only way to project attributes Previously, attribute_goal/2 was supported (though never documented and therefore not used anywhere) as well. Experience has shown that the DCG version is the only interface that is needed in practice. It also leads to more elegant code when several goals are produced.
FIXED: Disable atom-gc during PL_cleanup() to avoid calling hooks into foreign libraries that may be unloaded.
FIXED: Issue#5: format_time/3, %I, %l and %r: actually use 1..12 instead of 0..11, OskarSigvardsson.
FIXED: in wrap_meta_arguments/5, the hash should be generated using the full argument list and not only the extended ones.
CLEANUP: Placed common parts to compile auxiliary clauses in the predicate compile_ancillary_clause/2.

Package http:

ADDED: hooks that allow for dynamic management of the HTTP worker pool size.
ENHANCED: More human friendly error messages from http_parameters/2,3.
DOC: http_parameters/2,3 updated.
ENHANCED: Raise an error when trying to use http_parameters for the second time on POST data.
ENHANCED: http_parameters/2,3: error handling. Errors from http_parameters (missing parameter, wrong type) are now mapped to "400 Bad Request", the message is more informative and also if library(http/http_error) is loaded, the stack trace is omitted. After all, these are not server errors.
MODIFIED: Now uses existence_error(http_parameter, Name) rather than existence_error(form_data, Name).
SECURITY: Ensure that declared CDATA elements (script, style) cannot contain their end-tag. The script content must ensure this based on features of the scripting language. The library(http/html_write) verifies that this is done and throws a domain_error(cdata, String) if this is not the case. This should probably be a representation_error, but representation errors cannot provide the context :-(
MODIFIED: This patch also processes the content of script and style tags as if written as \[Content]. The processing of raw data is extended to include all relevant parts of regular HTML content that are meaningful for CDATA elements.
SECURITY: Ensure that strings in JavaScript and JSON that contain

[close]

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

[SiLæncer]

Windows-Skript-Interpreter mit 216 Befehlen; die grundlegenden Befehle sind den DOS-Batch-Befehlen ähnlich; zum Debuggen kann die Kommandodatei auch schrittweise ausgeführt werden.

Freeware

Was ist neu : >>

Neuer Befehl "INFO SPECDIR" Neuer Schalter "ZLNANZ" im Befehl "Info Read" Im Befehl "Input" kann mit dem Schalter "/UD" ein UpDown-Inkrement angegeben werden Im Befehl "Shift CallLevel" kann der Parameter auch negativ sein und führt zu einer anderen Veränderung der AufrufstufenKorrektur: Datum von Thanksgiving im amerikanischen Kalender

http://members.chello.at/~hintenaus/runcmd%20-%20uebersicht.htm

[SiLæncer]

FNX Basic is a Basic compiler that is able to create applications. It creates a single executable file, in byte code, even if compressed with UPX like RapidQ does.

Freeware

http://www.fnxbasic.com/index.html

[SiLæncer]

HttpMaster is a development tool to automate testing of web sites and services, including RESTful web services and API applications, and monitor their responses. With HttpMaster you can easily execute and monitor requests to simulate client activity; it can execute requests against various web servers and display complete request and response data. HttpMaster is also able to generate high volume of web traffic for improved testing.

Freeware

Latest Changes

Basic request feature for quick execution of simple internet requests now included in Express Edition
Ability to validate response body with regular expression
Option to specify time delay between two consecutive requests
Introduction of 'Welcome window' for quick access to the most common HttpMaster actions
Ability to open multiple request items as basic request
New validation type 'Response body is valid XML'
New validation type 'Response body is valid JSON'
Match case' option with 'Response header value' validation and 'Response URL value' validation
Ability to close selected tab with double click
Option to clear list of recent projects

http://www.httpmaster.net/

[SiLæncer]

TortoiseSVN is a really easy to use Revision control / version control / source control software for Windows. It is based on Subversion. TortoiseSVN provides a nice and easy user interface for Subversion. It is developed under the GPL. Which means it is completely free, including the source code. But just in case you don't know the GPL too well: you can use TortoiseSVN to develop commercial applications or just use it in your company without any restrictions.

Since it's not an integration for a specific IDE like Visual Studio, Eclipse or others, you can use it with whatever development tools you like.

As a Subversion client, TortoiseSVN has all the features of Subversion itself, including:

    Most current CVS features.
    Directories, renames, and file meta-data are versioned.
    Commits are truly atomic.
    Branching and tagging are cheap (constant time) operations.
    Efficient handling of binary files.

Open Source

Whats new:>>

BUG: Fails to run on Windows XP.

www.tortoisesvn.net