todo.org_archive

#    -*- mode: org -*-


Archived entries from file /home/jahier/lus2lic/todo.org

* TODO Mettre à jour le tout nouveau file:README.org wrt src
  SCHEDULED: <2012-12-10 Mon>
  - State "TODO"       from ""           [2012-12-10 Mon 17:02]
  :PROPERTIES:
  :ARCHIVE_TIME: 2012-12-13 Thu 15:37
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Urgent
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:

* TODO Renommer tous les modules et faire du ménage
  SCHEDULED: <2012-12-10 Mon>
  - State "TODO"       from ""           [2012-12-10 Mon 16:55]
  :PROPERTIES:
  :ARCHIVE_TIME: 2012-12-13 Thu 15:37
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Urgent
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:

* TODO rebrancher le nodeExpand.ml et structArrayExpand.ml
   SCHEDULED: <2012-12-20 Thu>
   - State "TODO"       from ""           [2012-12-10 Mon 16:55]
  :PROPERTIES:
  :ARCHIVE_TIME: 2012-12-20 Thu 17:23
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Urgent
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:

file:src/l2lExpandNodes.mli
file:src/l2lExpandArrays.mli

que Pascal les a débranché lors de son ménage d'été.

* TODO Pascal a shunté mon LicName dans split. Avait-il (une bonne) raison ?
   SCHEDULED: <2012-12-20 Thu>
   - State "TODO"       from ""           [2012-12-17 Mon 16:37]
  :PROPERTIES:
  :ARCHIVE_TIME: 2012-12-20 Thu 17:23
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Urgent
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:

par ex, file:~/lus2lic/src/l2lExpandArrays.ml::50
dois-je faire comme lui ou comme avant ?

* TODO le mode ec genere tous les noeuds (ce que n'aime pas ec2c)
  - State "TODO"       from ""           [2013-01-11 Fri 09:33]
  :PROPERTIES:
  :ARCHIVE_TIME: 2013-01-11 Fri 18:15
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Regressions introduites par Pascal
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:

* TODO il ne faut pas générer l'alias de type en ec
   - State "TODO"       from ""           [2013-01-11 Fri 09:41]
  :PROPERTIES:
  :ARCHIVE_TIME: 2013-01-11 Fri 18:15
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Regressions introduites par Pascal
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:
file:/tmp/t0.ec

* TODO y'a un List.fold_left2 qui plante
   - State "TODO"       from ""           [2013-01-11 Fri 10:08]
  :PROPERTIES:
  :ARCHIVE_TIME: 2013-01-16 Wed 16:30
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Regressions introduites par Pascal
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:

oops: lus2lic internal error
File "objlinux/l2lExpandNodes.ml", line 131, column 4
when compiling lustre program should_work/test.lus
file:test/should_work/test.lus
file:~/lus2lic/src/l2lExpandNodes.ml::131


* TODO Ya un probleme avec ce fichier lustre (compilait avant)
   - State "TODO" from "" [2013-01-07 Mon 16:20]
  :PROPERTIES:
  :ARCHIVE_TIME: 2013-01-17 Thu 10:57
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Urgent
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:

../objlinux/lus2lic   should_work/lionel/triSel.lus   -en -ei -o /tmp/xxx.lus

* TODO le -o ne fonctionne plus
  SCHEDULED: <2013-01-07 Mon>
  - State "TODO"       from ""           [2013-01-07 Mon 14:28]
  :PROPERTIES:
  :ARCHIVE_TIME: 2013-01-17 Thu 10:57
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Urgent
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:

* TODO pb dans la verif de définition unique de variable en mode -en
   - State "TODO"       from ""           [2013-01-11 Fri 09:49]
  :PROPERTIES:
  :ARCHIVE_TIME: 2013-01-17 Thu 10:58
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Regressions introduites par Pascal
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:

file:~/lus2lic/testsuite/should_work/heater_control.lus::39

* TODO Regression dans le mode -ec
   - State "TODO"       from ""           [2013-01-11 Fri 09:33]
  :PROPERTIES:
  :ARCHIVE_TIME: 2013-01-17 Thu 10:59
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Regressions introduites par Pascal
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:

undefined new var :
file:testsuite/should_work/Gyroscope2.lus
file:/home/jahier/lus2lic/testsuite/should_work/deSimone.lus::47

var defined twice:
file:/home/jahier/lus2lic/testsuite/should_work/heater_control.lus

Peut-etre est-ce  lié au pb  précédent ? plus  précisement, peut-etre
que le bug existait  mais qu'on ne le voyait pas  car tous les noeuds
n'étaient pas générés ?

Quoiqu'il en soit, c'est interessant de tester tous les noeuds ce que
ne font pas mes scripts tcl en l'état.

* TODO internal error in l2lExpandArrays.ml with -esa
   - State "TODO"       from ""           [2013-01-18 Fri 10:48]
  :PROPERTIES:
  :ARCHIVE_TIME: 2013-01-18 Fri 18:01
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Regressions introduites par Pascal
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:
./lus2lic -esa -o /tmp/ply02.ec  should_work/broken/ply02.lus

 oops: lus2lic internal error
File "objlinux/l2lExpandArrays.ml", line 213, column 14
 when compiling lustre program file:test/should_work/broken/ply02.lus

nb : le mode -en ne marche pas bas bien non plus...

 ./lus2lic -en -o /tmp/ply02.ec  should_work/broken/ply02.lus
 Error in file "/home/jahier/lus2lic/test/should_work/broken/ply02.lus", line 8, col 2 to 2, token 'o': 
 Variable o is already defined.

ok : it was dut to a bug in l2lRmPoly.ml: var types were not susbtituted in "Lic.left".