search

sdthompson1 / babylon

An experimental new programming language with verification features.
https://www.solarflare.org.uk/babylon
Other
1 stars 0 forks source link

Swap naming of $FLD and $PROD? #15

Open sdthompson1 opened 4 months ago

sdthompson1 commented 4 months ago

e.g. $FLD0-1 instead of $FLD1-0

This might make the SMT problems (slightly) more readable.

I guess have $PROD0 instead of $PROD-0 also.