The Fiacre Language

 

• Home
• News
• Download
• Docs
• Friends
• Contacts
• Tina
• Fiacre
• Hippo

Mailing lists (shared with TINA)

To receive version announcements or get help please fill in your e-mail address and submit (optional).

e-mail:			subscribe tina-announces (moderated)
Name:			subscribe tina-users (moderated)
Affiliation:

Please enter code and submit

Frac downloads

Release 2.6.0 [last updated June 11 16:54 2020]:

32 bit versions (other targets on request):
frac-2.6.0-i386-linux.tar.gz : frac compiler for 32 bit enabled Linux PCs
frac-2.6.0-i386-mswin.zip : frac compiler for Windows PCs
frac-2.6.0-intel-pc.dmg : frac compiler for 32 bit enabled Intel Macs (10.9 to 10.14)
frac-2.6.0-i86pc.tar.gz : frac compiler for Solaris 11 PCs

64 bit versions (not faster, but take advantage of more than 4Gb of RAM):
frac-2.6.0-x86_64-linux.tar.gz : frac compiler for 64 bit Linux PCs
frac-2.6.0-x64-mswin.zip : frac compiler for 64 bit Windows PCs
frac-2.6.0-intel-pc-64.dmg : frac compiler for Intel Macs (10.9 to 10.15)
frac-2.6.0-i86pc-64.tar.gz : frac compiler for Solaris 11 PCs

SML source code under CeCILL-B LICENSE:
frac-2.6.0-src.tar.gz
frac-2.6.0-src.zip

Installation

Download then unpack the adequate frac distribution; this creates a folder frac-X.Y.Z, let FRACDIR be its full path;
Set the value of variable FRACLIB in FRACDIR/Makefile to FRACDIR/lib;
Add directory FRACDIR to your PATH environment variable;
FRACDIR/doc holds the frac manual page in various formats. On unixes, you may wish to add FRACDIR/doc/man to your MANPATH environment variable.

Usage

frac -h prints a short description of available options;
Checking a fiacre file (say app.fcr):
frac app.fcr
Checking and pretty-printing a fiacre file:
frac -f app.fcr [out.fcr]
Checking and compiling a fiacre file into a tts description for analysis by tina or sift:
frac app.fcr app.tts
make -f FRACDIR/Makefile app
(one may wish to define an alias or script for this pair of commands)

Note: The last command requires gnumake and gcc, readily available on most Unix systems; on Windows, MinGW/MSYS provides both and works adequately.

History

2.X.Y history:

June 11, 2020: 2.6.0 released;
June 03, 2016: fixes: missing sprint_json_state function, impure function calls;
March 16, 2016: 2.5.0 released;
January 15, 2016: fixed typing of functions with factorized arg types;
January 06, 2016: 2.4.0 released;
October 22, 2015: 2.3.0 released;
June 24, 2015: typechecker fix;
June 23, 2015: 2.2.8 released;
May 27, 2015: typechecker fixes;
Apr 22, 2015: code generation fixes for assignments of unions and value probes;
Mar 31, 2015: fixed forgotten case in typing of patterns;
Mar 23, 2015: 2.2.6 released;
Aug 29, 2014: minor fixes;
Apr 09, 2014: minor fixes and improvements;
Feb 02, 2014: 2.2.4 released;
Jan 15, 2014: fixed shvar acces check in compositions;
Jun 18, 2013: 2.2.2 released;
Feb 27, 2013: minor fixes;
Jan 11, 2013: 2.2.0 released;

Previous releases

(Read files README and MANUAL in the distributions for specific installation and usage information). Release 2.5.0 [last updated June 03 17:35 2016]:

Version 2.5.0 of 03/06/32016:
[sources (tar.gz)] [sources (zip)] [32bit enabled pc-linux] [64bit pc-linux] [pc-windows] [64bit pc-windows] [solaris 11] [solaris 11] [32bit enabled intel-mac (10.9-10.14)] [intel-mac (10.9-10.15)]

Version 2.4.0 of 15/01/2016:
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [64bit pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [64bit intel-mac (10.6)]

Version 2.3.0 of 22/10/2015:
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [64bit pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [64bit intel-mac (10.6)]

Version 2.2.8 of 24/06/2015:
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [64bit pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [64bit intel-mac (10.6)]

Version 2.2.6 of 27/05/2015:
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [64bit pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [64bit intel-mac (10.6)]

Version 2.2.4 of 29/08/2014:
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [64bit pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [64bit intel-mac (10.6)]

Version 2.2.2 of 18/06/2013:
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [64bit pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [64bit intel-mac (10.6)]

Version 2.2.0 of 27/02/2013:
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [64bit pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [64bit intel-mac (10.6)]

Version 2.1.2 of 07/01/2013:
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [64bit pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [64bit intel-mac (10.6)]

Version 2.1.0 of 12/09/2012:
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [x86-solaris] [intel-mac (10.6)]

Version 2.0.2 of 30/05/2012:
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [64bit pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [64bit intel-mac (10.6)]

Version 2.0.0 of 30/03/2012 (supports fiacre functions and properties):
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [64bit pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [64bit intel-mac (10.6)]

Version 1.7.2 of 24/11/2011 (supports fiacre functions; other targets on request):
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [64bit intel-mac (10.6)]

Version 1.6.2 of 24/11/2011 (supports fiacre functions; other targets on request):
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [64bit intel-mac (10.6)]

Version 1.7.0 of 17/11/2011 (with functions and preliminary support of properties; other targets on request):
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [64bit intel-mac (10.6)]

Version 1.6.0 of 17/11/2011 (with support of fiacre functions; other targets on request):
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [64bit intel-mac (10.6)]

Version 1.5.2 of 17/06/2011 (other targets on request):
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [64bit intel-mac (10.6)]

Version 1.5.0 of 12/5/2011 [last updated 01/06/2011] (other targets on request):
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [64bit intel-mac (10.6)]

Version 1.4.2 of 8/4/2011 (other targets on request):
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [64bit intel-mac (10.6)]

Version 1.4.0 of 5/1/2011 (other targets on request):
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [intel-mac (10.5)]

Version 1.3.3 of 13/12/2010 (other targets on request):
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [intel-mac (10.5)]

Version 1.3.2 of 06/12/2010 (other targets on request):
[sources (tar.gz)] [sources (zip)] [pc-linux] [64bit pc-linux] [pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [intel-mac (10.5)]

Version 1.3.0 of 27/05/2010 (other targets on request):
[pc-linux] [64bit pc-linux] [pc-windows] [x86-solaris] [64bit x86-solaris] [intel-mac (10.6)] [intel-mac (10.5)]

Version 1.2.0 of 01/10/2009 (other targets on request):
[pc-linux] [64bit pc-linux] [pc-windows] [x86-solaris] [sparc-solaris] [intel-mac] [ppc-mac]

Older fiacre V2 releases.