Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / basic_library.ml @ 587cdc0d

History | View | Annotate | Download (7.28 KB)

# Date Author Comment
6b4d172f 06/20/2014 04:59 PM Xavier Thirioux

- refactorization of typing code (simpler subtyping rules)
- simplification of clock calculus (may be still buggy, work in progress)
no impact on unclocked programs.

f6fa97f9 06/12/2014 05:53 PM Xavier Thirioux

clean handling of undefined node application

14d694c7 05/22/2014 10:29 AM Xavier Thirioux

bug correction in homomorphic extension

64aa99c4 02/28/2014 02:05 PM Pierre-Loïc Garoche

Merge trunk modif in branch

b63536a0 02/28/2014 10:39 AM Pierre-Loïc Garoche

Minor bugs

9334747d 02/24/2014 04:26 PM Pierre-Loïc Garoche

Fixed bug on the main part

04a7df69 02/21/2014 08:37 AM Pierre-Loïc Garoche

In the middle of the coding process. Just pushing thinks

f485f585 11/14/2013 12:15 PM Pierre-Loïc Garoche

- Renamed the only target of the generated makefile
- Solved bug: xor are now printed as bitwise xor in c : a ^ b and not a xor b.

f22632aa 10/22/2013 10:39 AM Pierre-Loïc Garoche

Merge (if it works) of the lustre interfaces branche providing lusi files into trunk

0cbf0839 10/02/2013 08:13 AM Pierre-Loïc Garoche

Moved files to trunk in lustre_compiler