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 379 of 392 Search / Filter on:
Commented out direct access to the tools. Tests now use the builder.	Laurent Voisin	More...				over 19 years ago
Removed all hardcoding in file name manipulation.	Laurent Voisin	More...				over 19 years ago
Fixed bug in DLK PO: guards were not existentially quantified.	Laurent Voisin	More...				over 19 years ago
Added methods for easily accessing various files of the same component.	Laurent Voisin	More...				over 19 years ago
Reduced test of DLK PO to a minimal test showing Son's bug.	Laurent Voisin	More...				over 19 years ago
added a test	Stefan Hallerstede	More...				over 19 years ago
added a test	Stefan Hallerstede	More...				over 19 years ago
Added utility methods for manipulating event-B file names.	Laurent Voisin	More...				over 19 years ago
removed unused imports	Farhad Mehta	More...				over 19 years ago
added new tactics	Farhad Mehta	More...				over 19 years ago
Redoing tactic tests	Farhad Mehta	More...				over 19 years ago
Check if the Predicate set belongs to a PO or PR file and typecast appropriately.	Thai Son Hoang	More...				over 19 years ago
Optimized code.	Laurent Voisin	More...				over 19 years ago
Added test for failed rule application.	Laurent Voisin	More...				over 19 years ago
Fixed after uncompatible change in IProofTree.	Laurent Voisin	More...				over 19 years ago
Implemented delta processing for proof trees.	Laurent Voisin	More...				over 19 years ago
Implemented the ObligationExplorer to link with the actual PR files.	Thai Son Hoang	More...				over 19 years ago
corrected wrong entry in fileElementType of PO file	Stefan Hallerstede	More...				over 19 years ago
replaced assert with Assert.assertTrue()	Farhad Mehta	More...				over 19 years ago
Cleaned up unused imports.	Laurent Voisin	More...				over 19 years ago
Defined constants for Tactics' SYMBOLs, which are used in the UI.	Thai Son Hoang	More...				over 19 years ago
Linked to bpr files when chose Prove from the Project Explorer.	Thai Son Hoang	More...				over 19 years ago
Cleaned up unused imports.	Laurent Voisin	More...				over 19 years ago
Updated according to changes of the seqprover: Tactic -> ITactic.	Thai Son Hoang	More...				over 19 years ago
Updated according to changes of the seqprover: Tactic -> ITactic.	Thai Son Hoang	More...				over 19 years ago
Added PLUGIN_ID constant.	Laurent Voisin	More...				over 19 years ago
Added utility class for logging internal error messages.	Laurent Voisin	More...				over 19 years ago
Prover UI editor now associated with bpr files.	Thai Son Hoang	More...				over 19 years ago
Cleaned up unused imports.	Laurent Voisin	More...				over 19 years ago
Updated according to changes of the seqprover: Tactic -> ITactic.	Thai Son Hoang	More...				over 19 years ago

←
1
2
…
375
376
377
378
379
380
381
382
383
…
391
392
→