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 11 of 389 Search / Filter on:
Update context and machine roots to load formula factory safely	Guillaume Verdier	More...				over 1 year ago
Allow extension providers to throw core exceptions	Guillaume Verdier	More...				over 1 year ago
Update script to fetch prover rules from wiki	Guillaume Verdier	More...				about 2 years ago
Ignore any Xvfb folder	Laurent Voisin	More...				about 2 years ago
Upgrading the Rodin Core update site script	Idir Ait-Sadoune	More...				about 2 years ago
Fix documentation of FreeIdentifier class	Guillaume Verdier	More...				about 2 years ago
Fix FR #382: Get free identifiers from a type environment	Guillaume Verdier	More...				about 2 years ago
Fix bug #778: Bad presentation of tactic profiles	Guillaume Verdier	More...				about 2 years ago
Fix bug #817: Exception when using external provers with theory...	Guillaume Verdier	More...				about 2 years ago
Prepare Rodin 3.8 RC1	Laurent Voisin	More...				about 2 years ago
Increment version of plugins and features to 3.8	Idir Ait-Sadoune	More...				about 2 years ago
Increment version of parent in all pom.xml files to 3.8	Idir Ait-Sadoune	More...				about 2 years ago
Update copyright year in splash image	Idir Ait-Sadoune	More...				about 2 years ago
Update the year in all feature.properties files	Idir Ait-Sadoune	More...				about 2 years ago
Port to Eclipse 4.23 (2022-03)	Idir Ait-Sadoune	More...				about 2 years ago
Increment version of org.eventb.core to 3.6	Idir Ait-Sadoune	More...				about 2 years ago
Fix refreshing issue in hypothesis view	Guillaume Verdier	More...				about 2 years ago
Fix bug #805: IAE when loading proof	Guillaume Verdier	More...				about 2 years ago
Fix bug #811: hypothesis text cut off after instantiation input	Guillaume Verdier	More...				about 2 years ago
Update translation rules modified by fixing bug #701	Guillaume Verdier	More...				about 2 years ago
Remove commented-out code	Guillaume Verdier	More...				about 2 years ago
Ensure that modify listener is re-enabled on exception	Guillaume Verdier	More...				about 2 years ago
Translate immediately math symbols	Guillaume Verdier	More...				about 2 years ago
Put back default constructor for backward compatibility	Guillaume Verdier	More...				about 2 years ago
Fix FR #371: apply equality and hide it	Guillaume Verdier	More...				about 2 years ago
Fix expected proof tree for old regression test	Guillaume Verdier	More...				about 2 years ago
Fix FR #371: apply equality and hide it	Guillaume Verdier	More...				about 2 years ago
Refactor tests for Eq and He to use more modern test methods	Guillaume Verdier	More...				about 2 years ago
Fix bug #812: dropdown arrow invisible in Event-B editor on macOS	Guillaume Verdier	More...				about 2 years ago
Fix handling of listeners in search hypothesis page	Guillaume Verdier	More...				about 2 years ago

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