Skip to content
Snippets Groups Projects
todo.org_archive 10.6 KiB
Newer Older
#    -*- 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".

* TODO Refaire marcher les tests de non-reg qui sont cassés 
   SCHEDULED: <2013-01-07 lun.>
  :PROPERTIES:
  :ARCHIVE_TIME: 2013-01-21 lun. 09:17
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Regressions introduites par Pascal
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:
suites aux modifs de Pascal de l'été 2012
  - State "TODO"       from ""           [2012-10-26 Fri 14:59]

En fait, ce qui est cassé, c'est surtout le -ec puisqu'il n'a pas
rebranché l'expansion de tableau et de noeud.

il a fait 
 - mv tests _tests
 - mkdir tests
 - cp _tests/Makefile tests
 - créer des tests qu'il a mis dans  tests...

* DONE compat pb with array type def
   - State "DONE"       from "WAITING"    [2013-01-21 lun. 09:28]
   - State "STARTED"    from "WAITING"    [2013-01-21 lun. 09:27]
   - State "TODO"       from ""           [2013-01-19 Sat 09:40]
  :PROPERTIES:
  :ARCHIVE_TIME: 2013-01-21 lun. 09:29
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Regressions introduites par Pascal
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: DONE
  :END:
file:test/should_work/broken/pfs.lus::43
./lus2lic -ec -o /tmp/pfs.ec should_work/broken/pfs.lus
 Error in file "/home/jahier/lus2lic/test/should_work/broken/pfs.lus", line 43, col 22 to 22, token '[':
 syntax error

It's not clear it should be valid  v6: i put it into the to_sort dir.

* TODO autoriser les , dans les structures ?
   - State "TODO"       from ""           [2013-01-19 Sat 09:56]
  :PROPERTIES:
  :ARCHIVE_TIME: 2013-01-21 lun. 09:30
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Regressions introduites par Pascal
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:
./lus2lic -o /tmp/Gyro.out should_work/broken/Gyro.lus
 Error in file "/home/jahier/lus2lic/test/should_work/broken/Gyro.lus", line 11, col 42 to 42, token ',':


* TODO mixing v6 packages and v4 implicit package does not work. Should it?
   - State "TODO"       from ""           [2013-01-19 Sat 09:36]
  :PROPERTIES:
  :ARCHIVE_TIME: 2013-01-21 lun. 09:32
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Regressions introduites par Pascal
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:
 ./lus2lic -o /tmp/old_style_and_pack.out should_work/broken/old_style_and_pack.lus
Error in file "/home/jahier/lus2lic/test/should_work/broken/old_style_and_pack.lus", 
line 17, col 1 to 4, token 'node':

file:test/should_work/broken/old_style_and_pack.lus

-> to_sort

* TODO Mettre le sha dans l'affichage de --version
  :PROPERTIES:
  :ARCHIVE_TIME: 2013-01-21 lun. 09:40
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Pas dur
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END: 
car c'est plus facile dans git pour retrouver ses petits
  - State "TODO"       from ""           [2012-10-26 Fri 14:59]

* TODO Changer la facon de numeroter les versions dans lus2lic (faire comme dans lurette)
  :PROPERTIES:
  :ARCHIVE_TIME: 2013-01-21 lun. 09:43
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Vieux trucs (?)
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:
  [2010-11-08 Mon]
* TODO Verifier les boucles combinatoires
  :PROPERTIES:
  :ARCHIVE_TIME: 2013-01-24 Thu 09:13
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Languages issues
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END: 
quand on genere du ec (car ec2c ne fait pas la verif !)
   [2010-06-07 Mon]

On pourrait peut-etre le faire en modifiant celui la : file:src/l2lCheckOutputs.ml ?

* TODO pb d'instance de package ???
   - State "TODO"       from ""           [2013-01-19 Sat 09:43]
  :PROPERTIES:
  :ARCHIVE_TIME: 2013-01-25 Fri 11:25
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Packages, modeles, etc.
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:
 ./lus2lic  -o /tmp/packages.out should_work/broken/packages.lus
 ./lus2lic -ec -o /tmp/packages.ec should_work/broken/packages.lus
 Error in file "/home/jahier/lus2lic/test/should_work/broken/packages.lus", line 22, col 27 to 29, token 'int':
 syntax error

file:test/should_work/broken/packages.lus::22

ok : c'etait juste un pb de syntaxe (depuis toujours vraisemblablement...)

* TODO instanciation de noeuds ne marche pas ? 
   - State "TODO"       from ""           [2013-01-19 Sat 10:02]
  :PROPERTIES:
  :ARCHIVE_TIME: 2013-01-29 Tue 09:37
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Packages, modeles, etc.
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:
./lus2lic -o /tmp/multipar.out should_work/broken/multipar.lus
file:test/should_work/broken/multipar.lus::20
 Error in file "/home/jahier/lus2lic/test/should_work/broken/multipar.lus", line 20, col 12 to 12, token 'g':
 unknown node: g
 known nodes are: sil, bok, gup, lis

FAIL: without any option: ./lus2lic {    -o /tmp/multipar.out should_work/broken/multipar.lus} 
* TODO Condact is not working
  :PROPERTIES:
  :ARCHIVE_TIME: 2013-01-29 Tue 16:31
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Languages issues
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:
 file:test/should_work/broken/cond01.lus
   - State "TODO"       from ""           [2013-01-18 Fri 23:18]
 ./lus2lic -ec -o /tmp/cond01.ec should_work/broken/cond01.lus

 oops: lus2lic internal error
	File "objlinux/l2lExpandMetaOp.ml", line 310, column 4
 when compiling lustre program should_work/broken/cond01.lus