RODIN

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 1 hour ago. based on code collected about 18 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 24, 2024 — Apr 24, 2025 Showing page 10 of 389 Search / Filter on:
Rework tests about positions	Laurent Voisin	More...				over 1 year ago
Change constructor of RM tests	Laurent Voisin	More...				over 1 year ago
Publish the level of a RM reasoner	Laurent Voisin	More...				over 1 year ago
Improve failing tests	Laurent Voisin	More...				over 1 year ago
Fix doc of utility methods	Laurent Voisin	More...				over 1 year ago
Reorganize code	Laurent Voisin	More...				over 1 year ago
Simplify test	Laurent Voisin	More...				over 1 year ago
Rename variable	Laurent Voisin	More...				over 1 year ago
Improve trace information on Rodin types	Guillaume Verdier	More...				over 1 year ago
Fix loading of debug option for verbose Rodin types	Guillaume Verdier	More...				over 1 year ago
Fix FR #392: Simplify bool(B=TRUE) to B	Guillaume Verdier	More...				over 1 year ago
Fix FR #393: Simplify set membership of min/max	Guillaume Verdier	More...				over 1 year ago
Fix bug #819: "Prove Automatically" setting not persisted	Guillaume Verdier	More...				over 1 year ago
Fix FR #395: Manual application of compset simplification rules	Guillaume Verdier	More...				over 1 year ago
Refactor remove membership tests	Guillaume Verdier	More...				over 1 year ago
Simplify AbstractManualRewriterTests implementation	Guillaume Verdier	More...				over 1 year ago
Delete comment about removing cache hypothesis view	Guillaume Verdier	More...				over 1 year ago
Fix bug #824: Exception related to proof tree UI update	Guillaume Verdier	More...				over 1 year ago
Remove references to PyDev in doc project	Guillaume Verdier	More...				over 1 year ago
Remove empty src.includes line that caused a warning in Eclipse	Guillaume Verdier	More...				over 1 year ago
Clarify documentation about formula factories in IEventBRoot	Guillaume Verdier	More...				over 1 year ago
Fix bug #822: Error handling when loading formula extensions	Guillaume Verdier	More...				over 1 year ago
Handle formula factory safely in prover UI	Guillaume Verdier	More...				over 1 year ago
Simplify new element dialogs and handle formula factory exceptions	Guillaume Verdier	More...				over 1 year ago
Explicitly accept to fall back to default factory in some UI methods	Guillaume Verdier	More...				over 1 year ago
Fix typos in Event-B editor interface	Guillaume Verdier	More...				over 1 year ago
Deprecate and replace UI methods that needlessly used formula factories	Guillaume Verdier	More...				over 1 year ago
Update completion classes to load formula factories safely	Guillaume Verdier	More...				over 1 year ago
Update indexers to safely get formula factories from root elements	Guillaume Verdier	More...				over 1 year ago
Update code related to proof management to safely load formula factory	Guillaume Verdier	More...				over 1 year ago

←
1
2
…
6
7
8
9
10
11
12
13
14
…
388
389
→