Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ d0d8fe27

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

Latest revisions

# Date Author Comment
d0d8fe27 07/13/2018 11:34 PM Pierre Loic Garoche

Updating dependencies in the READ:E

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