Unverified Commit edc25f48 authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

add todo list

parent bd022523

README.md

+8 −2
Original line number Diff line number Diff line
@@ -62,7 +62,7 @@ positional arguments: 


options:

  -h, --help            show this help message and exit

  --verbose, -V         Increase verbosity level (default: WARNING. -V: INFO. -VV: DEBUG. -VVV TRACE).

  --verbose, -V         Increase verbosity level (default: INFO. -V: DEBUG. -VV: TRACE.).

  --strict              Only consider release branches.

  -s, --sources DIR     Path to the folder where projects are stored/cloned (default: target/sources relative to the project directory).

  --skip-fetch          Skip git fetch for source folders.
@@ -101,3 +101,9 @@ The SAREF pypeline is a port to python of the [SAREF pipeline](https://labs.etsi 
The content of this repository is licensed under the terms of the BSD-3-Clause LICENSE:



  https://opensource.org/licenses/BSD-3-Clause



## TODO



Known limitations:



* [] ts generation: missing general axioms