Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 9bdfc99f

Name Size Revision Age Author Comment
  doc fdeaac38 over 11 years Pierre-Loïc Garoche Lustre interfaces: lusi files are generated and...
  include 9bdfc99f about 11 years Xavier Thirioux corrected bug in arrow macros names, added stor...
  src 9bdfc99f about 11 years Xavier Thirioux corrected bug in arrow macros names, added stor...
  test 6bab3787 about 11 years Xavier Thirioux In order to export any type of constants, moved...
LICENSE-LGPL.txt 25.8 KB 0cbf0839 over 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile 702 Bytes 0cbf0839 over 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
README.lustrec 802 Bytes 0cbf0839 over 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
TODO.org 1.13 KB 0cbf0839 over 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
_oasis 654 Bytes c6acbdaa about 11 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
_tags 701 Bytes c6acbdaa about 11 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
configure 364 Bytes c6acbdaa about 11 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
myocamlbuild.ml 13.7 KB c6acbdaa about 11 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
setup.ml 154 KB c6acbdaa about 11 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
svn_version.sh 558 Bytes c6acbdaa about 11 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
svnignore 103 Bytes 0cbf0839 over 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
9bdfc99f 03/06/2014 03:39 PM Xavier Thirioux

corrected bug in arrow macros names, added storage attribute for static alloc macros, option -d now creates the destination directory if needed, with current dir as file permissions
c6acbdaa 03/05/2014 04:32 PM Xavier Thirioux

answer to #feature 50:
- arrows are now factorized out and become part of include
as files arrow.h and arrow.c
- no more arrows in generated code
- compiling and linking arrow.c is only necessary
in case of dynamic allocation
- version now includes installation prefix (for the standard lib)...
6bab3787 03/05/2014 02:35 PM Xavier Thirioux

In order to export any type of constants, moved type definitions from .c to .h
b3202935 03/04/2014 02:41 PM Eric Noulard

Generate extern declarations for constant as well.
3e79b3a5 03/01/2014 03:38 PM Xavier Thirioux

- stupid svn had removed a file, again
c518d082 03/01/2014 03:37 PM Xavier Thirioux

- added generation of clock information in interface (.lusi) files
- added clock checking between interface and implementation files
2842f7ca 03/01/2014 12:01 AM Pierre-Loïc Garoche

Reenabled the generation of witnesses for inline process.
Systematic use of the build path
626e6f03 02/28/2014 11:59 PM Pierre-Loïc Garoche

Updated script. Does not seem to be fully functional yet.
3e36d4e0 02/28/2014 11:59 PM Pierre-Loïc Garoche

Added default ensures statements
7f611a35 02/28/2014 05:09 PM Xavier Thirioux

- added dummy_lib.lusi (accidentally removed !?)

View all revisions | View revisions

Also available in: Atom