Search Results for "package installer linux"

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...

PyLogAnalyzer is a tool that receives an input log in black and white, a configuration INI file, which contains the list of rules to process the input, and an output file where to save the results. These rules permit to detect an input line according to a regular expression (regex) or line number range, filter it, pass it, colorise in foreground and background, columnise the groups of the regex and enable or disable the rule. The final goal of this tool is to ameliorate reading long and...

A C++ unittest framework, written out of frustration with the existing unittest frameworks out there. No GUI with colorful progress bars, no dependencies on any other package in the world.

Simple order fulfillment system with flexible order decomposition and domain specific programming language for describing decomposition scenarios. Most suitable for Mobile Communications operators who are using Oracle BPEL and AIA technology.

Bash scripting to help vim fresh user to install related plugins and other toolkits, something like ctags etc. The helper sub-package need to created by old user of Vim,

Unit Test for C is a very useful and powerful software development tool for C and C++ programmers. It is designed to provide a great deal of functionality in a very small package and functions nearly identically on Windows and UNIX systems.