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 383 of 392 Search / Filter on:
updated javadoc target.	Laurent Voisin	More...				over 19 years ago
Fixed some comment.	Laurent Voisin	More...				over 19 years ago
Change RemaingGoals view to ObligationList View, reimplement this similar to ContentOutline View	Thai Son Hoang	More...				over 19 years ago
Fix the wrong hover-over tip for various pages in Event-B Editor	Thai Son Hoang	More...				over 19 years ago
test suite for eventb core. here: static checker and proof obligation generator	Stefan Hallerstede	More...				over 19 years ago
renamed test package	Stefan Hallerstede	More...				over 19 years ago
Having the hyperlinks for apply tactic associated with the current goals.	Thai Son Hoang	More...				over 19 years ago
added some comments	Stefan Hallerstede	More...				over 19 years ago
Registers images used in Proof Tree UI.	Thai Son Hoang	More...				over 19 years ago
Event-B Editor start with an assigned image.	Thai Son Hoang	More...				over 19 years ago
No need to get the extension of a file.	Thai Son Hoang	More...				over 19 years ago
Classes are now internal (Some of them will be revealed later on).	Thai Son Hoang	More...				over 19 years ago
added proof obligation generator for Event-B	Stefan Hallerstede	More...				over 19 years ago
+ improved error messages + produces now error message for missing initialisation + moved SCCore here	Stefan Hallerstede	More...				over 19 years ago
corrected bug with unloaded build state when cleaning	Stefan Hallerstede	More...				over 19 years ago
Move EventBMath to org.eventb.ui.editors	Thai Son Hoang	More...				over 19 years ago
Added test for NPE when computing the children of a Rodin Project (in case it contains a file of unknown content type)	Laurent Voisin	More...				over 19 years ago
fixed NPE in computeChildren()	Laurent Voisin	More...				over 19 years ago
Close the associated RodinFile when closing an editor	Thai Son Hoang	More...				over 19 years ago
removed the TYPEVARIABLE tag which is not used anymore.	Laurent Voisin	More...				over 19 years ago
\| is "U+2223", not "\|".	Thai Son Hoang	More...				over 19 years ago
NAT1 is U+2115 U+0031, not U+2115 U+2081. Similar to POW1.	Thai Son Hoang	More...				over 19 years ago
Added tests for checking that XML errors get reported and that classical Unix whitespace are ignored in XML files.	Laurent Voisin	More...				over 19 years ago
Fixed bug in trimming whitespace out of strings that prevented line feeds from being considered as white space.	Laurent Voisin	More...				over 19 years ago
Added an XML error handler so that XML error are now reported as a Rodin database exception.	Laurent Voisin	More...				over 19 years ago
Fixed plugin name and bumped version to 0.8.0	Laurent Voisin	More...				over 19 years ago
Removed ASCII equivalent from lexer: upto is not ".." setminus is not "\" mul is not "*" mid is not "\|" becomes-such-that is not ":\|" le is not "<=" ge is not ">=" qdot is not U+22C5 converse is not "~"	Laurent Voisin	More...				over 19 years ago
Changed label of LexerError.	Laurent Voisin	More...				over 19 years ago
Enforce uniform use of UTF-8 encoding in this project.	Laurent Voisin	More...				over 19 years ago
Enforce uniform use of UTF-8 encoding in this project.	Laurent Voisin	More...				over 19 years ago

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