Search Results for "state machine editor"

Dlib is a C++ toolkit containing machine learning algorithms and tools for creating complex software in C++ to solve real world problems.

SciTECO is an interactive TECO dialect, similar to Video TECO. It also adds features from classic TECO-11, as well as unique new ideas. Project development takes place here: https://git.fmsbw.de/sciteco The download archive is mirrored at Sourceforge, but for nightly builds check out: https://sciteco.fmsbw.de/downloads/nightly/

...In particular for C, HWUT supports make file generation using 'sos' and 'sols' modes. Remote control-able function stubs may be generated using the 'stub' mode. Test cases can be generated using the 'gen' mode, and state machine walkers by the 'sm_walker' mode. Over the last decade HWUT has matured towards a full fledged unit test tool for a wide variety of applications.

Mostly WYSIWYG command-line driven editor with editable commands, a powerful macro facility including a stack architecture run machine, macro debugger, online help, a foundation macro set and extension macro sets for C, python, Ada and Tcl development and email composition. Q tries to resolve the old tabs vs spaces conundrum: e.g. in Linux source, the user can automatically enforce leading tabs, no space-before-tab leading sequences and no trailing spaces.

PLEASE READ THE PLATFORM SPECIFIC INSTRUCTIONS UNDER Files , ALSO FOUND IN README.txt, BEFORE DOWNLOADING!!! ra is a programming language and machine. Programs for ra are built from a small set of primitive control statements and a small set of operations. Although they contain no explicit types they are based on two primitive types, string and number, and a high order type, table. When called with the -d option ra includes commands for starting and stopping program execution and examining program state.

This application may be used to generate a full-featured software state machine using a high-level description language. Several state machines can be placed into the same source file and they can reference one-another to create nested state machines. Any arbitrary code can be associated with any state transition. Inline code is supported. Any code may also be defined to be run before the start state is entered as well as after the end state is finished. ...

A tool to generate state machine graphs based on specially formatted comments in C and C++ code. The generated output is a Graphviz dot input file.

The software generates automatically concurrency control code based on a given specification. Specifications consist of a description of the concurrency constraints, a state machine description of the processes and/or threads that are to be coordinated, and the C code associated with each state of the state machines. The output of the software is a C program containing the implementation of the concurrency constraints and the segments of code given in the specification.