https://sourceforge.net/p/coan2/git_code/Recent changes to GitCode repository in coan2 projectenSat, 08 Nov 2014 09:31:32 -0000https://sourceforge.net/p/coan2/git_code/ci/0e66cd2092777f4dea5dd873a4c3352e029342e6/<div class="markdown_content"><p>v7.0 changes:- - Remove <code>--complement</code> option - Extend <code>--must</code>,<code>--may</code>,<code>--cant</code> otpions to the <code>source</code> and <code>spin</code> commands - Add the <code>renumber.py</code> tool to the test scripts - Renumber the test cases<br /><a href="/p/coan2/git_code/ci/0e66cd2092777f4dea5dd873a4c3352e029342e6">View Changes</a></p></div>Mike KinghanSat, 08 Nov 2014 09:31:32 -0000https://sourceforge.net/p/coan2/git_code/ci/0e66cd2092777f4dea5dd873a4c3352e029342e6/https://sourceforge.net/p/coan2/git_code/ci/738b95d9468555b3c44a4c9bb6e63332ca6947fd/<div class="markdown_content"><p>Optimization of <code>if_control</code>. Correction of man page typo.<br /><a href="/p/coan2/git_code/ci/738b95d9468555b3c44a4c9bb6e63332ca6947fd">View Changes</a></p></div>Mike KinghanThu, 30 Oct 2014 20:16:06 -0000https://sourceforge.net/p/coan2/git_code/ci/738b95d9468555b3c44a4c9bb6e63332ca6947fd/https://sourceforge.net/p/coan2/git_code/ci/b21b4b485ffd0efd6898ed479d67dfcba2ca6559/<div class="markdown_content"><p>Optimization of line-reachbility queries.<br /><a href="/p/coan2/git_code/ci/b21b4b485ffd0efd6898ed479d67dfcba2ca6559">View Changes</a></p></div>Mike KinghanSun, 26 Oct 2014 19:31:49 -0000https://sourceforge.net/p/coan2/git_code/ci/b21b4b485ffd0efd6898ed479d67dfcba2ca6559/https://sourceforge.net/p/coan2/git_code/ci/c59c9df72fa76b1ae4caab585f21bb5ee206aa53/<div class="markdown_content"><p>Remove the <code>--conflict</code> option. Permit transient overrides of the commandline configuration. Enable suppression of transient overrides with the new <code>--no-ovveride</code> option.<br /><a href="/p/coan2/git_code/ci/c59c9df72fa76b1ae4caab585f21bb5ee206aa53">View Changes</a></p></div>Mike KinghanSun, 26 Oct 2014 18:45:47 -0000https://sourceforge.net/p/coan2/git_code/ci/c59c9df72fa76b1ae4caab585f21bb5ee206aa53/https://sourceforge.net/p/coan2/git_code/ci/d1d703207d1a3c7d856d33b29436981943553095/<div class="markdown_content"><p>Further optimization of <code>if_control</code>.<br /><a href="/p/coan2/git_code/ci/d1d703207d1a3c7d856d33b29436981943553095">View Changes</a></p></div>Mike KinghanSun, 05 Oct 2014 18:36:49 -0000https://sourceforge.net/p/coan2/git_code/ci/d1d703207d1a3c7d856d33b29436981943553095/https://sourceforge.net/p/coan2/git_code/ci/f5a2015513b5f211bf221ea25b7590f79d449ce6/<div class="markdown_content"><p>Optimization of <code>idempotence</code>.<br /><a href="/p/coan2/git_code/ci/f5a2015513b5f211bf221ea25b7590f79d449ce6">View Changes</a></p></div>Mike KinghanSun, 05 Oct 2014 18:36:49 -0000https://sourceforge.net/p/coan2/git_code/ci/f5a2015513b5f211bf221ea25b7590f79d449ce6/https://sourceforge.net/p/coan2/git_code/ci/f88d6896a1fbc48980874a725aefdabf291433d1/<div class="markdown_content"><p>Some optimizations of <code>if_control</code>.<br /><a href="/p/coan2/git_code/ci/f88d6896a1fbc48980874a725aefdabf291433d1">View Changes</a></p></div>Mike KinghanSun, 05 Oct 2014 17:16:35 -0000https://sourceforge.net/p/coan2/git_code/ci/f88d6896a1fbc48980874a725aefdabf291433d1/https://sourceforge.net/p/coan2/git_code/ci/d4b5da7a4d3a3f1c8e1b861e664bce5db4f78a34/<div class="markdown_content"><p>Some more optimizations of <code>if_control</code>.<br /><a href="/p/coan2/git_code/ci/d4b5da7a4d3a3f1c8e1b861e664bce5db4f78a34">View Changes</a></p></div>Mike KinghanSun, 05 Oct 2014 17:16:35 -0000https://sourceforge.net/p/coan2/git_code/ci/d4b5da7a4d3a3f1c8e1b861e664bce5db4f78a34/https://sourceforge.net/p/coan2/git_code/ci/fd41f61943671a17436c95e93435ae2e2c671b98/<div class="markdown_content"><p>Add missing documentation of <code>lines</code> command to man page.<br /><a href="/p/coan2/git_code/ci/fd41f61943671a17436c95e93435ae2e2c671b98">View Changes</a></p></div>Mike KinghanSun, 05 Oct 2014 16:19:18 -0000https://sourceforge.net/p/coan2/git_code/ci/fd41f61943671a17436c95e93435ae2e2c671b98/https://sourceforge.net/p/coan2/git_code/ci/add2810d4fcb6ca3dbe27b02036346031d3c1925/<div class="markdown_content"><p>Update copyright notices.<br /><a href="/p/coan2/git_code/ci/add2810d4fcb6ca3dbe27b02036346031d3c1925">View Changes</a></p></div>Mike KinghanSun, 05 Oct 2014 16:19:18 -0000https://sourceforge.net/p/coan2/git_code/ci/add2810d4fcb6ca3dbe27b02036346031d3c1925/