mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
change mode to executable to some py files
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
parent
4753d93bb7
commit
d3c00ca2c3
0
scripts/mk_consts_files.py
Normal file → Executable file
0
scripts/mk_consts_files.py
Normal file → Executable file
0
scripts/mk_def_file.py
Normal file → Executable file
0
scripts/mk_def_file.py
Normal file → Executable file
0
scripts/mk_gparams_register_modules_cpp.py
Normal file → Executable file
0
scripts/mk_gparams_register_modules_cpp.py
Normal file → Executable file
0
scripts/mk_install_tactic_cpp.py
Normal file → Executable file
0
scripts/mk_install_tactic_cpp.py
Normal file → Executable file
0
scripts/mk_mem_initializer_cpp.py
Normal file → Executable file
0
scripts/mk_mem_initializer_cpp.py
Normal file → Executable file
0
scripts/mk_pat_db.py
Normal file → Executable file
0
scripts/mk_pat_db.py
Normal file → Executable file
0
scripts/pyg2hpp.py
Normal file → Executable file
0
scripts/pyg2hpp.py
Normal file → Executable file
0
scripts/update_api.py
Normal file → Executable file
0
scripts/update_api.py
Normal file → Executable file
Loading…
Reference in a new issue