cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
679ea2820f
solidity/libsolidity/formal
History
Rhett Aultman 4524ad0870 Add support for do/while loops 
This commit adds support for a standard do <statement> while <expr>;
form of statement.  While loops were already being supported; supporting
a do/while loop mostly involves reusing code from while loops but putting
the conditional checking last.
2016-11-10 07:07:25 -08:00
..
Why3Translator.cpp Add support for do/while loops 2016-11-10 07:07:25 -08:00
Why3Translator.h formal: ignore pragmas during Why3 code generation 2016-10-11 00:01:29 +02:00