RODIN

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 11 hours ago. based on code collected about 19 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Sep 11, 2024 — Sep 11, 2025 Showing page 388 of 392 Search / Filter on:
Reverting to initial revision. Primed identifiers are bound by the assignment where they occur, hence never occur as free identifiers in that context.	Laurent Voisin	More...				over 19 years ago
Reverting to initial revision. Primed identifiers are bound by the assignment where they occur, hence never occur as free identifiers in that context.	Laurent Voisin	More...				over 19 years ago
Added primed identifiers that will be used for implementing assignments.	Laurent Voisin	More...				over 19 years ago
Fixed unnecessary external parentheses when decompiling some expressions with Formula.toString().	Laurent Voisin	More...				over 19 years ago
added sees clause and ststic checker classes	Stefan Hallerstede	More...				over 19 years ago
added sees clause and some classes for static checking	Stefan Hallerstede	More...				over 19 years ago
added sees clause and some static checker classes	Stefan Hallerstede	More...				over 19 years ago
Ignore the bin directory which contains only derived resources.	Laurent Voisin	More...				over 19 years ago
Added a parseType() method in FormulaFactory.	Laurent Voisin	More...				over 19 years ago
The lexrt constructor now takes a ParseResult rather than creating one by itself.	Laurent Voisin	More...				over 19 years ago
Moved ParseResult to the parser package.	Laurent Voisin	More...				over 19 years ago
The lexrt constructor now takes a ParseResult rather than creating one by itself.	Laurent Voisin	More...				over 19 years ago
The parser constructor now takes a ParseResult rather than a FormulaFactory as input.	Laurent Voisin	More...				over 19 years ago
Addded method makeFreshIdentifiers() to FormulaFactory.	Laurent Voisin	More...				over 19 years ago
Cleaned up unused import.	Laurent Voisin	More...				over 19 years ago
Added emptiness test.	Laurent Voisin	More...				over 19 years ago
Typo in ITypeEnvironment.containsAll() declaration.	Farhad Mehta	More...				over 19 years ago
FormulaFactory is now a singleton class.	Laurent Voisin	More...				over 19 years ago
Ignore generated files	Laurent Voisin	More...				over 19 years ago
Initial release of the event-B AST library tests.	Laurent Voisin	More...				over 19 years ago
Initial public release of the event-B AST library plugin	Laurent Voisin	More...				over 19 years ago
added some elements	Stefan Hallerstede	More...				almost 20 years ago
added some methods	Stefan Hallerstede	More...				almost 20 years ago
added some methods	Stefan Hallerstede	More...				almost 20 years ago
added some elements	Stefan Hallerstede	More...				almost 20 years ago
some elements added	Stefan Hallerstede	More...				almost 20 years ago
Revised some TODOs.	Laurent Voisin	More...				almost 20 years ago
- renamed POPredicateForm to POModifiedPredicate - changed signature of POPredicateSet	Stefan Hallerstede	More...				almost 20 years ago
- added comments inhiting externalisation - renamed POPredicateForm into POModifiedPredicate	Stefan Hallerstede	More...				almost 20 years ago
Cleaned up code for copy and move of elements.	Laurent Voisin	More...				almost 20 years ago

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