You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This release addressed the usability of the `--version` option, in particular:
4
-
5
-
* In addition to the version of the `polystat-cli` itself, `polystat --version` also prints the following:
6
-
*`j2eo` version (the one when no `--j2eoVersion` is specified)
7
-
*`py2eo` version
8
-
*`odin` version
9
-
*`far` version
10
-
11
-
* The names of downloaded `j2eo` jars now include the version downloaded, e.g. `j2eo-v0.5.3.jar`.
12
-
13
-
* The `--version` commandline option now has a shorter alternative `-v`, so that `polystat --version` and `polystat -v` are equivalent.
14
-
15
-
Besides, the names of analyzers where changed according to needs of @APotyomkin. You may want to update the config files. See the updated names by typing `polystat list`.
1
+
## Polystat v0.1.10
2
+
3
+
This release mostly changes the structure of the files of the `tmp` directory.
4
+
The following changes were made:
5
+
* The generated `.eo` code goes into the `tmp/eo` subdirectory.
6
+
* The `.xml` XMIR files generated by EO parser from FaR analyzer go into the `tmp/xmir` subdirectory.
7
+
* The code read from stdin is written to `tmp/stdin.<ext>` where `ext` is the relevant extension (`.eo` for EO files, etc.)
8
+
* The code read from a single file is copied to `tmp/singleFile/<filename>`
0 commit comments