https://sourceforge.net/p/rodin-b-sharp/CodeGen/Recent changes to CodeGen repository in rodin-b-sharp projectenMon, 12 Mar 2018 15:53:17 -0000https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/434a721941b1ba828b53b297ae0da02e86495fa0/<div class="markdown_content"><p>minor bug fix<br/><a href="/p/rodin-b-sharp/CodeGen/ci/434a721941b1ba828b53b297ae0da02e86495fa0/">View Changes</a></p></div>Dalvandi M.SMon, 12 Mar 2018 15:53:17 -0000https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/434a721941b1ba828b53b297ae0da02e86495fa0/https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/8d2cbc8bacc9ac98b19a51fd9800435f1d3d2318/<div class="markdown_content"><p>bug fixes and minor change in the genereated C++ code<br/><a href="/p/rodin-b-sharp/CodeGen/ci/8d2cbc8bacc9ac98b19a51fd9800435f1d3d2318/">View Changes</a></p></div>Dalvandi MFri, 24 Nov 2017 12:33:29 -0000https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/8d2cbc8bacc9ac98b19a51fd9800435f1d3d2318/https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/d3c123dd45268f50668ec26c4302f9aa6392d2d2/<div class="markdown_content"><p>More stuff to PrimeCpp<br/><a href="/p/rodin-b-sharp/CodeGen/ci/d3c123dd45268f50668ec26c4302f9aa6392d2d2/">View Changes</a></p></div>Dalvandi MMon, 16 Oct 2017 14:31:40 -0000https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/d3c123dd45268f50668ec26c4302f9aa6392d2d2/https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/24ac59340ed2f8753275893f7ba6ecfe6661ca28/<div class="markdown_content"><p>initial PRiME Code Gen<br/><a href="/p/rodin-b-sharp/CodeGen/ci/24ac59340ed2f8753275893f7ba6ecfe6661ca28/">View Changes</a></p></div>Dalvandi MTue, 10 Oct 2017 09:39:15 -0000https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/24ac59340ed2f8753275893f7ba6ecfe6661ca28/https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/7b203da2af9d682b70c0ae0c1b59c19cdfab6b7d/<div class="markdown_content"><p>Dependency version fixed<br/><a href="/p/rodin-b-sharp/CodeGen/ci/7b203da2af9d682b70c0ae0c1b59c19cdfab6b7d/">View Changes</a></p></div>Sadegh DalvandiTue, 01 Aug 2017 12:01:04 -0000https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/7b203da2af9d682b70c0ae0c1b59c19cdfab6b7d/https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/8f074df4c3b69707d9c062d10ff958eb56d09f1b/<div class="markdown_content"><p>increase plugins version<br/><a href="/p/rodin-b-sharp/CodeGen/ci/8f074df4c3b69707d9c062d10ff958eb56d09f1b/">View Changes</a></p></div>Sadegh DalvandiTue, 01 Aug 2017 08:41:30 -0000https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/8f074df4c3b69707d9c062d10ff958eb56d09f1b/https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/5bb5002ab955cb58a7d49af3437a3de7dcdc15b6/<div class="markdown_content"><p>Code Generation 0.3.0 release candidate<br/><a href="/p/rodin-b-sharp/CodeGen/ci/5bb5002ab955cb58a7d49af3437a3de7dcdc15b6/">View Changes</a></p></div>Sadegh DalvandiThu, 06 Jul 2017 12:47:47 -0000https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/5bb5002ab955cb58a7d49af3437a3de7dcdc15b6/https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/8455cfbfb389b82b72fe2b6aec5405cff5590b6a/<div class="markdown_content"><p>ignoring expanding axioms when translating a context<br/><a href="/p/rodin-b-sharp/CodeGen/ci/8455cfbfb389b82b72fe2b6aec5405cff5590b6a/">View Changes</a></p></div>Sadegh DalvandiThu, 06 Jul 2017 12:47:47 -0000https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/8455cfbfb389b82b72fe2b6aec5405cff5590b6a/https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/712ae286c5ef00fbfa3d760b8b4774e62c96d5b2/<div class="markdown_content"><p>ready to release<br/><a href="/p/rodin-b-sharp/CodeGen/ci/712ae286c5ef00fbfa3d760b8b4774e62c96d5b2/">View Changes</a></p></div>Dalvandi MThu, 06 Jul 2017 12:47:47 -0000https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/712ae286c5ef00fbfa3d760b8b4774e62c96d5b2/https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/e32dfe954e2124dd9c49967f80d3a996d664da49/<div class="markdown_content"><p>1- cycle problem is solved. 2- version problem is solved<br/><a href="/p/rodin-b-sharp/CodeGen/ci/e32dfe954e2124dd9c49967f80d3a996d664da49/">View Changes</a></p></div>Dalvandi MThu, 06 Jul 2017 12:47:47 -0000https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/e32dfe954e2124dd9c49967f80d3a996d664da49/