tag:github.com,2008:https://github.com/hxuhack/logic_bombs/releasesTags from logic_bombs2018-06-10T11:38:26Ztag:github.com,2008:Repository/72975547/v.1.2.12018-06-10T11:39:39ZResolve BOMB_ENDING conflicts with KLEE replay tool's return code<p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/hxuhack/logic_bombs/pull/12">#12</a> from hxuhack/dev-master</p>
<p>When KLEE replay tool encounters an error, its return value conflicts with BOMB_ENDING</p>zzrcxbtag:github.com,2008:Repository/72975547/v1.22018-06-10T06:08:56ZAdd new options and test cases<p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/hxuhack/logic_bombs/pull/11">#11</a> from hxuhack/dev-master</p>
<p>source directory decoupled</p>zzrcxbtag:github.com,2008:Repository/72975547/v1.12018-05-29T08:02:16ZFixed some bugs and add argparserzzrcxbtag:github.com,2008:Repository/72975547/v1.02018-01-03T06:01:41ZFinally herezzrcxbtag:github.com,2008:Repository/72975547/v0.9.92017-11-17T14:12:02ZFix subprocesses killing<p>Fix bugs on subprocesses killing</p>
<p>Fix bugs on subprocesses killing</p>zzrcxbtag:github.com,2008:Repository/72975547/v0.9.42017-11-15T22:07:25ZFixed some test caseszzrcxbtag:github.com,2008:Repository/72975547/v0.9.32017-11-14T15:43:02ZAlmost there<p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/hxuhack/logic_bombs/pull/4">#4</a> from hxuhack/dev-master</p>
<p>fix triton</p>zzrcxbtag:github.com,2008:Repository/72975547/v0.92017-11-13T10:04:38Zv0.9zzrcxbtag:github.com,2008:Repository/72975547/v0.82017-10-26T13:38:13Zv0.8zzrcxb