RODIN

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

Analyzed 2 days ago. based on code collected 2 days ago.

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

←
1
2
…
384
385
386
387
388
389
390
391
392
→