Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / configure.ac @ 53206908

History | View | Annotate | Download (3.17 KB)

# Date Author Comment
53206908 11/26/2015 04:45 PM Xavier Thirioux

major branche merging salsa/mpfr with trunk

9b04601c 08/18/2015 11:51 AM Eric Noulard

Post 1.1 release.
Back to dev version

3fb19815 08/13/2015 04:58 PM Eric Noulard

prepare lustrec 1.1

00b2c9f8 04/08/2015 08:53 AM Pierre-Loïc Garoche

Post Xia dev

ba2f9fa1 04/08/2015 08:50 AM Pierre-Loïc Garoche

Prepare for tagging : Xia version 1.0

545772c4 03/16/2015 08:30 PM Teme Kahsai

Changed configuration and update the horn_backend.ml

bed8ea64 12/09/2014 01:41 PM Pierre-Loïc Garoche

Moved Makefile into src folder

5ae8db15 12/01/2014 11:32 PM Pierre-Loïc Garoche

- Dealt with compiling lusic from distant lusi files.
- Header now do not allow the generation of function previously declared as C prototype