Search Results for "linux terminal" - Page 2

ff util is created for searching some text (functions, variables, definitions) in some source tree in all files (and just for fun), a program for programmers.

A Unibasic Code Coverage tool. It produces formatted HTML reports on the statement coverage of selected source files. Designed for UniData but should is being ported to UniVerse (still in development, but compiles and works on demonstration programs).

AdLint Goodies is a collection of miscellaneous utilities for AdLint. All goodies are written in Ruby and available for Windows, Mac OS X, GNU/Linux, FreeBSD and any other platforms supported by Ruby.

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

Runtime concurrency analysis for Java. Instruments your Java app at run time, and monitors field access, synchronization and locking, to verify concurrent access is safe.

News: since 2015 we continue all related developments within Collective Knowledge Framework: http://github.com/ctuning/ck/wiki ICI transforms production compilers into open interactive plugin-based research infrastructure as the first step towards future intelligent self-tuning computing systems. More information: http://cTuning.org/ici

A small tool to remove C / C++ style comments from your source code. Including source.

DPRLE (decision procedure for regular language equations) solves subset constraints that involve language variables and concatenation.