You can subscribe to this list here.
2009 |
Jan
|
Feb
|
Mar
|
Apr
(105) |
May
(130) |
Jun
(95) |
Jul
(115) |
Aug
(49) |
Sep
(60) |
Oct
(160) |
Nov
(128) |
Dec
(145) |
---|---|---|---|---|---|---|---|---|---|---|---|---|
2010 |
Jan
(154) |
Feb
(187) |
Mar
(221) |
Apr
(138) |
May
(268) |
Jun
(232) |
Jul
(259) |
Aug
(105) |
Sep
(273) |
Oct
(281) |
Nov
(215) |
Dec
(113) |
2011 |
Jan
(254) |
Feb
(146) |
Mar
(277) |
Apr
(230) |
May
(409) |
Jun
(451) |
Jul
(385) |
Aug
(262) |
Sep
(395) |
Oct
(145) |
Nov
(144) |
Dec
(306) |
2012 |
Jan
(184) |
Feb
(162) |
Mar
(186) |
Apr
(223) |
May
(150) |
Jun
(67) |
Jul
(150) |
Aug
(64) |
Sep
(27) |
Oct
(131) |
Nov
(69) |
Dec
(103) |
2013 |
Jan
(68) |
Feb
(27) |
Mar
(43) |
Apr
(45) |
May
(89) |
Jun
(76) |
Jul
(73) |
Aug
(52) |
Sep
(55) |
Oct
(68) |
Nov
(58) |
Dec
(16) |
2014 |
Jan
(94) |
Feb
(48) |
Mar
(67) |
Apr
(31) |
May
(53) |
Jun
(36) |
Jul
(32) |
Aug
(3) |
Sep
(6) |
Oct
(35) |
Nov
(33) |
Dec
(8) |
2015 |
Jan
(59) |
Feb
(3) |
Mar
(18) |
Apr
(5) |
May
(13) |
Jun
(1) |
Jul
(2) |
Aug
|
Sep
(3) |
Oct
(3) |
Nov
(9) |
Dec
(9) |
2016 |
Jan
(2) |
Feb
|
Mar
(1) |
Apr
|
May
|
Jun
(6) |
Jul
(16) |
Aug
|
Sep
(3) |
Oct
|
Nov
(3) |
Dec
|
2017 |
Jan
(1) |
Feb
|
Mar
(5) |
Apr
(1) |
May
|
Jun
|
Jul
(11) |
Aug
(5) |
Sep
(1) |
Oct
(1) |
Nov
(1) |
Dec
(1) |
2018 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
(7) |
Dec
(1) |
2019 |
Jan
(2) |
Feb
(4) |
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
2020 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
(2) |
Nov
(13) |
Dec
|
2021 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(4) |
Aug
|
Sep
(1) |
Oct
|
Nov
|
Dec
|
2022 |
Jan
(1) |
Feb
|
Mar
|
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
2024 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(1) |
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
From: Commits f. t. S. r. <rod...@li...> - 2024-05-30 14:14:29
|
Revision: 16746 http://sourceforge.net/p/rodin-b-sharp/svn/16746 Author: gverdier Date: 2024-05-30 14:14:26 +0000 (Thu, 30 May 2024) Log Message: ----------- Update composite sites: use https and archive old versions Modified Paths: -------------- trunk/RodinUpdateSite/org.rodinp.updateSite/composite/compSite.xml Added Paths: ----------- trunk/RodinUpdateSite/org.rodinp.updateSite/composite-archive/ trunk/RodinUpdateSite/org.rodinp.updateSite/composite-archive/compSite.xml trunk/RodinUpdateSite/org.rodinp.updateSite/composite-archive/p2.index This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2022-04-01 13:46:38
|
Revision: 16745 http://sourceforge.net/p/rodin-b-sharp/svn/16745 Author: gverdier Date: 2022-04-01 13:46:36 +0000 (Fri, 01 Apr 2022) Log Message: ----------- Add update site for Theory plug-in 4.0.4 Modified Paths: -------------- trunk/RodinUpdateSite/org.rodinp.updateSite/composite/compSite.xml This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2022-01-14 17:21:55
|
Revision: 16744 http://sourceforge.net/p/rodin-b-sharp/svn/16744 Author: gverdier Date: 2022-01-14 17:11:34 +0000 (Fri, 14 Jan 2022) Log Message: ----------- Add update site for SMT solvers plug-in 1.5.0 Modified Paths: -------------- trunk/RodinUpdateSite/org.rodinp.updateSite/composite/compSite.xml This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2021-09-29 12:57:01
|
Revision: 16743 http://sourceforge.net/p/rodin-b-sharp/svn/16743 Author: gverdier Date: 2021-09-29 12:56:59 +0000 (Wed, 29 Sep 2021) Log Message: ----------- Add update site for Theory plug-in 4.0.3 Modified Paths: -------------- trunk/RodinUpdateSite/org.rodinp.updateSite/composite/compSite.xml This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2021-07-14 19:28:33
|
Revision: 16741 http://sourceforge.net/p/rodin-b-sharp/svn/16741 Author: tshoang Date: 2021-07-14 19:28:29 +0000 (Wed, 14 Jul 2021) Log Message: ----------- Resotore removeFeature.xml Modified Paths: -------------- trunk/RodinUpdateSite/org.rodinp.updateSite/removeFeature.xml This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2021-07-14 19:27:45
|
Revision: 16740 http://sourceforge.net/p/rodin-b-sharp/svn/16740 Author: tshoang Date: 2021-07-14 19:27:43 +0000 (Wed, 14 Jul 2021) Log Message: ----------- Remove EMF Inclusions and CamilleX (now available from Soton update site) Modified Paths: -------------- trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar trunk/RodinUpdateSite/org.rodinp.updateSite/removeFeature.xml This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2021-07-14 18:35:29
|
Revision: 16739 http://sourceforge.net/p/rodin-b-sharp/svn/16739 Author: tshoang Date: 2021-07-14 18:35:26 +0000 (Wed, 14 Jul 2021) Log Message: ----------- Removed eXtended Event-B editors (now CamilleX) Modified Paths: -------------- trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2021-07-14 18:17:31
|
Revision: 16738 http://sourceforge.net/p/rodin-b-sharp/svn/16738 Author: tshoang Date: 2021-07-14 18:17:29 +0000 (Wed, 14 Jul 2021) Log Message: ----------- Move scripts for setting up composite update site to a folder Added Paths: ----------- trunk/RodinUpdateSite/org.rodinp.updateSite/composite/ trunk/RodinUpdateSite/org.rodinp.updateSite/composite/compSite.xml trunk/RodinUpdateSite/org.rodinp.updateSite/composite/p2.index Removed Paths: ------------- trunk/RodinUpdateSite/org.rodinp.updateSite/compSite.xml trunk/RodinUpdateSite/org.rodinp.updateSite/p2.index This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2020-11-27 09:33:34
|
Revision: 16736 http://sourceforge.net/p/rodin-b-sharp/svn/16736 Author: lvoisin Date: 2020-11-27 09:33:32 +0000 (Fri, 27 Nov 2020) Log Message: ----------- Change target platform for the Atelier B provers The feature depends on version 3.3 of the Event-B IDE, so we shall also build against this version, rather than the more recent 3.5. This does not change much as the API used by the Atelier B provers has not evolved in between. Modified Paths: -------------- trunk/AtelierBProvers/pom.xml This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2020-11-27 09:19:04
|
Revision: 16735 http://sourceforge.net/p/rodin-b-sharp/svn/16735 Author: lvoisin Date: 2020-11-27 09:18:56 +0000 (Fri, 27 Nov 2020) Log Message: ----------- Fix library paths in macOS binaries The binaries for the official release do not have the same paths to libraries as the test version used before. Adapt the importation script as a consequence. Modified Paths: -------------- trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.macosx/scripts/import-macos-files.sh This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2020-11-24 16:39:10
|
Revision: 16734 http://sourceforge.net/p/rodin-b-sharp/svn/16734 Author: lvoisin Date: 2020-11-24 16:39:08 +0000 (Tue, 24 Nov 2020) Log Message: ----------- Bump Atelier B plugin and feature versions c.c.a.provers-feature: 2.2.1 -> 2.3.0 c.c.a.provers.core: 1.5.0 -> 1.6.0 c.c.a.provers.core.tests: 1.5.0 -> 1.6.0 c.c.a.provers.core.linux: 2.1.1 -> 2.3.0 c.c.a.provers.core.macosx: 2.1.0 -> 2.3.0 c.c.a.provers.core.win32: 2.1.1 -> 2.3.0 c.c.a.provers.ui: 1.3.0 -> 1.4.0 c.c.a.provers.site: 2.2.1 -> 2.3.0 Now the binary fragment have the same version as the feature and the update site, which makes things easier. The other plug-ins have got their minor version increased as they have been modified. Also update the copyright date displayed to the end-user. Modified Paths: -------------- trunk/AtelierBProvers/com.clearsy.atelierb.provers/about.properties trunk/AtelierBProvers/com.clearsy.atelierb.provers-feature/feature.xml trunk/AtelierBProvers/com.clearsy.atelierb.provers-feature/pom.xml trunk/AtelierBProvers/com.clearsy.atelierb.provers.core/META-INF/MANIFEST.MF trunk/AtelierBProvers/com.clearsy.atelierb.provers.core/pom.xml trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.linux/META-INF/MANIFEST.MF trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.linux/pom.xml trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.macosx/META-INF/MANIFEST.MF trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.macosx/pom.xml trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.tests/META-INF/MANIFEST.MF trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.tests/pom.xml trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.win32/META-INF/MANIFEST.MF trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.win32/pom.xml trunk/AtelierBProvers/com.clearsy.atelierb.provers.site/pom.xml trunk/AtelierBProvers/com.clearsy.atelierb.provers.ui/META-INF/MANIFEST.MF trunk/AtelierBProvers/com.clearsy.atelierb.provers.ui/pom.xml This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2020-11-24 16:38:49
|
Revision: 16733 http://sourceforge.net/p/rodin-b-sharp/svn/16733 Author: lvoisin Date: 2020-11-24 16:38:43 +0000 (Tue, 24 Nov 2020) Log Message: ----------- Fix issue with Atelier B update site For some unknown reason, the `feature` entry in the `category.xml` file was not taken into account by Tycho publisher. I have thus replaced it with a direct reference to the corresponding installation unit. Also removed the version which is not necessary and painful to maintain. Modified Paths: -------------- trunk/AtelierBProvers/com.clearsy.atelierb.provers.site/category.xml This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2020-11-24 16:38:34
|
Revision: 16732 http://sourceforge.net/p/rodin-b-sharp/svn/16732 Author: lvoisin Date: 2020-11-24 16:38:32 +0000 (Tue, 24 Nov 2020) Log Message: ----------- Extract Windows libraries Like for macOS and Linux, we need to extract the libraries in addition to the binary files. Modified Paths: -------------- trunk/AtelierBProvers/com.clearsy.atelierb.provers.core/src/com/clearsy/atelierb/provers/internal/core/ProverShell.java This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2020-11-24 16:38:22
|
Revision: 16731 http://sourceforge.net/p/rodin-b-sharp/svn/16731 Author: lvoisin Date: 2020-11-24 16:38:20 +0000 (Tue, 24 Nov 2020) Log Message: ----------- Fix Linux binaries Add a README describing the procedure for patching the binary files coming from Atelier B, together with a script to perform the task. Also extract the needed libraries at runtime. Modified Paths: -------------- trunk/AtelierBProvers/README.txt trunk/AtelierBProvers/com.clearsy.atelierb.provers.core/src/com/clearsy/atelierb/provers/internal/core/ProverShell.java Added Paths: ----------- trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.linux/README.txt trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.linux/scripts/ trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.linux/scripts/import-linux-files.sh This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2020-11-24 16:38:10
|
Revision: 16730 http://sourceforge.net/p/rodin-b-sharp/svn/16730 Author: lvoisin Date: 2020-11-24 16:38:08 +0000 (Tue, 24 Nov 2020) Log Message: ----------- Fix macOS binaries Add a README describing the procedure for patching the binary files coming from Atelier B, together with a script to perform the task. Also extract the needed libraries at runtime. Modified Paths: -------------- trunk/AtelierBProvers/README.txt trunk/AtelierBProvers/com.clearsy.atelierb.provers.core/src/com/clearsy/atelierb/provers/internal/core/ProverShell.java Added Paths: ----------- trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.macosx/README.txt trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.macosx/scripts/ trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.macosx/scripts/import-macos-files.sh This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2020-11-24 16:37:58
|
Revision: 16729 http://sourceforge.net/p/rodin-b-sharp/svn/16729 Author: lvoisin Date: 2020-11-24 16:37:50 +0000 (Tue, 24 Nov 2020) Log Message: ----------- Looser check for expected result Today the krt program prints a byte-order-mark at the beginning of its output. To cope with this (and possibly other future changes), we do not check anymore that the expected string is exactly at the beginning of the result file, but accept that a few characters may be prepended. Modified Paths: -------------- trunk/AtelierBProvers/com.clearsy.atelierb.provers.core/src/com/clearsy/atelierb/provers/internal/core/AtbProversCall.java This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2020-11-24 16:37:40
|
Revision: 16728 http://sourceforge.net/p/rodin-b-sharp/svn/16728 Author: lvoisin Date: 2020-11-24 16:37:33 +0000 (Tue, 24 Nov 2020) Log Message: ----------- Fix Java warning in tests The `array` method is not safe, and not really needed. Get rid of it. No functional change. Modified Paths: -------------- trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.tests/src/com/clearsy/atelierb/provers/core/tests/SeqProverIntegrationTests.java This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2020-11-24 16:37:23
|
Revision: 16727 http://sourceforge.net/p/rodin-b-sharp/svn/16727 Author: lvoisin Date: 2020-11-24 16:37:22 +0000 (Tue, 24 Nov 2020) Log Message: ----------- Port to Rodin 3.5 Update the target platform version to 3.5. Use the same Tycho and Maven versions as Rodin 3.5. Modified Paths: -------------- trunk/AtelierBProvers/pom.xml This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2020-11-24 16:37:13
|
Revision: 16726 http://sourceforge.net/p/rodin-b-sharp/svn/16726 Author: lvoisin Date: 2020-11-24 16:37:12 +0000 (Tue, 24 Nov 2020) Log Message: ----------- Remove the 32 bits architecture These are no longer supported. Modified Paths: -------------- trunk/AtelierBProvers/com.clearsy.atelierb.provers-feature/feature.xml trunk/AtelierBProvers/com.clearsy.atelierb.provers.site/category.xml trunk/AtelierBProvers/pom.xml This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2020-11-24 16:37:03
|
Revision: 16725 http://sourceforge.net/p/rodin-b-sharp/svn/16725 Author: lvoisin Date: 2020-11-24 16:37:01 +0000 (Tue, 24 Nov 2020) Log Message: ----------- Update Atelier B provers to Java 8 This is now required by Rodin 3.5. Also add missing field Automatic-Module-Name. Modified Paths: -------------- trunk/AtelierBProvers/com.clearsy.atelierb.provers.core/.classpath trunk/AtelierBProvers/com.clearsy.atelierb.provers.core/.settings/org.eclipse.jdt.core.prefs trunk/AtelierBProvers/com.clearsy.atelierb.provers.core/META-INF/MANIFEST.MF trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.tests/.classpath trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.tests/.settings/org.eclipse.jdt.core.prefs trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.tests/META-INF/MANIFEST.MF trunk/AtelierBProvers/com.clearsy.atelierb.provers.ui/.classpath trunk/AtelierBProvers/com.clearsy.atelierb.provers.ui/.settings/org.eclipse.jdt.core.prefs trunk/AtelierBProvers/com.clearsy.atelierb.provers.ui/META-INF/MANIFEST.MF This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2020-11-21 16:56:36
|
Revision: 16724 http://sourceforge.net/p/rodin-b-sharp/svn/16724 Author: lvoisin Date: 2020-11-21 16:56:29 +0000 (Sat, 21 Nov 2020) Log Message: ----------- Remove obsolete directories These directories make checkout take a lot of time, with no benefit. The port to Git has already been performed more than five years ago. Anyway, the code is still there in the history. Removed Paths: ------------- trunk/Camille NOW IN GIT/ trunk/CodeGeneration NOW IN GIT/ trunk/EMF_EventB NOW IN GIT/ trunk/Handbook NOW IN GIT/ trunk/Rose NOW IN GIT/ trunk/iumlb NOW IN GIT/ This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2020-10-01 14:08:05
|
Revision: 16723 http://sourceforge.net/p/rodin-b-sharp/svn/16723 Author: lvoisin Date: 2020-10-01 14:07:57 +0000 (Thu, 01 Oct 2020) Log Message: ----------- Add note about theory change This is a small note that was used as a basis for discussion with end-users of the Theory plug-in. Modified Paths: -------------- trunk/doc/eventb/theories/theories.tex This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2020-10-01 14:07:48
|
Revision: 16722 http://sourceforge.net/p/rodin-b-sharp/svn/16722 Author: lvoisin Date: 2020-10-01 14:07:46 +0000 (Thu, 01 Oct 2020) Log Message: ----------- WIP theories note Added Paths: ----------- trunk/doc/eventb/theories/ trunk/doc/eventb/theories/theories.tex This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2019-02-21 10:33:14
|
Revision: 16721 http://sourceforge.net/p/rodin-b-sharp/svn/16721 Author: cfsnook Date: 2019-02-21 10:33:10 +0000 (Thu, 21 Feb 2019) Log Message: ----------- iUML-B Documentor 1.0.0 Modified Paths: -------------- trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: Commits f. t. S. r. <rod...@li...> - 2019-02-13 14:55:37
|
Revision: 16720 http://sourceforge.net/p/rodin-b-sharp/svn/16720 Author: cfsnook Date: 2019-02-13 14:55:35 +0000 (Wed, 13 Feb 2019) Log Message: ----------- CODA Simulator 3.0.1, CODA UI 0.1.1, ORACLE 1.2.1 Modified Paths: -------------- trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |