Version 3d3 of Bound-T/8051, the version of Bound-T for the Intel-8051 (MCS-51) processor architecture, was released today, accompanied by an update (Issue 2) of the corresponding Application Note document.
This update of Bound-T/8051 improves the modelling of the single-bit ("Boolean") instructions and the condition flags P, AC, OV in the Processor Status Word (PSW).