RODIN

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Sep 01, 2024 — Sep 01, 2025 Showing page 387 of 392 Search / Filter on:
Fixed temporarily the tests, while waiting for type synthesis to be implemented.	Laurent Voisin	More...				over 19 years ago
Added test cases that revealed a bug in pretty-printing bound identifiers.	Laurent Voisin	More...				over 19 years ago
Fixed bug in buildString.	Laurent Voisin	More...				over 19 years ago
Added new public method "collectNamesAbove" for quantified formula. Fixed bug in internal implementation of that method.	Laurent Voisin	More...				over 19 years ago
Added printing a general failure message when some type variables are unsolved. This can happen for instance if there are no source location associated to a formula.	Laurent Voisin	More...				over 19 years ago
Extracted some generally usefull methods from QuantifiedHelper (private class) to QuantifiedUtil (public API).	Laurent Voisin	More...				over 19 years ago
getInternalElementTypeDescription() is now private.	Laurent Voisin	More...				over 19 years ago
Creating dummy action "Prove" for Machines, Context, etc.	Thai Son Hoang	More...				over 19 years ago
Default substitution is "skip"	Thai Son Hoang	More...				over 19 years ago
Action Element is Unnamed.	Thai Son Hoang	More...				over 19 years ago
Added tests for type environment manipulation.	Laurent Voisin	More...				over 19 years ago
Smoothed requirements on adding a name to a type environment. It is now possible to add a name if it's associated to the same type as before.	Laurent Voisin	More...				over 19 years ago
Sharing the preliminary version of the Editing UI.	Thai Son Hoang	More...				over 19 years ago
Sharing the preliminary version of the Event-B Keyboard	Thai Son Hoang	More...				over 19 years ago
Sharing the preliminary version of the Editing UI.	Thai Son Hoang	More...				over 19 years ago
corrected little bug	Stefan Hallerstede	More...				over 19 years ago
corrected little bug	Stefan Hallerstede	More...				over 19 years ago
Fixed bug in containsAll (NullPointerException) + improved algo.	Farhad Mehta	More...				over 19 years ago
Added check that at least one identifier is quantified in quantified formulas.	Laurent Voisin	More...				over 19 years ago
corrected a class cast error in getOldInvariants	Stefan Hallerstede	More...				over 19 years ago
tests for - well-definedness - fisibility - before-after predicates assignments	Stefan Hallerstede	More...				over 19 years ago
added - well-definedness - fisibility - before-after predicate methods to assignements	Stefan Hallerstede	More...				over 19 years ago
A literal predicate is always type-checked.	Laurent Voisin	More...				over 19 years ago
Implemented isTypeChecked() for assignments.	Laurent Voisin	More...				over 19 years ago
Implemented isLegible() for assignments. Changed interface so that a context can be passed to that method.	Laurent Voisin	More...				over 19 years ago
Implemented isWellFormed().	Laurent Voisin	More...				over 19 years ago
Implemented flatten(), collectFreeIdentifiers(), collectNamesAbove().	Laurent Voisin	More...				over 19 years ago
actions are unnamed	Stefan Hallerstede	More...				over 19 years ago
Implemented typechecking for assignments.	Laurent Voisin	More...				over 19 years ago
Added assignments (parsing and unparsing).	Laurent Voisin	More...				over 19 years ago

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