RODIN

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 24 hours 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 1 of 392 Search / Filter on:
Refactor DatatypeTranslator	Laurent Voisin	More...				3 months ago
Add specialized translate method	Laurent Voisin	More...				3 months ago
Use isBasic of datatypes	Laurent Voisin	More...				3 months ago
Add method isBasic to datatypes	Laurent Voisin	More...				3 months ago
Optimize DatatypeBuilder	Laurent Voisin	More...				3 months ago
Add specialized shiftBoundIdentifiers	Laurent Voisin	More...				3 months ago
Remove useless method toTrgExpr	Laurent Voisin	More...				3 months ago
Pass the extension rather than a source expression	Laurent Voisin	More...				3 months ago
Check target children rather than source	Laurent Voisin	More...				3 months ago
Rework makeSetConstructorFixpointAxiom	Laurent Voisin	More...				3 months ago
Rework makeSetConstructorUnionAxiom	Laurent Voisin	More...				3 months ago
Create TranslatingSetSubstitution	Laurent Voisin	More...				3 months ago
Extract methods mSetBID(s)	Laurent Voisin	More...				3 months ago
Extract methods mSetBoundIdent(s)	Laurent Voisin	More...				3 months ago
Make more precise the type of formulaRewriter	Laurent Voisin	More...				3 months ago
Make more precise the type of srcTypeConstructor	Laurent Voisin	More...				3 months ago
Remove hasDestructors	Laurent Voisin	More...				3 months ago
Avoid full recursive call	Laurent Voisin	More...				3 months ago
Use more precise array type	Laurent Voisin	More...				3 months ago
Extract mTrgFunImage	Laurent Voisin	More...				3 months ago
Change method name	Laurent Voisin	More...				3 months ago
Rename method	Laurent Voisin	More...				3 months ago
Document the source conversion	Laurent Voisin	More...				3 months ago
Document the source conversion	Laurent Voisin	More...				3 months ago
Automatic renaming of element in extension point	Laurent Voisin	More...				3 months ago
Fix FR#291 better type synthesis for datatype	Laurent Voisin	More...				3 months ago
Fix FR#291 better type synthesis for datatype	Laurent Voisin	More...				3 months ago
Extract method inferResultType	Laurent Voisin	More...				3 months ago
Prepare Rodin 3.10	Laurent Voisin	More...				3 months ago
updating parent and plugins versions to 3.10	Idir AIT SADOUNE	More...				4 months ago

←
1
2
3
4
5
6
7
8
9
…
391
392
→