Submit Software
  1. Home
  2. Windows
  3. Other
  4. Fast to ARMC translator

Fast to ARMC translator 1.2.2

License: Free ‎File size: N/A
‎Users Rating: 4.5/5 - ‎2 ‎votes
Download

The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.

VERSION HISTORY

  • Version 1.2.2 posted on 2010-02-24
    Several fixes and updates
  • Version 1.2.2 posted on 2010-02-24

Program Details

Related Programs

  • Universal Data Arrays Visualization Free

    UDAV is program for data arrays visualization based on MathGL library. It support wide spectrum of graphics, simple script language and visual data handling and editing.

  • uClinux for vdsp Free

    this project aims at migrating uClinux for bf561 to Visual DSP IDE enviroment.

  • eANN Free

    eANN is an implementation of several kind of neural networks. Implemented: Multi Layer Neural Network with Backpropagation, Competitive Neural Network, Radial Basis Neural Network, Progressive Radial Neural Network & Prog

  • gcw. Gcc for Windows Free

    Gcc for Windows (gcw) is yet another attempt to port gcc to Win32 platform. The major difference from MinGw and Cygwin is maximum possible acceptance of Microsoft Visual C++ source code and intended binary compatibility with

  • command4net Free

    command4net makes it easy to implement asynchronous command support for Console and command line based applications or services via the use of scripts written in any .NET language and optionally contained in external assembli

  • bed Free

    BED is a console-based, cross-platform source code editor and development environment built on the Eiffel Console Vision interface library, a clone of Borland's Turbo Vision library.

  • gitslave Free

    Superproject mutli-repository management. Creates a group of related and typically currently developed repositories and on which all git operations should operate, so when you, for example, branch, each repository in the proj

  • xchecker Free

    xchecker is both a test framework for XML and XSLT, and a wrapper for an XML Schema processor that allows XML Schema documents to be augmented with xchecker. xchecker checks can be any combination of XML Schema, Relax NG, XPa

  • GNU GetText Translator Free

    PHP/MySQL web based environment which enables application developers (which use GNU GetText to implement translations to their projects) to implement web based translation system on their web site.

  • Equals Checker Free

    A static checker that model checks the implementation of equality for an Eclipse Java Project.