RODIN

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 22, 2024 — Aug 22, 2025 Showing page 386 of 392 Search / Filter on:
The interface for the constructor of unnamed internal element has changed ("name" parameter suppressed).	Laurent Voisin	More...				over 19 years ago
ID strings must be interned.	Laurent Voisin	More...				over 19 years ago
Published API for the Rodin builder.	Laurent Voisin	More...				over 19 years ago
Minimal marker support in the Rodin Database.	Laurent Voisin	More...				over 19 years ago
Added method getChildrenOfType().	Laurent Voisin	More...				over 19 years ago
Added getFilteredListOfChildren().	Laurent Voisin	More...				over 19 years ago
Added a final tag on methods that must not be overriden by clients.	Laurent Voisin	More...				over 19 years ago
The interface for the constructor of unnamed internal element has changed ("name" parameter suppressed).	Laurent Voisin	More...				over 19 years ago
The builder is now integrated in the Rodin Core Plugin.	Laurent Voisin	More...				over 19 years ago
The builder is now integrated in the Rodin Core Plugin.	Laurent Voisin	More...				over 19 years ago
Added accessors to the right-hand side of some assignments.	Laurent Voisin	More...				over 19 years ago
The builder is now integrated in the Rodin Core Plugin.	Laurent Voisin	More...				over 19 years ago
Updated to follow new Rodin database API (simplified).	Laurent Voisin	More...				over 19 years ago
added SCCarrierSet, SCConstant, SCVariable	Stefan Hallerstede	More...				over 19 years ago
added SCCarrierSet, SCConstant, SCVariable	Stefan Hallerstede	More...				over 19 years ago
POIdentifier is no longer used in statically checked files. It has been replaced by SCCarrierSet, SCConstant, SCVariable.	Stefan Hallerstede	More...				over 19 years ago
POIdentifier is no longer used in statically checked files. It has been replaced by SCCarrierSet, SCConstant, SCVariable.	Stefan Hallerstede	More...				over 19 years ago
POIdentifier is no longer used in statically checked files. It has been replaced by SCCarrierSet, SCConstant, SCVariable.	Stefan Hallerstede	More...				over 19 years ago
Made conversion from Expression to Type public as method Expression#toType().	Laurent Voisin	More...				over 19 years ago
Code cleanup.	Laurent Voisin	More...				over 19 years ago
Completed TODO item.	Laurent Voisin	More...				over 19 years ago
Added examples from javadoc of instantiate().	Laurent Voisin	More...				over 19 years ago
Changed name of instiation method to instantiate().	Laurent Voisin	More...				over 19 years ago
Added one more test of quantified predicate instantiation.	Laurent Voisin	More...				over 19 years ago
Refactored all code related to the application of a substitution to a formula.	Laurent Voisin	More...				over 19 years ago
Adapted test after refactoring of substitution application on formulas.	Laurent Voisin	More...				over 19 years ago
Adapted to new signature of bindTheseIdents().	Laurent Voisin	More...				over 19 years ago
Renamed some methods for better understanding.	Laurent Voisin	More...				over 19 years ago
changed parameter of resolveIdents from HashSet to Set	Stefan Hallerstede	More...				over 19 years ago
Added new test suite for the now public method "collectNamesAbove".	Laurent Voisin	More...				over 19 years ago

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