RODIN

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

Analyzed 3 days ago. based on code collected 3 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 19, 2024 — Aug 19, 2025 Showing page 384 of 392 Search / Filter on:
Now launching Tom directly rather than using the provided shell-script.	Laurent Voisin	More...				over 19 years ago
added comments	Stefan Hallerstede	More...				over 19 years ago
added comments	Stefan Hallerstede	More...				over 19 years ago
improved error messages	Stefan Hallerstede	More...				over 19 years ago
added comments	Stefan Hallerstede	More...				over 19 years ago
Move EventBImageDescriptor to org.eventb.ui	Thai Son Hoang	More...				over 19 years ago
Labels for IUnnamedInternalElements are their contents.	Thai Son Hoang	More...				over 19 years ago
Mirrors section are set to have heighHint 0 when collapsed.	Thai Son Hoang	More...				over 19 years ago
Do not display the static checked model in the Project Explorer.	Thai Son Hoang	More...				over 19 years ago
Changed getPredicateSet() to check getContents() first before attempting to query the database. Now returns the null pointer in the case of empty contents except throwing a null pointer exception.	Farhad Mehta	More...				over 19 years ago
improved error messages	Stefan Hallerstede	More...				over 19 years ago
Added flag for debug messages in builder tests.	Laurent Voisin	More...				over 19 years ago
the static checker now saves the files created at the end of static checking; this makes the files visible immediately afterwards.	Stefan Hallerstede	More...				over 19 years ago
improved readability of error messages	Stefan Hallerstede	More...				over 19 years ago
corrected a bug concerning database access. creation of sc files succeeds now	Stefan Hallerstede	More...				over 19 years ago
+ improved the test + all tests runs pass	Stefan Hallerstede	More...				over 19 years ago
corrected a problem with phantom nodes	Stefan Hallerstede	More...				over 19 years ago
Fixed database bug when trying to create again an existing file with force flag to true (was throwing an exception).	Laurent Voisin	More...				over 19 years ago
Reindented some code.	Laurent Voisin	More...				over 19 years ago
Set DEBUG constant to false.	Laurent Voisin	More...				over 19 years ago
When creating fresh identifiers, take care of not using reserved names. Made the test method public in FormulaFactory.	Laurent Voisin	More...				over 19 years ago
When creating fresh identifiers, take care of not using reserved names. Made the test method public in FormulaFactory.	Laurent Voisin	More...				over 19 years ago
Fixed bug in lexer and pretty-printer: the arithmetic minus sign is character '\u2212' (instead of character '\u002d'), as defined in the event-B language specification document.	Laurent Voisin	More...				over 19 years ago
Fixed error in comment.	Laurent Voisin	More...				over 19 years ago
Added method Assignment#getUsedIdentifiers() and relevant tests.	Laurent Voisin	More...				over 19 years ago
Added some factory helpers for assignments.	Laurent Voisin	More...				over 19 years ago
Added a toString() method for debugging purposes.	Laurent Voisin	More...				over 19 years ago
Newly created element with 3-letter words: axm, set, cst, thm, evt, inv, grd	Thai Son Hoang	More...				over 19 years ago
Move doSave method to EventBDetailsSection and check for the existence of current detail page before saving.	Thai Son Hoang	More...				over 19 years ago
Separating commit and doSave in MasterDetailsBlock classes	Thai Son Hoang	More...				over 19 years ago

←
1
2
…
380
381
382
383
384
385
386
387
388
…
391
392
→