parent f9b222792e87e0b226e91a0f206e8ceb17016167
parent f9b222792e87e0b226e91a0f206e8ceb17016167

author davidcok <davidcok@amazon.com> 1607130237 -0500
committer davidcok <davidcok@amazon.com> 1608132988 -0500

Fixed z3 version

Edits per audit comments

Improving tests

Fixes per review comments -- building Z3 from source

Removing version reference; adding back bottle block

Adding comments

Removing trailing white space

dafny: add license

dafny: style fix

Fixed z3 version

Removing version reference; adding back bottle block

Adding comments

Removing trailing white space

dafny: add license

dafny: style fix

Removing version reference; adding back bottle block

Adding comments

Removing trailing white space

dafny: add license

dafny: style fix

Fixed z3 version

Removing version reference; adding back bottle block

Adding comments

Removing trailing white space

dafny: add license

dafny: style fix

Fixed z3 version

Edits per audit comments

Improving tests

Fixes per review comments -- building Z3 from source

Removing version reference; adding back bottle block

Adding comments

Removing trailing white space

dafny: add license

dafny: style fix

Fixed z3 version

Removing version reference; adding back bottle block

Adding comments

Removing trailing white space

dafny: add license

dafny: style fix

Fixed z3 version

Edits per audit comments

Improving tests

Fixes per review comments -- building Z3 from source

Removing version reference; adding back bottle block

Adding comments

Removing trailing white space

dafny: add license

dafny: style fix

Fixed z3 version

Edits per audit comments

Improving tests

Fixes per review comments -- building Z3 from source

Removing version reference; adding back bottle block

Typographical edits per PR comments

Adding comments

Removing trailing white space

dafny: add license

dafny: style fix

Revising dafny formula to use correct version of Z3

Closes #66278.

Signed-off-by: FX Coudert <c329953660db96eae534be5bbf1a735c2baf69b5@gmail.com>

nandub/homebrew-core,nbari/homebrew-core,adam-moss/homebrew-core,dsXLII/homebrew-core,mbcoguno/homebrew-core,Linuxbrew/homebrew-core,chrisfinazzo/homebrew-core,mbcoguno/homebrew-core,JCount/homebrew-core,stgraber/homebrew-core,sjackman/homebrew-core,Moisan/homebrew-core,spaam/homebrew-core,filcab/homebrew-core,lemzwerg/homebrew-core,cblecker/homebrew-core,mfikes/homebrew-core,makigumo/homebrew-core,dsXLII/homebrew-core,sjackman/homebrew-core,JCount/homebrew-core,uyjulian/homebrew-core,spaam/homebrew-core,adam-moss/homebrew-core,zyedidia/homebrew-core,cblecker/homebrew-core,stgraber/homebrew-core,Homebrew/homebrew-core,Linuxbrew/homebrew-core,mbcoguno/homebrew-core,nandub/homebrew-core,chrisfinazzo/homebrew-core,nbari/homebrew-core,mfikes/homebrew-core,makigumo/homebrew-core,Moisan/homebrew-core,zyedidia/homebrew-core,lemzwerg/homebrew-core,filcab/homebrew-core,uyjulian/homebrew-core,Homebrew/homebrew-core