Filtration by memory model - #78

Open

volodeyka wants to merge 7 commits into

Commits on Apr 1, 2021

fix: do-notation level
volodeyka
committed
0376b90
fix: variabels of eval_step
volodeyka
committed
0eb6fed
feat: add utilities for 'T -> seq T' function
volodeyka
committed
4fc3268
feat: add writes-berofe relation
volodeyka
committed
af5819f
feat: add filtration on memory model predicate
volodeyka
committed
de88ae1

Commits on Apr 27, 2021

merged with master
volodeyka
committed
caeb845
feat: prepare for RA consistency
volodeyka
committed
a7f4827