Index of /github/model-checking/kani-vscode-extension/scripts/

../
copyright-exclude                                  04-Aug-2023 22:55                 267
copyright_check.py                                 04-Aug-2023 22:55                4759
run-autopep8.sh                                    04-Aug-2023 22:55                 910
run-clang-format.sh                                04-Aug-2023 22:55                 551
run-copyright-check.sh                             04-Aug-2023 22:55                 578