search

lmntal / slim

slim LMNtal implementation
Other
18 stars 5 forks source link

Feature/atomic ruleset #332

Open nikosai opened 7 months ago

nikosai commented 7 months ago

resolve #325

nikosai commented 7 months ago

廃止時点コミットを参考にrevertし、古いAPIを置き換え＆復活させてエラーが出ないところまで来たが、肝心の実行結果が正しくない（通常実行はatomicなしと同一結果、非決定実行はSEGV）