Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ a0c92fa8

Name Size Revision Age Author Comment
  data-test 5c0d6e4e over 3 years Christophe Garion json-parser: more tests with single variables
  doc 73ccaf2f over 2 years Pierre-Loïc Garoche Merge branch 'cocospec' of https://cavale.ensee...
  include 8d164031 over 1 year Pierre-Loïc Garoche [MPFR] add more functions and better treatment ...
  share 5c3b45a0 over 2 years Pierre-Loïc Garoche Lustre test gen mutation: bug solved. The path ...
  src a0c92fa8 over 1 year Pierre-Loïc Garoche printing nodes + more progress on seal export
.gitignore 161 Bytes e7b4ba42 over 3 years Christophe Garion add files in gitignore
.merlin 912 Bytes ae7d913d over 2 years Pierre-Loïc Garoche Merlin files
.ocaml-config.sh 335 Bytes e548bb75 about 6 years lememta smaller amount of compilers
.travis.yml 1.66 KB e057dd08 over 4 years Teme Kahsai adjusting travis
AUTHORS 244 Bytes ec8fc65e over 2 years Pierre-Loïc Garoche configure.ac tuning
INSTALL 290 Bytes 75a7b65b about 2 years Garoche install notes
LICENSE-LGPL.txt 25.8 KB 22fe1c93 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile-lustresf.in 142 Bytes 3b4b7a2e over 3 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 3.63 KB fb716d2c over 2 years Pierre-Loïc Garoche Some autoconf update
README.lustrec 991 Bytes 7bfb18df about 6 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 1023 Bytes 0980686c almost 2 years Pierre-Loïc Garoche Seal deps + Z3 pin opam
ReleaseProcess.txt 1.68 KB dd74ca16 over 4 years Frederic Boniol Document release process
TODO.org 11.1 KB f4cba4b8 about 2 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
configure.ac 9.87 KB 3209838a almost 2 years Pierre-Loïc Garoche configure.ac
opam 1.36 KB 222db658 over 2 years Pierre-Loïc Garoche New url in opam file
opam.in 1.37 KB a01cb3a9 over 2 years Pierre-Loïc Garoche New archive for 1.6
svnignore 103 Bytes 22fe1c93 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
a0c92fa8 01/27/2020 04:24 PM Pierre-Loïc Garoche

printing nodes + more progress on seal export

8d164031 12/09/2019 04:43 PM Pierre-Loïc Garoche

[MPFR] add more functions and better treatment of print output variables in main.c

4e9ba094 12/09/2019 04:42 PM Pierre-Loïc Garoche

temporary changed in the expression printer

c4521397 12/09/2019 09:53 AM Pierre-Loïc Garoche

preserving types/clocks when possible

f3574a72 11/21/2019 03:49 AM Pierre-Loïc Garoche

Moved some code

04a188ec 11/21/2019 03:45 AM Pierre-Loïc Garoche

- Refactored Error exception and messages
- Bugs in partial evaluation for equalities among bool constants
and a nice recursive call generating a stack overflow! Now solved
- Setup a timeout for z3 in seal
- Better log for seal

ea758c12 11/20/2019 08:57 PM Pierre-Loïc Garoche

Commenting out unused variables

1147e80a 11/20/2019 08:57 PM Pierre-Loïc Garoche

Array access: solved issues in C backend when basic operations in array access dimensions. Also better handling in EMF, ie further normalization through new equations

c2db420f 11/20/2019 05:09 PM Pierre-Loïc Garoche

comment some code to avoid warning at compile time

9b2c037f 11/20/2019 04:42 PM Pierre-Loïc Garoche

solved bug 91 on cavale: spurious commas in emf backend

View all revisions | View revisions

Also available in: Atom