Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  data-test 5c0d6e4e over 7 years Christophe Garion json-parser: more tests with single variables
  doc 58d610e1 over 6 years Xavier Thirioux corrected the division conversion scheme
  include 4d841db7 over 6 years Bourbouh add tanh
  share 76bed200 about 7 years Pierre-Loïc Garoche Added cmake basic functions Improved the Cmake ...
  src 83dc064f over 6 years Pierre-Loïc Garoche Byte/String bug reappeared
.gitignore 161 Bytes e7b4ba42 over 7 years Christophe Garion add files in gitignore
.ocaml-config.sh 335 Bytes e548bb75 almost 10 years lememta smaller amount of compilers
.travis.yml 1.66 KB e057dd08 about 8 years Teme Kahsai adjusting travis
AUTHORS 165 Bytes 1da8b334 almost 10 years Pierre-Loïc Garoche Add teme git-svn-id: https://cavale.enseeiht....
LICENSE-LGPL.txt 25.8 KB 22fe1c93 over 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
LICENSE-kind.md 10.6 KB 12249005 over 6 years Pierre-Loïc Garoche Kind licence file
Makefile-lustresf.in 142 Bytes 3b4b7a2e about 7 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 3.46 KB 8446bf03 almost 7 years Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
README.lustrec 991 Bytes 7bfb18df almost 10 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 678 Bytes 5573fee2 over 8 years Teme Kahsai new readme
ReleaseProcess.txt 1.68 KB dd74ca16 about 8 years Frederic Boniol Document release process
TODO.org 2.3 KB 53472c83 almost 7 years Pierre-Loïc Garoche Updated TODO Changed selection of files in odocl
configure.ac 6.38 KB c1c4263c over 6 years Pierre-Loïc Garoche Preparing release of 1.5 Xia/Shao Kang
svnignore 103 Bytes 22fe1c93 over 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
4d841db7 07/24/2018 02:38 AM Bourbouh

add tanh

83dc064f 07/13/2018 08:05 PM Pierre-Loïc Garoche

Byte/String bug reappeared

f9d0c175 07/13/2018 07:52 PM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec

c1c4263c 07/13/2018 07:44 PM Pierre-Loïc Garoche

Preparing release of 1.5 Xia/Shao Kang

2d2144c0 07/13/2018 05:18 PM Pierre-Loïc Garoche

Solved bug#57: issues when indirect init of a pre in horn-traces

bc9fd714 07/12/2018 07:35 PM Pierre-Loïc Garoche

Temporily disabling Mehnir as a parser.

0bd19a92 05/31/2018 04:39 PM Xavier Thirioux

bug wrt normalization. Didn't take clock into account.

bec3cf3d 05/31/2018 04:35 PM Xavier Thirioux

strange bug (ill-typed source) wrt Bytes/String conversion

cff64531 05/31/2018 04:33 PM Xavier Thirioux

bug in CSE, was disregarding clock

885b2896 05/31/2018 02:59 PM Xavier Thirioux

Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable

View all revisions | View revisions

Also available in: Atom