secc
/
seL4-camkes-tool
mirror of https://github.com/seL4/camkes-tool.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4-camkes-tool/tools
History
Gerwin Klein 47814a1f19 camkes-deps: fully remove orderedset; bump version 
- commit 4f7bca1931 replaced orderedset by the maintained ordered-set,
but did no yet remove the dependency. Since on more recent python
version the dependency install now fails, we are removing it completely.

- make python 3 requirement explicit

To be released on PyPi simultaneously with the next CAmkES release.

Closes #124

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 		2024-07-01 13:54:56 +10:00
..
python-deps camkes-deps: fully remove orderedset; bump version 2024-07-01 13:54:56 +10:00
camkes_lint.py convert to SDPX license tags 2021-02-12 17:24:15 +11:00
camkes_scope.py convert to SDPX license tags 2021-02-12 17:24:15 +11:00
check_deps.py camkes-deps: fully remove orderedset; bump version 2024-07-01 13:54:56 +10:00
ckeywords.c trivial: style 2021-03-18 09:09:09 +11:00
cnode-size-playground.c convert to SDPX license tags 2021-02-12 17:24:15 +11:00
goanna_wrapper.py convert to SDPX license tags 2021-02-12 17:24:15 +11:00
jinja_lint.py convert to SDPX license tags 2021-02-12 17:24:15 +11:00
jinja_pylint.py convert to SDPX license tags 2021-02-12 17:24:15 +11:00
make_isabelle_symbols.py convert to SDPX license tags 2021-02-12 17:24:15 +11:00
sqlite-lint.c convert to SDPX license tags 2021-02-12 17:24:15 +11:00
tpp convert to SDPX license tags 2021-02-12 17:24:15 +11:00