https://sourceforge.net/p/bugst/src/Recent changes to Git repository in bugst projectenTue, 15 May 2018 22:43:45 -0000https://sourceforge.net/p/bugst/src/ci/8d42bd5b4a9039badef94f672d92ea05bbace7c4/<div class="markdown_content"><p>Loop abstraction mode added.<br/><a href="/p/bugst/src/ci/8d42bd5b4a9039badef94f672d92ea05bbace7c4/">View Changes</a></p></div>pavelcadekTue, 15 May 2018 22:43:45 -0000https://sourceforge.net/p/bugst/src/ci/8d42bd5b4a9039badef94f672d92ea05bbace7c4/https://sourceforge.net/p/bugst/src/ci/047f584f0d552ed9ecf9935ac465ac882d89bc74/<div class="markdown_content"><p>Final version of Looperman 2 for fmcad 18.<br/><a href="/p/bugst/src/ci/047f584f0d552ed9ecf9935ac465ac882d89bc74/">View Changes</a></p></div>pavelcadekWed, 09 May 2018 22:51:30 -0000https://sourceforge.net/p/bugst/src/ci/047f584f0d552ed9ecf9935ac465ac882d89bc74/https://sourceforge.net/p/bugst/src/ci/2c7584d5f07ed080c7bbfc10952286dc31ee6bd6/<div class="markdown_content"><p>a new generation of Looperman 2<br/><a href="/p/bugst/src/ci/2c7584d5f07ed080c7bbfc10952286dc31ee6bd6/">View Changes</a></p></div>pavelcadekSun, 06 May 2018 22:42:46 -0000https://sourceforge.net/p/bugst/src/ci/2c7584d5f07ed080c7bbfc10952286dc31ee6bd6/https://sourceforge.net/p/bugst/src/ci/663098e041665db43f6187b3456abbf90ba73c06/<div class="markdown_content"><p>working version<br/><a href="/p/bugst/src/ci/663098e041665db43f6187b3456abbf90ba73c06/">View Changes</a></p></div>pavelcadekSun, 06 May 2018 14:32:49 -0000https://sourceforge.net/p/bugst/src/ci/663098e041665db43f6187b3456abbf90ba73c06/https://sourceforge.net/p/bugst/src/ci/d6ce663347e94c592b5ebd74d46bd0c8b739cc87/<div class="markdown_content"><p>maybe the final working version of Looperman 2? :-)<br/><a href="/p/bugst/src/ci/d6ce663347e94c592b5ebd74d46bd0c8b739cc87/">View Changes</a></p></div>pavelcadekMon, 09 Apr 2018 22:33:13 -0000https://sourceforge.net/p/bugst/src/ci/d6ce663347e94c592b5ebd74d46bd0c8b739cc87/https://sourceforge.net/p/bugst/src/ci/5a839d6e5cb6d721da7e4eabdf34331b4cdfad30/<div class="markdown_content"><p>looperman 2 now works buglessly on sv-comp/loops/loops-invgen<br/><a href="/p/bugst/src/ci/5a839d6e5cb6d721da7e4eabdf34331b4cdfad30/">View Changes</a></p></div>pavelcadekFri, 30 Mar 2018 12:18:42 -0000https://sourceforge.net/p/bugst/src/ci/5a839d6e5cb6d721da7e4eabdf34331b4cdfad30/https://sourceforge.net/p/bugst/src/ci/5cf17953a8112547d08cadd80e2d2aa0620042c6/<div class="markdown_content"><p>Looperman 2 Preprocessing finished<br/><a href="/p/bugst/src/ci/5cf17953a8112547d08cadd80e2d2aa0620042c6/">View Changes</a></p></div>pavelcadekThu, 29 Mar 2018 22:44:03 -0000https://sourceforge.net/p/bugst/src/ci/5cf17953a8112547d08cadd80e2d2aa0620042c6/https://sourceforge.net/p/bugst/src/ci/b97d65a49b29d85dfce4f954302583c1e168175d/<div class="markdown_content"><p>Looperman 2 with almost working invariant instrumentation.<br/><a href="/p/bugst/src/ci/b97d65a49b29d85dfce4f954302583c1e168175d/">View Changes</a></p></div>pavelcadekSun, 25 Mar 2018 22:17:12 -0000https://sourceforge.net/p/bugst/src/ci/b97d65a49b29d85dfce4f954302583c1e168175d/https://sourceforge.net/p/bugst/src/ci/edd31a9cc1c1f46bea4f95e67b827aa97eec9805/<div class="markdown_content"><p>minor improvements<br/><a href="/p/bugst/src/ci/edd31a9cc1c1f46bea4f95e67b827aa97eec9805/">View Changes</a></p></div>pavelcadekFri, 23 Mar 2018 22:33:57 -0000https://sourceforge.net/p/bugst/src/ci/edd31a9cc1c1f46bea4f95e67b827aa97eec9805/https://sourceforge.net/p/bugst/src/ci/c187abe57e83bb7d0cd15a9bff58dd0a732f5fb4/<div class="markdown_content"><p>for loop parsing done<br/><a href="/p/bugst/src/ci/c187abe57e83bb7d0cd15a9bff58dd0a732f5fb4/">View Changes</a></p></div>pavelcadekMon, 19 Mar 2018 12:23:45 -0000https://sourceforge.net/p/bugst/src/ci/c187abe57e83bb7d0cd15a9bff58dd0a732f5fb4/