hlsyounes / ymer

Probabilistic model checker
GNU General Public License v2.0
4 stars 1 forks source link

Add better support for constant expressions #14

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
Current support for constant expressions is very limited.  For example, 
floor((3*n)/2) does not parse as an integer constant expression, because 
function calls and division are not supported for integer constant expressions. 
 Instead of trying to ensure these expressions are of integer type, constant 
inits should just be parsed as standard expressions and then type checked at 
evaluation.

Original issue reported on code.google.com by hlsyou...@gmail.com on 29 Nov 2014 at 3:41

GoogleCodeExporter commented 9 years ago
This issue was closed by revision r383.

Original comment by hlsyou...@gmail.com on 6 Dec 2014 at 11:31