• Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Ada
  • Created almost 8 years ago
  • Updated about 1 year ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Ada finite-state machine generator.

Ada finite-state machine generator

Alire

The generator translates finite-state machines described with specific text scripts to Ada language.

See readme.txt and Automate_Ada.pdf (in French) for more details.

Using Alire

In your working folder, do:

% alr get automate
% cd automate_*
% alr build

Licence

All files are provided under terms of the CeCILL License version 2.1.

Pascal Pignard, March 2017, October 2023.