lmntal/slim — pull request #3 by tamanyan (2014-06-21 14:31:45+00:00)
Title: Delta-mem+モデル検査使用時のバグ修正

- Delta-mem+モデル検査使用時のバグ修正
- ハッシュ関数のデータアトムに対する挙動変更
- ベンチマークのオプション使用時に受理サイクルの有無の判定を載せた