diff options
| author |  rustanleino <unknown> | 2010-10-22 01:34:13 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-10-22 01:34:13 +0000 |
| commit | 75affe5a214df74d2927785d666fbe3d7871e867 (patch) | |
| tree | 2c849dc5fea8ea7e0406ab03d9c622d47909bf9a /Binaries/PrepareBoogieZip.bat | |
| parent | 7b2e81b5f228e09feaedd215c7d2fc7eed0ffe1c (diff) | |
Miscellaneous changes:
* Also copy CodeContractExtender in PrepareBoogieZip.bat
* Added some comments and a new program in Test/textbook
* Included refinement keywords in Chalice emacs mode
* Used assignment instead of spec statement in DuplicatesVideo.chalice
Diffstat (limited to 'Binaries/PrepareBoogieZip.bat')
| -rw-r--r-- | Binaries/PrepareBoogieZip.bat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Binaries/PrepareBoogieZip.bat b/Binaries/PrepareBoogieZip.bat index 4c73ab2a..20b0898e 100644 --- a/Binaries/PrepareBoogieZip.bat +++ b/Binaries/PrepareBoogieZip.bat @@ -12,6 +12,7 @@ for %%f in ( Basetypes.dll Basetypes.pdb Boogie.exe Boogie.pdb Core.dll Core.pdb + CodeContractsExtender.dll CodeContractsExtender.pdb Dafny.exe Dafny.pdb DafnyPipeline.dll DafnyPipeline.pdb Graph.dll Graph.pdb |