adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

autocorres: update tools for Isabelle2019 release

This commit is contained in:
Japheth Lim 2019-09-05 12:41:50 +10:00
parent d00426a669
commit 4f0b0558c3
3 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/autocorres/tools/release.py
View File

@ -305,7 +305,7 @@ end
print("Generating C parser grammar files...")
subprocess.check_call(['make', 'c-parser-deps'], cwd=os.path.join(c_parser_working_dir, "src", "c-parser"))
shutil.move(os.path.join(c_parser_working_dir, "src", "c-parser"), os.path.join(target_dir, "c-parser"))
shutil.move(os.path.join(c_parser_working_dir, "README"), os.path.join(target_dir, "c-parser", "README"))
shutil.move(os.path.join(c_parser_working_dir, "README.md"), os.path.join(target_dir, "c-parser", "README.md"))
shutil.move(os.path.join(c_parser_working_dir, "doc", "ctranslation.pdf"), os.path.join(target_dir, "c-parser", "doc", "ctranslation.pdf"))
# Double-check our theory dependencies.

1
tools/autocorres/tools/release_files/AUTOCORRES_FILES
View File

@ -86,7 +86,6 @@ autocorres_util.ML:
utils.ML:
program_info.ML:
function_info.ML:
mkterm_antiquote.ML:
trace_antiquote.ML:
autocorres_trace.ML:
Utility libraries used by the auto-corres tools. The former includes

7
tools/autocorres/tools/release_files/ChangeLog
View File

@ -1,3 +1,10 @@
AutoCorres 1.6 (5 September 2019)
--------------
* Isabelle2019 edition of both AutoCorres and the C parser.
* Word abstraction has been extended to C bitwise operators.
AutoCorres 1.5 (10 September 2018)
--------------