diff options
author | Raimo Niskanen <[email protected]> | 2019-01-18 12:25:12 +0100 |
---|---|---|
committer | Raimo Niskanen <[email protected]> | 2019-01-18 12:25:12 +0100 |
commit | cf334a67dbda6f51a09f58eebf856408463c11a5 (patch) | |
tree | 70ceaf2289f05f10f639622c2a0fdceadeedb648 /make | |
parent | 53dfd68c483d0ce40b0e36086cbdf9ec172079f4 (diff) | |
parent | 12cecd07628cb28d7bc80c17bfc01ca783b8683c (diff) | |
download | otp-cf334a67dbda6f51a09f58eebf856408463c11a5.tar.gz otp-cf334a67dbda6f51a09f58eebf856408463c11a5.tar.bz2 otp-cf334a67dbda6f51a09f58eebf856408463c11a5.zip |
Merge branch 'raimo/stdlib/gen_statem-optimization/OTP-15452'
* raimo/stdlib/gen_statem-optimization/OTP-15452:
Write some more comments in the engine loop
Work around a compiler mis-optimization
Move out helper functions to engine loop
Handle #trans_opts{} fields in parse_actions() arguments
Optimize gen_statem engine loop
Modify generic_statem_transit benchmark
Diffstat (limited to 'make')
0 files changed, 0 insertions, 0 deletions