default_machine_limits.bend

stelliferous@0.0.3.0 · 11 lines · 0 definitions

1# The original execution envelope, with every binary constraint checked here.
2import Base
3import stelliferous@0.0.3.0/machine_limits.bend as Machine
4
5# The capacity as a word, for run-time guards that need no other limit.
6def capacity() -> U32:
7  1073741824
8
9def limits() -> Machine.Limits:
10  Machine.Limits{65535,capacity(),2147483647,2147483648,
11    Machine.Facts{{==},{==},{==},{==},{==},{==},{==},{==},{==},{==},{==},{==},{==},{==},{==}}}