Tags: Dargones/dafny
Tags
Update RELEASE.md (dafny-lang#3119) Make it clear in RELEASE.md that release notes might not need incrementing. This message was lost in dafny-lang@7206268 <small>By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>
Updating the dafny version of the windows build to test
dafny-lang#834: Adding more CI tests, across more platforms (dafny-la… …ng#835) * Adding more CI tests * Adding more CI tests * removing mac from gradle * Adding install of brew * Adding install of brew * Adding a check * Adding a check * Adding pandoc back * Adding a release test * Adding a release test - fixed name * Improving script * Improving script - 2 * improving script - 3 * improving script - 4 * Adding more release tests * Fixing scripts - 1 * Fixing scripts - 2 * Fixing scripts - 3 * Fixing scripts - 4 * Fixing scripts - 5 * Fixing scripts - 6 * Fixing scripts - 7 * Fixing scripts - 8 * Fixing scripts - 9 * Fixing scripts - 10 * Fixing scripts - 11 * Fixing scripts - 12 * Fixing scripts - 13 * Temporarily adding DafnyRuntime.jar * Fixing scripts - 14 * Fixing scripts - 15 * Fixing scripts - 16 * Fixing scripts - 17 * Fixing scripts - 18 * Fixing scripts - 19 * Fixing scripts - 20 * Fixing scripts - 21 * Fixing scripts - 22 * Fixing scripts - 23 * Fixing scripts - 24 * Fixing scripts - 25 * Fixing scripts - 26 * Fixing scripts - 27 * Fixing scripts - 28 * Fixing scripts - 29 * Fixing scripts - 30 * Fixing scripts - 31 * Fixing scripts - 32 * Fixing scripts - 33 * Fixing scripts - 34 * Fixing scripts - 35 * Fixing scripts - 36 * Fixing scripts - 37 * Fixing scripts - 38 * Fixing scripts - 39 * Fixing scripts - 40 * Fixing scripts - 41 * Fixing scripts - 42 * Fixing scripts - 43 * Fixing scripts - 44 * Fixing scripts - 45 * Fixing scripts - 46 * Fixing scripts - 47 * Fixing scripts - 48 * Fixing scripts - 49 * Fixing scripts - 50 * Fixing scripts - 51 * Fixing scripts - 52 * Fixing scripts - 53 * Fixing scripts - 54 * Fixing scripts - 55 * Fixing scripts - 56 * Fixing scripts - 57 * Fixing scripts - 58 * Fixing scripts - 59 * Fixing scripts - 60 * Fixing scripts - 61 * Fixing scripts - 61 * Fixing scripts - 63 * Fixing scripts - 64 * Fixing scripts - 65 * Fixing scripts - 66 * Fixing scripts - 67 * Fixing scripts - 68 * Fixing scripts - 69 * Fixing scripts - 70 * Fixing scripts - 71 * Fixing scripts - 72 * Fixing scripts - 73 * Fixing scripts - 74 * Fixing scripts - 74 * Fixing scripts - 76 * Fixing scripts - 77 * Fixing scripts - 78 * Fixing scripts - 79 * Fixing scripts - 80 * Fixing scripts - 81 * Fixing scripts - 82 * Fixing scripts - 83 * Fixing scripts - 84 * Fixing scripts - 85 * Fixing scripts - 86 * Fixing scripts - 86 * Fixing scripts - 88 * Fixing scripts - 89 * Fixing scripts - 90 * Fixing scripts - 91 * Fixing scripts - 92 * Fixing scripts - 93 * Fixing scripts - 94 * Edits * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Edit * Updating dotnet to 1.7.2 * Changing to dotnet 1.7.2 * Marking as unsupported by windows * Fixing line numbers * Update package.py to enable building a .NET Core release * Temporarily using cached Options * Temporarily not running dafny * Disabling some tests for now * Disabling windows run of tests for now * Disabling refman build for now * typo * Fixing pdf generation * Adding back refman * Debugging refman build * Debugging refman build * Reverting to working configuration * Increasing to 5 shards Co-authored-by: davidcok <[email protected]> Co-authored-by: Remy Willems <[email protected]> Co-authored-by: davidcok <[email protected]>
dafny-lang#834: Adding more CI tests, across more platforms (dafny-la… …ng#835) * Adding more CI tests * Adding more CI tests * removing mac from gradle * Adding install of brew * Adding install of brew * Adding a check * Adding a check * Adding pandoc back * Adding a release test * Adding a release test - fixed name * Improving script * Improving script - 2 * improving script - 3 * improving script - 4 * Adding more release tests * Fixing scripts - 1 * Fixing scripts - 2 * Fixing scripts - 3 * Fixing scripts - 4 * Fixing scripts - 5 * Fixing scripts - 6 * Fixing scripts - 7 * Fixing scripts - 8 * Fixing scripts - 9 * Fixing scripts - 10 * Fixing scripts - 11 * Fixing scripts - 12 * Fixing scripts - 13 * Temporarily adding DafnyRuntime.jar * Fixing scripts - 14 * Fixing scripts - 15 * Fixing scripts - 16 * Fixing scripts - 17 * Fixing scripts - 18 * Fixing scripts - 19 * Fixing scripts - 20 * Fixing scripts - 21 * Fixing scripts - 22 * Fixing scripts - 23 * Fixing scripts - 24 * Fixing scripts - 25 * Fixing scripts - 26 * Fixing scripts - 27 * Fixing scripts - 28 * Fixing scripts - 29 * Fixing scripts - 30 * Fixing scripts - 31 * Fixing scripts - 32 * Fixing scripts - 33 * Fixing scripts - 34 * Fixing scripts - 35 * Fixing scripts - 36 * Fixing scripts - 37 * Fixing scripts - 38 * Fixing scripts - 39 * Fixing scripts - 40 * Fixing scripts - 41 * Fixing scripts - 42 * Fixing scripts - 43 * Fixing scripts - 44 * Fixing scripts - 45 * Fixing scripts - 46 * Fixing scripts - 47 * Fixing scripts - 48 * Fixing scripts - 49 * Fixing scripts - 50 * Fixing scripts - 51 * Fixing scripts - 52 * Fixing scripts - 53 * Fixing scripts - 54 * Fixing scripts - 55 * Fixing scripts - 56 * Fixing scripts - 57 * Fixing scripts - 58 * Fixing scripts - 59 * Fixing scripts - 60 * Fixing scripts - 61 * Fixing scripts - 61 * Fixing scripts - 63 * Fixing scripts - 64 * Fixing scripts - 65 * Fixing scripts - 66 * Fixing scripts - 67 * Fixing scripts - 68 * Fixing scripts - 69 * Fixing scripts - 70 * Fixing scripts - 71 * Fixing scripts - 72 * Fixing scripts - 73 * Fixing scripts - 74 * Fixing scripts - 74 * Fixing scripts - 76 * Fixing scripts - 77 * Fixing scripts - 78 * Fixing scripts - 79 * Fixing scripts - 80 * Fixing scripts - 81 * Fixing scripts - 82 * Fixing scripts - 83 * Fixing scripts - 84 * Fixing scripts - 85 * Fixing scripts - 86 * Fixing scripts - 86 * Fixing scripts - 88 * Fixing scripts - 89 * Fixing scripts - 90 * Fixing scripts - 91 * Fixing scripts - 92 * Fixing scripts - 93 * Fixing scripts - 94 * Edits * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging the build script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Debugging script * Edit * Updating dotnet to 1.7.2 * Changing to dotnet 1.7.2 * Marking as unsupported by windows * Fixing line numbers * Update package.py to enable building a .NET Core release * Temporarily using cached Options * Temporarily not running dafny * Disabling some tests for now * Disabling windows run of tests for now * Disabling refman build for now * typo * Fixing pdf generation * Adding back refman * Debugging refman build * Debugging refman build * Reverting to working configuration * Increasing to 5 shards Co-authored-by: davidcok <[email protected]> Co-authored-by: Remy Willems <[email protected]> Co-authored-by: davidcok <[email protected]>
PreviousNext