diff options
| author | eunhhu <[email protected]> | 2026-09-26 17:55:14 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-09-26 17:55:14 +0100 |
| commit | ef7ac7332f330fddc2de6194f926e0c0a84ca2b4 (patch) | |
| tree | b7e1764c6ffcbe6f2d7c64ead1b91b352e3b7b0a /benchmarks | |
| parent | ae48b510c9eec3e47ea551b4c4cad640d13310cd (diff) | |
| download | pure-ef7ac7332f330fddc2de6194f926e0c0a84ca2b4.tar.gz pure-ef7ac7332f330fddc2de6194f926e0c0a84ca2b4.zip | |
Add time: timers, now, floor and a floored modulo
An input may be a timer (kind 4, its period of 1 ms to a day in place of
a key name): pure_app_tick delivers a tick, an event saved like a key's.
NOW gives handlers the time the host set in PureApp.now (milliseconds
since 1970, UTC), so a script replays any time and views stay functions
of state; FLOOR and MOD take times apart, MOD taking the divisor's sign as
floor division leaves it, a zero too. pure-run gains time MS and tick NAME.
Diffstat (limited to 'benchmarks')
0 files changed, 0 insertions, 0 deletions