Menu
▾
▴
rodin-b-sharp-commit — Commits from the Subversion repository
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
(8) |
Nov
(1) |
Dec
|
| 2025 |
Jan
(1) |
Feb
(21) |
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: Commits f. t. S. r. <rod...@li...> - 2025-02-27 10:36:16
|
Revision: 16777
http://sourceforge.net/p/rodin-b-sharp/svn/16777
Author: gverdier
Date: 2025-02-27 10:36:14 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Add update sites for new releases of Renaming and Gen. Inst. plug-ins
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...> - 2025-02-27 10:36:03
|
Revision: 16776
http://sourceforge.net/p/rodin-b-sharp/svn/16776
Author: gverdier
Date: 2025-02-27 10:36:01 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Prepare release 1.1.0 of Generic Instantiation plug-in
Modified Paths:
--------------
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/META-INF/MANIFEST.MF
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/pom.xml
trunk/Generic_Instantiation/ac.soton.genericInstantiation.feature/feature.properties
trunk/Generic_Instantiation/ac.soton.genericInstantiation.feature/feature.xml
trunk/Generic_Instantiation/ac.soton.genericInstantiation.feature/pom.xml
trunk/Generic_Instantiation/ac.soton.genericInstantiation.repository/pom.xml
trunk/Generic_Instantiation/ac.soton.genericInstantiation.tests/META-INF/MANIFEST.MF
trunk/Generic_Instantiation/ac.soton.genericInstantiation.tests/pom.xml
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/META-INF/MANIFEST.MF
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/pom.xml
trunk/Generic_Instantiation/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...> - 2025-02-27 10:35:47
|
Revision: 16775
http://sourceforge.net/p/rodin-b-sharp/svn/16775
Author: gverdier
Date: 2025-02-27 10:35:45 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Fix proof obligation name
Traditionally in Rodin, parts of PO names are separated with slashes,
not backslashes.
Modified Paths:
--------------
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/CommitAxiomsPatternsModule.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...> - 2025-02-27 10:35:32
|
Revision: 16774
http://sourceforge.net/p/rodin-b-sharp/svn/16774
Author: gverdier
Date: 2025-02-27 10:35:30 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Fix warnings in UI's plugin.xml and stop using deprecated actions
Modified Paths:
--------------
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/plugin.xml
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/ui/actions/GenericInstantiation.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...> - 2025-02-27 10:35:02
|
Revision: 16773
http://sourceforge.net/p/rodin-b-sharp/svn/16773
Author: gverdier
Date: 2025-02-27 10:34:59 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Add Maven build
We can now use Maven to build the plug-ins and the feature (its
feature.xml has been cleaned up and simplified), run the tests (an empty
test class had to be annotated @Ignore as having no tests is considered
a test failure) and build the repository for the update site.
Modified Paths:
--------------
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/META-INF/MANIFEST.MF
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/build.properties
trunk/Generic_Instantiation/ac.soton.genericInstantiation.feature/feature.xml
trunk/Generic_Instantiation/ac.soton.genericInstantiation.tests/src/ac/soton/genericinstantiation/core/tests/sc/GIPOGTests.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/META-INF/MANIFEST.MF
Added Paths:
-----------
trunk/Generic_Instantiation/README
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/pom.xml
trunk/Generic_Instantiation/ac.soton.genericInstantiation.feature/pom.xml
trunk/Generic_Instantiation/ac.soton.genericInstantiation.repository/
trunk/Generic_Instantiation/ac.soton.genericInstantiation.repository/category.xml
trunk/Generic_Instantiation/ac.soton.genericInstantiation.repository/pom.xml
trunk/Generic_Instantiation/ac.soton.genericInstantiation.tests/pom.xml
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/pom.xml
trunk/Generic_Instantiation/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...> - 2025-02-27 10:34:45
|
Revision: 16772
http://sourceforge.net/p/rodin-b-sharp/svn/16772
Author: gverdier
Date: 2025-02-27 10:34:43 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Disable default instance types used for carrier set replacement
It seems that the idea was to allow replacing a carrier set with INT or
BOOL. However, it did not work and generated completely broken POs.
Since it seems difficult to implement correctly, it is disabled for now.
Modified Paths:
--------------
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/core/utils/Util.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...> - 2025-02-27 10:34:29
|
Revision: 16771
http://sourceforge.net/p/rodin-b-sharp/svn/16771
Author: gverdier
Date: 2025-02-27 10:34:26 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Fix typing error
If getPatternType() or getParameterisationInfo() finds a powerset type,
it must return it, not the base type. As it was, it indicated that the
type of a carrier set S was S, which crashed the static checker: it has
to be POW(S).
Modified Paths:
--------------
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/ParameterisationInfo.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/PatternInfo.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...> - 2025-02-27 10:34:14
|
Revision: 16770
http://sourceforge.net/p/rodin-b-sharp/svn/16770
Author: gverdier
Date: 2025-02-27 10:34:12 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Fix four NullPointerExceptions in the static checker
When trying to find a type in the type table:
- do not try to decompose the type in a source-target pair if it's not a
product type
- if a type is not found in the type table, try to find POW(oldtype)
too: if it is mapped to a POW(newtype), then we can map newtype to
oldtype
- if everything else fails, assume that there has been no replacement
and return the type unmodified instead of returning null.
Initialize the name table as required by the super class from Rodin
Core.
Modified Paths:
--------------
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/SeesParameterisationModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/symbolTable/TypeTable.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...> - 2025-02-27 10:33:59
|
Revision: 16769
http://sourceforge.net/p/rodin-b-sharp/svn/16769
Author: gverdier
Date: 2025-02-27 10:33:57 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Fix strings displayed in editor
For some unknown reason, only the first word of these strings was
displayed. By using '_' instead of a space, they are displayed fully.
Modified Paths:
--------------
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/plugin.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...> - 2025-02-27 10:33:43
|
Revision: 16768
http://sourceforge.net/p/rodin-b-sharp/svn/16768
Author: gverdier
Date: 2025-02-27 10:33:41 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Reduce use of restricted APIs and remove some warnings
When possible, restricted APIs are not used anymore. For what remains,
warnings are better handled: some useless @SuppressWarnings have been
removed and a few ones have been added when needed.
Modified Paths:
--------------
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/PatternModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/RenamesEventModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.tests/src/ac/soton/genericinstantiation/core/tests/AbstractEventBTests.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.tests/src/ac/soton/genericinstantiation/core/tests/BuilderTest.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.tests/src/ac/soton/genericinstantiation/core/tests/sc/GIPOGTests.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/GenericInstantiationImage.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/AbstractRenamesAttributeManipulation.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/AbstractReplacesAttributeManipulation.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/InstantiatesAbsPatternContextAttributeManipulation.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/InstantiatesAbstractAttributeManipulation.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/InstantiatesPatternContextAttributeManipulation.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/InstantiatesPatternProjectAttributeManipulation.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/InstantiatesPatternttributeManipulation.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/RefinesProblemAttributeManipulation.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/ReplacesInstanceConstantAttributeManipulation.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/ReplacesInstanceSetAttributeManipulation.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/SeesProblemContextAttributeManipulation.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/explorer/navigator/decorator/GIPOStatusDec.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...> - 2025-02-27 10:33:22
|
Revision: 16767
http://sourceforge.net/p/rodin-b-sharp/svn/16767
Author: gverdier
Date: 2025-02-27 10:33:20 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Clean-up use of genericity
In particular, missing type parameters have been added.
Modified Paths:
--------------
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/core/utils/EventBUtils.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/CommitAxiomsPatternsModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/CommitSCEventsModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/state/ILabelTable.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/symbolTable/LabelTable.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/ui/editors/ColorManager.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/ui/explorer/model/GenericInstantiationModelController.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/ui/wizards/GenericInstantiationWizard.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/ui/wizards/InitialWizardPage.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...> - 2025-02-27 10:33:03
|
Revision: 16766
http://sourceforge.net/p/rodin-b-sharp/svn/16766
Author: gverdier
Date: 2025-02-27 10:33:01 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Update UI methods to stop using deprecated or removed APIs
Modified Paths:
--------------
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/META-INF/MANIFEST.MF
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/GenericInstantiationImage.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/ui/GIUIPlugin.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/ui/explorer/GenericInstantiationChildrenContentProvider.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/ui/explorer/model/GenericInstantiationModelPOContainer.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/ui/wizards/InitialWizardPage.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...> - 2025-02-27 10:32:46
|
Revision: 16765
http://sourceforge.net/p/rodin-b-sharp/svn/16765
Author: gverdier
Date: 2025-02-27 10:32:44 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Declare item relationships in plugin.xml and update test
Since Rodin 3.0, we can't just declare internal elements and attribute
types in the plugin.xml, we must also declare their relationships. These
have been added.
The only test in the project has also been fixed to use new APIs to
create internal elements correctly.
Modified Paths:
--------------
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/plugin.xml
trunk/Generic_Instantiation/ac.soton.genericInstantiation.tests/src/ac/soton/genericinstantiation/core/tests/sc/GIStaticCheckTests.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...> - 2025-02-27 10:32:30
|
Revision: 16764
http://sourceforge.net/p/rodin-b-sharp/svn/16764
Author: gverdier
Date: 2025-02-27 10:32:27 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Fix compilation errors when targeting Rodin 3.8+
As the plug-in was made for Rodin 2.x, some APIs have changed since. In
particular:
- LanguageVersion has been removed
- many explicit FormulaFactory parameters are not needed anymore
- some exception specifications have changed
- some internal APIs that were used are now in exported packages
Modified Paths:
--------------
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/core/ISCInstantiatesPattern.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/core/basis/SCInstantiatesPattern.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/core/utils/EventBUtils.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/core/utils/Util.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/GIInvariantTable.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/InstanceRenamedTheoremTable.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GIEventActionBodySimulationModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GIEventActionFrameSimulationModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GIEventActionModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GIEventActionUtilityModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GIEventHypothesesModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GIEventModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GIEventRefinementInvariantModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GIEventStrengthenGuardModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GIHypothesesModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GINewEventInvariantModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/MachineInfo.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/ParameterisationInfo.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/PatternInfo.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/AbstractUtilModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/CommitAxiomsPatternsModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/CommitSCEventsModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/RenamesParameterFilterModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/RenamesVariableFilterModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/ReplacesConstantFilterModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/ReplacesSetFilterModule.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/state/IMachineInfo.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/state/IPatternInfo.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.tests/src/ac/soton/genericinstantiation/core/tests/AbstractEventBTests.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/GenericInstantiationImage.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/InstantiatesPatternProjectAttributeManipulation.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/ui/actions/GenericInstantiation.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...> - 2025-02-27 10:32:06
|
Revision: 16763
http://sourceforge.net/p/rodin-b-sharp/svn/16763
Author: gverdier
Date: 2025-02-27 10:32:04 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Add target platform to load dependencies and remove duplicated code
Since the Generic Instantiation plug-in depends on the Refactory
plug-in, this dependency is expressed in the .target file and the code
of the Refactory plug-in (that was copied from ../Refactory) is removed.
Added Paths:
-----------
trunk/Generic_Instantiation/ac.soton.genericInstantiation.feature/ac.soton.genericInstantiation.feature.target
Removed Paths:
-------------
trunk/Generic_Instantiation/ac.ddorf.refactory/.classpath
trunk/Generic_Instantiation/ac.ddorf.refactory/.project
trunk/Generic_Instantiation/ac.ddorf.refactory/META-INF/MANIFEST.MF
trunk/Generic_Instantiation/ac.ddorf.refactory/build.properties
trunk/Generic_Instantiation/ac.ddorf.refactory/plugin.xml
trunk/Generic_Instantiation/ac.ddorf.refactory/schema/renameRefactoring.exsd
trunk/Generic_Instantiation/ac.ddorf.refactory/schema/renameRefactoringFiles.exsd
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/ExecutableExtensionDesc.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/InternalSpecNode.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/RefactorResult.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/RefactorResultMap.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/Refactory.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/RefactoryManager.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/RootSpecNode.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/SpecNode.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/files/FileAssociationDesc.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/files/RelatedFile.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/files/RelatedFileDesc.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/files/RelatedFileGraph.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/files/RelatedFileManager.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/operations/OperationDesc.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/operations/OperationScheduler.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/operations/OperationSchedulerIndexer.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/operations/Refactoring.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/operations/SymbolLoaderDesc.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/utils/Messages.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/internal/refactory/utils/messages.properties
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/refactory/IOperation.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/refactory/IRefactorProblem.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/refactory/IRefactorResult.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/refactory/IRelatedFiles.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/refactory/ISymbolSupplier.java
trunk/Generic_Instantiation/ac.ddorf.refactory/src/ac/ddorf/refactory/RefactoryPlugin.java
trunk/Generic_Instantiation/ac.ddorf.refactory/utils/commons-lang-2.0.jar
trunk/Generic_Instantiation/ac.ddorf.refactory/utils/license.txt
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/.classpath
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/.options
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/.project
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/META-INF/MANIFEST.MF
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/build.properties
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/plugin.xml
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/eventb/RefactoryCorePlugIn.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/eventb/RefactoryFormulaRewriter.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/RefactoryUtils.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/operations/AbstractRenameEventBRoot.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/operations/RenameActionInEventInMachine.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/operations/RenameContext.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/operations/RenameEventBElementUtil.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/operations/RenameEventInMachine.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/operations/RenameIdentifierElement.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/operations/RenameLabelledElement.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/operations/RenameMachine.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/operations/RenameParameterInEventInMachine.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/operations/RenameVariableInContext.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/operations/SymbolSupplierIdentifierContext.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/operations/SymbolSupplierIdentifierMachine.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/operations/SymbolSupplierLabelContext.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/operations/SymbolSupplierLabelEvent.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/operations/SymbolSupplierLabelMachine.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/operations/SymbolSupplierUtil.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/relatedFiles/RelatedFileContextOP.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/relatedFiles/RelatedFileMachineOP.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/relatedFiles/RelatedFileUtil.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/utils/EventBRefactoryUtils.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/utils/Messages.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/utils/RefactoryProofBuilder.java
trunk/Generic_Instantiation/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/utils/messages.properties
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...> - 2025-02-27 10:31:45
|
Revision: 16762
http://sourceforge.net/p/rodin-b-sharp/svn/16762
Author: gverdier
Date: 2025-02-27 10:31:43 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Update Generic Instantiation plug-in to use newer Java
The plug-in now targets Java 11.
There are many issues, including compilation errors, that will have to
be fixed in the next commits.
Modified Paths:
--------------
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/.classpath
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/.settings/org.eclipse.core.resources.prefs
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/.settings/org.eclipse.jdt.core.prefs
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/META-INF/MANIFEST.MF
trunk/Generic_Instantiation/ac.soton.genericInstantiation.tests/.classpath
trunk/Generic_Instantiation/ac.soton.genericInstantiation.tests/.settings/org.eclipse.core.resources.prefs
trunk/Generic_Instantiation/ac.soton.genericInstantiation.tests/.settings/org.eclipse.jdt.core.prefs
trunk/Generic_Instantiation/ac.soton.genericInstantiation.tests/META-INF/MANIFEST.MF
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/.classpath
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/.settings/org.eclipse.core.resources.prefs
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/.settings/org.eclipse.jdt.core.prefs
trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/META-INF/MANIFEST.MF
Added Paths:
-----------
trunk/Generic_Instantiation/ac.soton.genericInstantiation.feature/.settings/
trunk/Generic_Instantiation/ac.soton.genericInstantiation.feature/.settings/org.eclipse.core.resources.prefs
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...> - 2025-02-27 10:31:09
|
Revision: 16761
http://sourceforge.net/p/rodin-b-sharp/svn/16761
Author: gverdier
Date: 2025-02-27 10:31:04 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Prepare release 1.4.0 of Refactory plug-in
Modified Paths:
--------------
trunk/Refactory/ac.ddorf.refactory/META-INF/MANIFEST.MF
trunk/Refactory/ac.ddorf.refactory/pom.xml
trunk/Refactory/ac.ddorf.refactory-feature/feature.properties
trunk/Refactory/ac.ddorf.refactory-feature/feature.xml
trunk/Refactory/ac.ddorf.refactory-feature/pom.xml
trunk/Refactory/ac.ddorf.refactory.eventb/META-INF/MANIFEST.MF
trunk/Refactory/ac.ddorf.refactory.eventb/pom.xml
trunk/Refactory/ac.ddorf.refactory.repository/pom.xml
trunk/Refactory/ac.ddorf.refactory.tests/META-INF/MANIFEST.MF
trunk/Refactory/ac.ddorf.refactory.tests/pom.xml
trunk/Refactory/ac.ddorf.refactory.ui/META-INF/MANIFEST.MF
trunk/Refactory/ac.ddorf.refactory.ui/pom.xml
trunk/Refactory/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...> - 2025-02-27 10:30:50
|
Revision: 16760
http://sourceforge.net/p/rodin-b-sharp/svn/16760
Author: gverdier
Date: 2025-02-27 10:30:49 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Use Maven to build Refactory plug-in and its p2 repository
Added Paths:
-----------
trunk/Refactory/README
trunk/Refactory/ac.ddorf.refactory/pom.xml
trunk/Refactory/ac.ddorf.refactory-feature/ac.ddorf.refactory-feature.target
trunk/Refactory/ac.ddorf.refactory-feature/pom.xml
trunk/Refactory/ac.ddorf.refactory.eventb/pom.xml
trunk/Refactory/ac.ddorf.refactory.repository/
trunk/Refactory/ac.ddorf.refactory.repository/category.xml
trunk/Refactory/ac.ddorf.refactory.repository/pom.xml
trunk/Refactory/ac.ddorf.refactory.tests/pom.xml
trunk/Refactory/ac.ddorf.refactory.ui/pom.xml
trunk/Refactory/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...> - 2025-02-27 10:30:36
|
Revision: 16759
http://sourceforge.net/p/rodin-b-sharp/svn/16759
Author: gverdier
Date: 2025-02-27 10:30:34 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Replace deprecated action for refactory with modern command
Modified Paths:
--------------
trunk/Refactory/ac.ddorf.refactory.ui/plugin.xml
trunk/Refactory/ac.ddorf.refactory.ui/src/ac/soton/refactory/internal/ui/eventbeditor/actions/RefactoryIndexerUpdatePage.java
trunk/Refactory/ac.ddorf.refactory.ui/src/ac/soton/refactory/internal/ui/eventbeditor/actions/RefactoryRenamingPage.java
trunk/Refactory/ac.ddorf.refactory.ui/src/ac/soton/refactory/internal/ui/eventbeditor/actions/RefactoryWizard.java
trunk/Refactory/ac.ddorf.refactory.ui/src/ac/soton/refactory/internal/ui/eventbeditor/actions/RenameEventBElementAction.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...> - 2025-02-27 10:30:19
|
Revision: 16758
http://sourceforge.net/p/rodin-b-sharp/svn/16758
Author: gverdier
Date: 2025-02-27 10:30:16 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Fix failing refactory tests
The order of hash maps is not stable. Test actions sometimes ended up
being created in the wrong order, causing the tests to fail.
Modified Paths:
--------------
trunk/Refactory/ac.ddorf.refactory.tests/src/ac/soton/refactory/tests/basic/BasicTest.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...> - 2025-02-27 10:30:01
|
Revision: 16757
http://sourceforge.net/p/rodin-b-sharp/svn/16757
Author: gverdier
Date: 2025-02-27 10:29:58 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Update Refactory plug-in to newer Java and Eclipse
- target Java 11 instead of Java 1.6
- set encoding of projects to UTF-8
- fix various deprecation warnings
Modified Paths:
--------------
trunk/Refactory/ac.ddorf.refactory/.classpath
trunk/Refactory/ac.ddorf.refactory/.settings/org.eclipse.jdt.core.prefs
trunk/Refactory/ac.ddorf.refactory/META-INF/MANIFEST.MF
trunk/Refactory/ac.ddorf.refactory.eventb/.classpath
trunk/Refactory/ac.ddorf.refactory.eventb/.settings/org.eclipse.jdt.core.prefs
trunk/Refactory/ac.ddorf.refactory.eventb/META-INF/MANIFEST.MF
trunk/Refactory/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/RefactoryUtils.java
trunk/Refactory/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/utils/EventBRefactoryUtils.java
trunk/Refactory/ac.ddorf.refactory.tests/.classpath
trunk/Refactory/ac.ddorf.refactory.tests/.settings/org.eclipse.jdt.core.prefs
trunk/Refactory/ac.ddorf.refactory.tests/META-INF/MANIFEST.MF
trunk/Refactory/ac.ddorf.refactory.tests/src/ac/ddorf/refactory/tests/basic/BasicTest.java
trunk/Refactory/ac.ddorf.refactory.tests/src/ac/ddorf/refactory/tests/basic/conf/ConfElement.java
trunk/Refactory/ac.ddorf.refactory.ui/.classpath
trunk/Refactory/ac.ddorf.refactory.ui/.settings/org.eclipse.jdt.core.prefs
trunk/Refactory/ac.ddorf.refactory.ui/META-INF/MANIFEST.MF
trunk/Refactory/ac.ddorf.refactory.ui/src/ac/soton/refactory/internal/ui/UIUtils.java
trunk/Refactory/ac.ddorf.refactory.ui/src/ac/soton/refactory/internal/ui/eventbeditor/actions/RefactoryWizard.java
trunk/Refactory/ac.ddorf.refactory.ui/src/ac/soton/refactory/ui/RefactoryPluginUI.java
Added Paths:
-----------
trunk/Refactory/ac.ddorf.refactory/.settings/org.eclipse.core.resources.prefs
trunk/Refactory/ac.ddorf.refactory.eventb/.settings/org.eclipse.core.resources.prefs
trunk/Refactory/ac.ddorf.refactory.tests/.settings/org.eclipse.core.resources.prefs
trunk/Refactory/ac.ddorf.refactory.ui/.settings/org.eclipse.core.resources.prefs
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...> - 2025-01-20 09:50:40
|
Revision: 16756
http://sourceforge.net/p/rodin-b-sharp/svn/16756
Author: gverdier
Date: 2025-01-20 09:50:38 +0000 (Mon, 20 Jan 2025)
Log Message:
-----------
Atelier B provers version 2.4.1
This fixes a bug with some Chinese versions of Windows: the first
character of the output gets replaced by some Chinese characters,
preventing the plug-in from recognizing successful executions of the
provers.
Modified Paths:
--------------
trunk/AtelierBProvers/com.clearsy.atelierb.provers/META-INF/MANIFEST.MF
trunk/AtelierBProvers/com.clearsy.atelierb.provers/about.properties
trunk/AtelierBProvers/com.clearsy.atelierb.provers/pom.xml
trunk/AtelierBProvers/com.clearsy.atelierb.provers-feature/feature.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/src/com/clearsy/atelierb/provers/internal/core/AtbProversCall.java
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.site/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...> - 2024-11-07 16:30:56
|
Revision: 16755
http://sourceforge.net/p/rodin-b-sharp/svn/16755
Author: gverdier
Date: 2024-11-07 16:30:53 +0000 (Thu, 07 Nov 2024)
Log Message:
-----------
Prepare release of AtelierB provers version 2.4.0
- Based on AtelierB 24.04
- Updated domain of update site (it's now at https://www.atelierb.eu)
- Added support for Apple Silicon
- Fixed Eclipse warnings (Java version, missing encodings)
Modified Paths:
--------------
trunk/AtelierBProvers/README.txt
trunk/AtelierBProvers/com.clearsy.atelierb.provers/META-INF/MANIFEST.MF
trunk/AtelierBProvers/com.clearsy.atelierb.provers/about.properties
trunk/AtelierBProvers/com.clearsy.atelierb.provers/pom.xml
trunk/AtelierBProvers/com.clearsy.atelierb.provers-feature/feature.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/.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/pom.xml
trunk/AtelierBProvers/com.clearsy.atelierb.provers.core/src/com/clearsy/atelierb/provers/internal/core/ProverShell.java
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.linux/scripts/import-linux-files.sh
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.macosx/scripts/import-macos-files.sh
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.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/.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
trunk/AtelierBProvers/com.clearsy.atelierb.provers.ui/pom.xml
trunk/AtelierBProvers/pom.xml
Added Paths:
-----------
trunk/AtelierBProvers/com.clearsy.atelierb.provers/.settings/org.eclipse.core.resources.prefs
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...> - 2024-10-17 13:17:01
|
Revision: 16754
http://sourceforge.net/p/rodin-b-sharp/svn/16754
Author: gverdier
Date: 2024-10-17 13:16:59 +0000 (Thu, 17 Oct 2024)
Log Message:
-----------
Add update site for B2Latex plug-in 0.8.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...> - 2024-10-17 13:16:41
|
Revision: 16753
http://sourceforge.net/p/rodin-b-sharp/svn/16753
Author: gverdier
Date: 2024-10-17 13:16:39 +0000 (Thu, 17 Oct 2024)
Log Message:
-----------
Update build system and prepare 0.8 release
- Ant build files are removed and replaced with pom.xml files for Maven
- an update site is built in ac.soton.eventb.latex.repository
- version is incremented from 0.7 to 0.8 and copyrights updated
- aarch64 is enabled for macOS
Modified Paths:
--------------
trunk/B2Latex/ac.soton.eventb.latex/META-INF/MANIFEST.MF
trunk/B2Latex/ac.soton.eventb.latex/about.properties
trunk/B2Latex/ac.soton.eventb.latex.feature/feature.properties
trunk/B2Latex/ac.soton.eventb.latex.feature/feature.xml
trunk/B2Latex/ac.soton.eventb.latex.ui/META-INF/MANIFEST.MF
Added Paths:
-----------
trunk/B2Latex/.gitignore
trunk/B2Latex/README
trunk/B2Latex/ac.soton.eventb.latex/pom.xml
trunk/B2Latex/ac.soton.eventb.latex.feature/ac.soton.eventb.latex.feature.target
trunk/B2Latex/ac.soton.eventb.latex.feature/pom.xml
trunk/B2Latex/ac.soton.eventb.latex.repository/
trunk/B2Latex/ac.soton.eventb.latex.repository/category.xml
trunk/B2Latex/ac.soton.eventb.latex.repository/pom.xml
trunk/B2Latex/ac.soton.eventb.latex.ui/pom.xml
trunk/B2Latex/pom.xml
Removed Paths:
-------------
trunk/B2Latex/ac.soton.eventb.latex.feature/build/build.properties
trunk/B2Latex/ac.soton.eventb.latex.feature/build/customTargets.xml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
