- Sep 09, 2014
-
-
THIRIOUX Xavier authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@333 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- Sep 05, 2014
-
-
THIRIOUX Xavier authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@332 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- Sep 04, 2014
-
-
THIRIOUX Xavier authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@331 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- Sep 03, 2014
-
-
THIRIOUX Xavier authored
- removed a potential source of bug in scheduler git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@330 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
THIRIOUX Xavier authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@329 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- Sep 02, 2014
-
-
THIRIOUX Xavier authored
- corrected several bugs in inlining - STILL, BUGS REMAINING in inlined code !!??!! git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@328 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
THIRIOUX Xavier authored
- added interface files (.lusi) in the language, that can be compiled on their own, giving an object file (.lusic) and a header file (.h) - modular code generation, from Lustre to C level included. - nice amount of code refactoring git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@326 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- Jul 15, 2014
-
-
THIRIOUX Xavier authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@323 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
THIRIOUX Xavier authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@322 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
THIRIOUX Xavier authored
in order to ease the way .lusi interface files are handled. git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@321 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- Jul 12, 2014
-
-
THIRIOUX Xavier authored
much more simple and efficient. git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@320 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- Jul 11, 2014
-
-
THIRIOUX Xavier authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@319 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
THIRIOUX Xavier authored
weak (but still correct) optimization results. git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@318 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- Jul 10, 2014
-
-
THIRIOUX Xavier authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@317 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
THIRIOUX Xavier authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@316 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
THIRIOUX Xavier authored
tuple expressions - added an algorithm that reuses dead or clock-disjoint variables instead of declaring/using new ones. - NOT carefully tested. Use option -O 3 if you want to give it a try - some output name may change from node to machine code, this point could be discussed... - further optimizations of machine code are now enabled (eg. merging case constructs) git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@315 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- Jul 09, 2014
-
-
Pierre Loic Garoche authored
Moved backends in separate folders git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@313 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- Jul 08, 2014
-
-
Temesghen Kahsai authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@312 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
Temesghen Kahsai authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@311 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
Temesghen Kahsai authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@310 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
THIRIOUX Xavier authored
- typing/clock calculus/normalization now work properly - still, a bug in annot generation (this one is for Ploc !!) in file normalization, line 396 - bug corrected in subtyping - scheduling outcome changed: - variables appearing in a call output are gathered - ease the design of a reusability algorithm - liveness/reusability is still a work in progress git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@309 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- Jul 07, 2014
-
-
THIRIOUX Xavier authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@307 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- Jul 04, 2014
-
-
THIRIOUX Xavier authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@306 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- Jul 03, 2014
-
-
Pierre Loic Garoche authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@303 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
THIRIOUX Xavier authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@302 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- Jul 02, 2014
-
-
Pierre Loic Garoche authored
Merged branches specification_reorg_corelang_parser (see last commit message, moved definitions/functions btw files and changed eexpr type) git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@298 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
Pierre Loic Garoche authored
1. moved type def in lustrespec.ml 2. moved constructor and basic functions in corelang 3. Modified eexpr with prenext quantifiers git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/specification_reorg_corelang_parser@297 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
THIRIOUX Xavier authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@295 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- Jun 27, 2014
-
-
THIRIOUX Xavier authored
could be useful for a finer variable elimination scheme at the Lustre level. to be continued... git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@291 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- Jun 26, 2014
-
-
THIRIOUX Xavier authored
- exact definition of 'useless' may be further refined - display could certainly be improved git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@290 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- Jun 25, 2014
-
-
Pierre Loic Garoche authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@289 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
Pierre Loic Garoche authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/specification_acsl_new_backend@288 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
Pierre Loic Garoche authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@287 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
THIRIOUX Xavier authored
- warnings for unused input/memory variables - optimization of machine code git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@286 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
Pierre Loic Garoche authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/specification_acsl_new_backend@283 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
Pierre Loic Garoche authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@282 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
Pierre Loic Garoche authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/cleaner_backend@281 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
Pierre Loic Garoche authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/cleaner_backend@280 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
Pierre Loic Garoche authored
Still some work on adapating the instruction scheduling git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/cleaner_backend@279 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
Pierre Loic Garoche authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/cleaner_backend@278 041b043f-8d7c-46b2-b46e-ef0dd855326e
-