{"shas":[["d26ce0c19a60b05f04cac3fd2983d1e6f40968a9","379eb3a0ac0b144c964144e0e9ebd34bcf6d8947@gmail.com","Added Conditional Atomic constructor to Op. Semantics. Constructors RSkip, RAsgn and RAtomicBlock from Rely/Guarantee proof-system proved sound. Remaining constructors: RAtomicCondition, RSequence, RIf, RWhile, RConseq and RPar.","Nuno Gaspar"]],"ref":"refs/heads/master","size":1,"head":"d26ce0c19a60b05f04cac3fd2983d1e6f40968a9","push_id":33608160}