The Fiacre Language

 

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

Frac distributions

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.7.0 [last updated June 07 16:31:00 CEST 2023]:

As of release 2.7.0, only 64 bit versions of frac are provided precompiled. It would still be possible to build 32 bit versions of it for some targets, but 32 bit code tends to be deprecated by current operating systems, if supported at all. Please let us know if you need a 32 bit version of frac, and for which OS.

frac-2.7.0-amd64-linux.tgz : frac compiler for 64 bit Linux PCs (glibc 2.17, Ubuntu 18.04)
frac-2.7.0-amd64-mswin.zip : frac compiler for 64 bit Windows PCs
frac-2.7.0-amd64-darwin.dmg : frac compiler for Intel Macs 10.14 (Mojave or later)
frac-2.7.0-arm64-darwin.dmg : frac compiler for Apple Silicon Macs 13.3 (Ventura or later)
frac-2.7.0-amd64-solaris.tar.gz : frac compiler for Solaris 11.4 x86 PCs

SML source code under CeCILL-B LICENSE:
frac-2.7.0-src.tar.gz
frac-2.7.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/MSYS2 provides both and works adequately.

History

2.X.Y history:

June 07, 2023: refreshed arm64-darwin distribution;
June 05, 2023: updated frac libraries and tts code generated fix gcc warnings;
June 02, 2023: fixed Makefile's in distributions;
June 01, 2023: 2.7.0 released;
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).

Version 2.6.0 of 11/06/2020:
[sources (tar.gz)] [sources (zip)] [32bit enabled pc-linux] [64bit pc-linux] [32bit pc-windows] [64bit pc-windows] [32bit solaris 11 x86] [64bit solaris 11 x86] [32bit enabled intel mac (10.12 or later)] [64bit intel mac (10.12 or later)]

Version 2.5.0 of 03/06/2016:
[sources (tar.gz)] [sources (zip)] [32bit enabled pc-linux] [64bit pc-linux] [32bit pc-windows] [64bit pc-windows] [32bit solaris 11 x86] [64bit solaris 11 x86] [32bit enabled intel mac (10.12 or later)] [64bit intel mac (10.12 or later)]

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.