Project

General

Profile

Activity

From 06/04/2014 to 07/03/2014

07/03/2014

10:46 PM Revision 36454535 (lustrec): Merged horn_traces branch
Pierre-Loïc Garoche
10:46 PM Revision af5af1e8 (lustrec): Merged horn_traces branch
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@303 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
10:40 PM Revision 1837ce98 (lustrec): added some infrastructure to ease optimization (reusing vars)
Xavier Thirioux
10:40 PM Revision bb2ca5f4 (lustrec): added some infrastructure to ease optimization (reusing vars)
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@302 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
10:33 PM Revision 562ef8c3 (lustrec): Working version of horn backend with asserts
Be careful: the property checking is the output of the main node!!!! Pierre-Loïc Garoche

07/02/2014

01:38 AM Revision 5984a495 (lustrec): Merged with latest trunk update.
Generation of asserts and traceability file Pierre-Loïc Garoche
05:32 PM Revision 920c31de (lustrec): Merged branches specification_reorg_corelang_parser (see last commit...
Pierre-Loïc Garoche
05:32 PM Revision 99d3df04 (lustrec): Merged branches specification_reorg_corelang_parser (see last commit...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@298 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
05:29 PM Revision 0038002e (lustrec): Prepared first stage of code reorg:
1. moved type def in lustrespec.ml
2. moved constructor and basic functions in corelang
3. Modified eexpr with prenex...
Pierre-Loïc Garoche
05:29 PM Revision 01c7d5e1 (lustrec): Prepared first stage of code reorg:
1. moved type def in lustrespec.ml
2. moved constructor and basic functions in corelang
3. Modified eexpr with prenex...
Pierre-Loïc Garoche
04:37 PM Revision 0e1cd8db (lustrec): Parsed the annotation. Produce tracability information for horn backend
Pierre-Loïc Garoche
04:14 PM Revision 7ecdb0aa (lustrec): more steps toward reusing variables (dead ones + clock disjoint ones)
Xavier Thirioux
04:14 PM Revision add75bcb (lustrec): more steps toward reusing variables (dead ones + clock disjoint ones)
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@295 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux

07/01/2014

01:16 PM Revision 5f747d08 (lustrec): New branch to add traceability
Pierre-Loïc Garoche

06/27/2014

09:10 PM Revision 8517c831 (lustrec): Revert casality to r288
Pierre-Loïc Garoche
05:19 PM Revision 74dd308c (lustrec): On going work: it does not compile!
Pierre-Loïc Garoche
04:29 PM Revision d96d54ac (lustrec): added construction of a fanin table for local variables of a node.
could be useful for a finer variable elimination scheme at the Lustre level.
to be continued...
Xavier Thirioux
04:29 PM Revision 8a183477 (lustrec): added construction of a fanin table for local variables of a node.
could be useful for a finer variable elimination scheme at the Lustre level.
to be continued...
git-svn-id: https:...
Xavier Thirioux

06/26/2014

04:48 PM Revision 9aaee7f9 (lustrec): added warnings for useless variables (at verbose level 1)
- exact definition of 'useless' may be further refined
- display could certainly be improved
Xavier Thirioux
04:48 PM Revision 3bfed7f9 (lustrec): added warnings for useless variables (at verbose level 1)
- exact definition of 'useless' may be further refined
- display could certainly be improved
git-svn-id: https:/...
Xavier Thirioux

06/25/2014

05:38 PM Revision 54adb917 (lustrec): Merged with new specification backend: only eacsl makefile for the n...
Pierre-Loïc Garoche
05:38 PM Revision 54e22304 (lustrec): Merged with new specification backend: only eacsl makefile for the n...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@289 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
05:37 PM Revision e95470b3 (lustrec): Merged trunk updates
Pierre-Loïc Garoche
05:37 PM Revision d4107cf2 (lustrec): Merged trunk updates
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/specification_acsl_new_backend@288 041b04... Pierre-Loïc Garoche
05:00 PM Revision 587cdc0d (lustrec): Solved Bug in horn backend: when main node is stateless
Pierre-Loïc Garoche
05:00 PM Revision 4162f7a0 (lustrec): Solved Bug in horn backend: when main node is stateless
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@287 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
02:33 PM Revision c1b14ce6 (lustrec): work in progress:
- warnings for unused input/memory variables
- optimization of machine code
Xavier Thirioux
02:33 PM Revision 0e1049dc (lustrec): work in progress:
- warnings for unused input/memory variables
- optimization of machine code
git-svn-id: https://cavale.enseeiht.fr...
Xavier Thirioux
01:11 PM Revision cee0feb8 (lustrec): New branch to copy the specgeneration using the new backend functors
Pierre-Loïc Garoche
01:11 PM Revision 2516ebdf (lustrec): New branch to copy the specgeneration using the new backend functors
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/specification_acsl_new_backend@283 041b04... Pierre-Loïc Garoche
01:06 PM Revision 56484623 (lustrec): Merged the new backend split into trunk
Pierre-Loïc Garoche
01:06 PM Revision bc0e1cec (lustrec): Merged the new backend split into trunk
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@282 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
12:47 PM Revision 713176a4 (lustrec): Specialized the prefix/postfix modifiers through functors arguments
Pierre-Loïc Garoche
12:47 PM Revision cefc3744 (lustrec): Specialized the prefix/postfix modifiers through functors arguments
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/cleaner_backend@281 041b043f-8d7c-46b2-b4... Pierre-Loïc Garoche
11:13 AM Revision 522938b5 (lustrec): Split all functions of C backends in separate files
Pierre-Loïc Garoche
11:13 AM Revision cd670fe1 (lustrec): Split all functions of C backends in separate files
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/cleaner_backend@280 041b043f-8d7c-46b2-b4... Pierre-Loïc Garoche
10:54 AM Revision 49ddf66d (lustrec): Added the lustre backend
Still some work on adapating the instruction scheduling Pierre-Loïc Garoche
10:54 AM Revision b84a138e (lustrec): Added the lustre backend
Still some work on adapating the instruction scheduling
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_c...
Pierre-Loïc Garoche
10:15 AM Revision d2be420e (lustrec): Moved c_backend in separate folder
Pierre-Loïc Garoche
10:15 AM Revision 13eb21df (lustrec): Moved c_backend in separate folder
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/cleaner_backend@278 041b043f-8d7c-46b2-b4... Pierre-Loïc Garoche
08:20 AM Revision a77bd1e3 (lustrec): Solved bug in optimization of machine code: output variable def shou...
Pierre-Loïc Garoche
08:20 AM Revision 8df90dd3 (lustrec): Solved bug in optimization of machine code: output variable def shou...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@277 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
07:45 AM Revision 7130028e (lustrec): Solved local var name bugs for stateless nodes as outlined by Teme
Pierre-Loïc Garoche
07:45 AM Revision bd3ef34a (lustrec): Solved local var name bugs for stateless nodes as outlined by Teme
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@276 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

06/24/2014

09:53 PM Revision 6e73c87e (lustrec): Added branch to separate code gen/file creation/spec/proof
Pierre-Loïc Garoche
09:53 PM Revision 652ac62c (lustrec): Added branch to separate code gen/file creation/spec/proof
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/cleaner_backend@275 041b043f-8d7c-46b2-b4... Pierre-Loïc Garoche
04:30 PM Revision 7a6b5deb (lustrec): Mini bug solved: do not unfold array constants
Pierre-Loïc Garoche
04:30 PM Revision 429ab729 (lustrec): Mini bug solved: do not unfold array constants
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@273 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
03:57 PM Revision 3ab9437b (lustrec): Missing files
Pierre-Loïc Garoche
03:57 PM Revision cf78a589 (lustrec): Missing files
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/simplifier@272 041b043f-8d7c-46b2-b46e-ef... Pierre-Loïc Garoche
03:57 PM Revision 59294251 (lustrec): Restructured the main: call to optimization, scheduling performed ou...
Merge Xavier last commits
Unfinished lustre backend
Pierre-Loïc Garoche
03:57 PM Revision c1adf235 (lustrec): Restructured the main: call to optimization, scheduling performed ou...
Merge Xavier last commits
Unfinished lustre backend
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compi...
Pierre-Loïc Garoche
03:16 PM Revision db1c5c00 (lustrec): Extracted scheduling from machine code computation
Pierre-Loïc Garoche
03:16 PM Revision 88486aaf (lustrec): Extracted scheduling from machine code computation
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@270 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
01:54 PM Revision 1ad092fb (lustrec): Create a Step call only for functions that are not in basic lib
Pierre-Loïc Garoche
01:54 PM Revision 6d89b953 (lustrec): Create a Step call only for functions that are not in basic lib
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@269 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

06/23/2014

09:56 AM Revision fa0db9d5 (lustrec): - bug correction (regression from previous versions !) introduced
in C code generated from relational operators. Xavier Thirioux
09:56 AM Revision 25b4311f (lustrec): - bug correction (regression from previous versions !) introduced
in C code generated from relational operators.
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/t...
Xavier Thirioux

06/20/2014

04:59 PM Revision 6b4d172f (lustrec): - refactorization of typing code (simpler subtyping rules)
- simplification of clock calculus (may be still buggy, work in progress)
no impact on unclocked programs.
Xavier Thirioux
04:59 PM Revision 6afa892a (lustrec): - refactorization of typing code (simpler subtyping rules)
- simplification of clock calculus (may be still buggy, work in progress)
no impact on unclocked programs.
git-s...
Xavier Thirioux

06/17/2014

12:01 AM Revision fa7dd986 (lustrec): Branch to develop (1) traces in variable names for horn backend (2) ...
Pierre-Loïc Garoche
11:56 PM Revision 839ca600 (lustrec): Update on the test script
Pierre-Loïc Garoche
11:56 PM Revision f01a1af8 (lustrec): Update on the test script
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@265 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

06/12/2014

05:53 PM Revision f6fa97f9 (lustrec): clean handling of undefined node application
Xavier Thirioux
05:53 PM Revision 719f9992 (lustrec): clean handling of undefined node application
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@261 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
02:08 PM Revision 5b5625e1 (lustrec): Updated typing error
Pierre-Loïc Garoche
02:08 PM Revision 870420a0 (lustrec): Updated typing error
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@260 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
 

Also available in: Atom