RODIN

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 7 hours ago. based on code collected about 16 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 22, 2024 — Aug 22, 2025 Showing page 390 of 392 Search / Filter on:
Extracted interfaces for Rodin files and internal elements. Move the corresponding base classes to a new package: org.rodinp.core.basis.	Laurent Voisin	More...				almost 20 years ago
Cleaned up delta flags.	Laurent Voisin	More...				almost 20 years ago
Cleaned up delta flags.	Laurent Voisin	More...				almost 20 years ago
Removed reconcile deltas which are not used for Rodin.	Laurent Voisin	More...				almost 20 years ago
Cleaned up delta flags. Updated Javadoc accordingly.	Laurent Voisin	More...				almost 20 years ago
The source element need not be in the same file as the target element.	Laurent Voisin	More...				almost 20 years ago
Fixed invalid delta (not rooted at the database)	Laurent Voisin	More...				almost 20 years ago
Do not synchronize anymore with the filesystem. Operate in core memory.	Laurent Voisin	More...				almost 20 years ago
Created IInternalParent to capture common protocol for RodinFile and InternalElement.	Laurent Voisin	More...				almost 20 years ago
Removed done task.	Laurent Voisin	More...				almost 20 years ago
Renamed ElementCache to OpenableCache.	Laurent Voisin	More...				almost 20 years ago
Removed done task.	Laurent Voisin	More...				almost 20 years ago
Renamed ElementCache to OpenableCache.	Laurent Voisin	More...				almost 20 years ago
Renamed ElementCache to OpenableCache.	Laurent Voisin	More...				almost 20 years ago
Added the copy operation for both Rodin files and internal elements.	Laurent Voisin	More...				almost 20 years ago
Added the copy operation for both Rodin files and internal elements.	Laurent Voisin	More...				almost 20 years ago
Updated verification code for unnamed elements, notably in the presence of renaming.	Laurent Voisin	More...				almost 20 years ago
Added use of a subprogress monitor when accessing the RodinFile contents.	Laurent Voisin	More...				almost 20 years ago
minor corrections	Stefan Hallerstede	More...				almost 20 years ago
Implemented "delete" operations for Rodin files and internal elements.	Laurent Voisin	More...				almost 20 years ago
Fixed bug in detection of top-level operation.	Laurent Voisin	More...				almost 20 years ago
fixed bug in createRodinFileFrom() which could create a Rodin file for a different resource!	Laurent Voisin	More...				almost 20 years ago
Fixed bug with moved Rodin file. Simplified some code.	Laurent Voisin	More...				almost 20 years ago
Added batch operations (run() method).	Laurent Voisin	More...				almost 20 years ago
Now one can compare a RodinElement with any object without raising a ClassCastException using equals().	Laurent Voisin	More...				almost 20 years ago
Fixed a few bugs in delta processing (project creation and change).	Laurent Voisin	More...				almost 20 years ago
create(IFile) now returns a RodinFile (more precise than IRodinElement).	Laurent Voisin	More...				almost 20 years ago
getRodinFiles now returns an array of RodinFile. backward compatible change.	Laurent Voisin	More...				almost 20 years ago
This is used to achieve a simpler (and safer) interface to the PO file. Predicates and predicate forms are subsumed by this type.	Stefan Hallerstede	More...				almost 20 years ago
A proof obligation is a sequent	Stefan Hallerstede	More...				almost 20 years ago

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