https://sourceforge.net/p/rodin-b-sharp/smt/Recent changes to SMT repository in rodin-b-sharp projectenThu, 13 Jan 2022 20:38:53 -0000https://sourceforge.net/p/rodin-b-sharp/smt/ci/c5fa8c258343dead8d8a1deba5cd7e29115939f0/<div class="markdown_content"><p>Update Tycho to the latest version<br/><a href="/p/rodin-b-sharp/smt/ci/c5fa8c258343dead8d8a1deba5cd7e29115939f0/">View Changes</a></p></div>Guillaume VerdierThu, 13 Jan 2022 20:38:53 -0000https://sourceforge.net/p/rodin-b-sharp/smt/ci/c5fa8c258343dead8d8a1deba5cd7e29115939f0/https://sourceforge.net/p/rodin-b-sharp/smt/ci/aa0933945d7d294df4ac3f8e2fc0921538ecb1ad/<div class="markdown_content"><p>Update version numbers<br/><a href="/p/rodin-b-sharp/smt/ci/aa0933945d7d294df4ac3f8e2fc0921538ecb1ad/">View Changes</a></p></div>Guillaume VerdierThu, 13 Jan 2022 20:38:53 -0000https://sourceforge.net/p/rodin-b-sharp/smt/ci/aa0933945d7d294df4ac3f8e2fc0921538ecb1ad/https://sourceforge.net/p/rodin-b-sharp/smt/ci/e5a5f2e5f844056bfebac4dd14cb746a48fdaecb/<div class="markdown_content"><p>Add higher timeout to slow tests<br/><a href="/p/rodin-b-sharp/smt/ci/e5a5f2e5f844056bfebac4dd14cb746a48fdaecb/">View Changes</a></p></div>Guillaume VerdierThu, 13 Jan 2022 20:38:53 -0000https://sourceforge.net/p/rodin-b-sharp/smt/ci/e5a5f2e5f844056bfebac4dd14cb746a48fdaecb/https://sourceforge.net/p/rodin-b-sharp/smt/ci/cf6895c6653c5d959876c033e7d544214ae4070e/<div class="markdown_content"><p>Update and improve Maven build<br/><a href="/p/rodin-b-sharp/smt/ci/cf6895c6653c5d959876c033e7d544214ae4070e/">View Changes</a></p></div>Guillaume VerdierThu, 13 Jan 2022 20:38:53 -0000https://sourceforge.net/p/rodin-b-sharp/smt/ci/cf6895c6653c5d959876c033e7d544214ae4070e/https://sourceforge.net/p/rodin-b-sharp/smt/ci/2a0a78d96de89a7a424fb32ccdf569de9e60de46/<div class="markdown_content"><p>Fix name of update site artifact<br/><a href="/p/rodin-b-sharp/smt/ci/2a0a78d96de89a7a424fb32ccdf569de9e60de46/">View Changes</a></p></div>Guillaume VerdierThu, 13 Jan 2022 20:38:53 -0000https://sourceforge.net/p/rodin-b-sharp/smt/ci/2a0a78d96de89a7a424fb32ccdf569de9e60de46/https://sourceforge.net/p/rodin-b-sharp/smt/ci/1d8840cb66e77d1d31b8e463d2f0911784e7db10/<div class="markdown_content"><p>Use same default target site path as other plug-ins<br/><a href="/p/rodin-b-sharp/smt/ci/1d8840cb66e77d1d31b8e463d2f0911784e7db10/">View Changes</a></p></div>Guillaume VerdierThu, 13 Jan 2022 20:38:53 -0000https://sourceforge.net/p/rodin-b-sharp/smt/ci/1d8840cb66e77d1d31b8e463d2f0911784e7db10/https://sourceforge.net/p/rodin-b-sharp/smt/ci/5cc06d9b68fdc8b28de7a6ad08f61980e0e7a8f2/<div class="markdown_content"><p>Update repository and instructions to use new composite site<br/><a href="/p/rodin-b-sharp/smt/ci/5cc06d9b68fdc8b28de7a6ad08f61980e0e7a8f2/">View Changes</a></p></div>Guillaume VerdierThu, 13 Jan 2022 20:38:53 -0000https://sourceforge.net/p/rodin-b-sharp/smt/ci/5cc06d9b68fdc8b28de7a6ad08f61980e0e7a8f2/https://sourceforge.net/p/rodin-b-sharp/smt/ci/4bd3c1ccb59d97c0b93781e2dfc25c7694305179/<div class="markdown_content"><p>Upgrade Tycho version and fix test dependencies<br/><a href="/p/rodin-b-sharp/smt/ci/4bd3c1ccb59d97c0b93781e2dfc25c7694305179/">View Changes</a></p></div>Guillaume VerdierThu, 13 Jan 2022 20:38:53 -0000https://sourceforge.net/p/rodin-b-sharp/smt/ci/4bd3c1ccb59d97c0b93781e2dfc25c7694305179/https://sourceforge.net/p/rodin-b-sharp/smt/ci/909a437b10e3be6d04b8c831f30d70f2b9a135d6/<div class="markdown_content"><p>Fix bug #798: Bad translation to SMT<br/><a href="/p/rodin-b-sharp/smt/ci/909a437b10e3be6d04b8c831f30d70f2b9a135d6/">View Changes</a></p></div>Laurent VoisinWed, 15 Dec 2021 13:58:55 -0000https://sourceforge.net/p/rodin-b-sharp/smt/ci/909a437b10e3be6d04b8c831f30d70f2b9a135d6/https://sourceforge.net/p/rodin-b-sharp/smt/ci/ae9fa8b9d25f3cc71b146bdeb46e60ca0aec6a48/<div class="markdown_content"><p>Add regression test for bug #798<br/><a href="/p/rodin-b-sharp/smt/ci/ae9fa8b9d25f3cc71b146bdeb46e60ca0aec6a48/">View Changes</a></p></div>Laurent VoisinWed, 15 Dec 2021 13:58:55 -0000https://sourceforge.net/p/rodin-b-sharp/smt/ci/ae9fa8b9d25f3cc71b146bdeb46e60ca0aec6a48/