verimag issueshttps://gricad-gitlab.univ-grenoble-alpes.fr/groups/verimag/-/issues2021-09-08T10:18:16+02:00https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa/-/issues/24Compare and Contrast Essay - An Ultimate Writing Guide - 2021 Guide2021-09-08T10:18:16+02:00Ghost UserCompare and Contrast Essay - An Ultimate Writing Guide - 2021 Guide[Compare_and_Contrast_Essay_-_An_Ultimate_Writing_Guide_-_2021_Guide.pdf](/uploads/8751f07af78af58f24d1e57f3d60e565/Compare_and_Contrast_Essay_-_An_Ultimate_Writing_Guide_-_2021_Guide.pdf)[Compare_and_Contrast_Essay_-_An_Ultimate_Writing_Guide_-_2021_Guide.pdf](/uploads/8751f07af78af58f24d1e57f3d60e565/Compare_and_Contrast_Essay_-_An_Ultimate_Writing_Guide_-_2021_Guide.pdf)https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/tempo/multidimensional_search/-/issues/1Cleaning code2022-07-20T09:08:19+02:00EXT José Ignacio Requeno JaraboCleaning code@mambakaa :
- [ 1 ] Please, could you remove local paths in source code? It could break automatic tests. Besides the ParetoLib code is public, so it should be as clean as possible. See [1](https://gricad-gitlab.univ-grenoble-alpes.fr/ver...@mambakaa :
- [ 1 ] Please, could you remove local paths in source code? It could break automatic tests. Besides the ParetoLib code is public, so it should be as clean as possible. See [1](https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/tempo/multidimensional_search/-/blob/akshayUpdateClean/ParetoLib/Oracle/OracleEpsSTLe.py#L100)
- [ 2 ] This is the 'print' format for python 2. Please, use 'print("blabla")' format, which is compatible both for python 2 and python 3.x. See [2](https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/tempo/multidimensional_search/-/blob/9c1f57863d3fe341950205517cbd7e988ccb74de/ParetoLib/Search/ParSearch.py#L132)
- [ 3 ] Please, add/fix tag annotations in new functions in a similar way to this format: See [3](https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/tempo/multidimensional_search/-/blob/9c1f57863d3fe341950205517cbd7e988ccb74de/ParetoLib/Search/ParSearch.py#L154). It helps for readability, type fixing within the IDE, and easy cythonization.
- [ 4 ] We should also discuss the structure of the 'example' folder. Too many examples/files over there. Maybe, should we move some of these files to 'Tests'?Akshay MambakamAkshay Mambakamhttps://gricad-gitlab.univ-grenoble-alpes.fr/verimag/tempo/multidimensional_search/-/issues/4[GUI] Resize elements when maximizing window2022-07-22T14:05:49+02:00EXT José Ignacio Requeno Jarabo[GUI] Resize elements when maximizing windowhttps://gricad-gitlab.univ-grenoble-alpes.fr/verimag/tempo/multidimensional_search/-/issues/8[GUI] Return the Boolean signal when running the evaluation2022-07-23T13:08:37+02:00EXT José Ignacio Requeno Jarabo[GUI] Return the Boolean signal when running the evaluationhttps://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6/-/issues/9Error when Local variables have a parametric type2024-01-19T13:20:39+01:00EXT wang yongError when Local variables have a parametric type```
node reverse<<type t; const size: int>>(array: t ^ size) returns (res: t ^ size);
var tem: t ^ 1;
let
tem[0] = array[size - 1];
res = with (size = 1) then array else tem | reverse<<int, size - 1>>(array[0 .. size - 2]);
tel;
n...```
node reverse<<type t; const size: int>>(array: t ^ size) returns (res: t ^ size);
var tem: t ^ 1;
let
tem[0] = array[size - 1];
res = with (size = 1) then array else tem | reverse<<int, size - 1>>(array[0 .. size - 2]);
tel;
node reverse_int = reverse<<int, 5>>;
```
when I run the code above with command "**lv6 predefine.lus -n reverse_int -exec**", it raises an error "**Error: unknown type (t)**".
I think it is because Local variables cannot have a parametric type.Do I understand it correcly?