RODIN

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 1 hour ago. based on code collected about 18 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 24, 2024 — Apr 24, 2025 Showing page 388 of 389 Search / Filter on:
A predicate used somewhere in a proof obligation	Stefan Hallerstede	More...				over 19 years ago
Identifiers carry type information for predicates and substitutions that appear in a PO file	Stefan Hallerstede	More...				over 19 years ago
The hypothesis of a proof obligation	Stefan Hallerstede	More...				over 19 years ago
A POFile contains a list of proof obligations	Stefan Hallerstede	More...				over 19 years ago
Updated wrong comments. Changed serial version id.	Laurent Voisin	More...				over 19 years ago
Added means for (un)registering an element changed listener on the Rodin database.	Laurent Voisin	More...				over 19 years ago
ELEMENT_TYPE needs to be static	Thai Son Hoang	More...				over 19 years ago
Element type ids were not made fqdn by the plugin when reading configuration elements.	Thai Son Hoang	More...				over 19 years ago
Export main package + constructors must be public.	Thai Son Hoang	More...				over 19 years ago
Added loading and saving of an internal element contents.	Laurent Voisin	More...				over 19 years ago
Added re-export of plugin org.eclipse.core.resources.	Laurent Voisin	More...				over 19 years ago
Ignore "bin" directory.	Laurent Voisin	More...				over 19 years ago
Initial version of the Event-B Core Plugin.	Laurent Voisin	More...				over 19 years ago
getElementType() is now first declared in RodinElement.	Laurent Voisin	More...				over 19 years ago
Added Regions that implement a hierarchical set of Rodin elements.	Laurent Voisin	More...				over 19 years ago
Added @Override where needed.	Laurent Voisin	More...				over 19 years ago
Added parsing, saving and internal element creation.	Laurent Voisin	More...				over 19 years ago
getChildren now returns an array of RodinElement, not IRodinElement.	Laurent Voisin	More...				over 19 years ago
Done implementing save().	Laurent Voisin	More...				over 19 years ago
Added INVALID_INTERNAL_ELEMENT_TYPE.	Laurent Voisin	More...				over 19 years ago
Added sub-element creation.	Laurent Voisin	More...				over 19 years ago
Organized imports	Laurent Voisin	More...				over 19 years ago
Added message for creation of an internal element	Laurent Voisin	More...				over 19 years ago
Finalized file parsing + added internal element creation + implemented save() method.	Laurent Voisin	More...				over 19 years ago
Added addChildBefore() for ordered elements	Laurent Voisin	More...				over 19 years ago
Renamed isMemberElementType() into isInternalElementType()	Laurent Voisin	More...				over 19 years ago
Organized imports	Laurent Voisin	More...				over 19 years ago
Added internal element types	Laurent Voisin	More...				over 19 years ago
Creation of a new internal element	Laurent Voisin	More...				over 19 years ago
Don't process deltas on internal elements, only on openable.	Laurent Voisin	More...				over 19 years ago

←
1
2
…
381
382
383
384
385
386
387
388
389
→