RODIN

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 22, 2024 — Apr 22, 2025 Showing page 12 of 389 Search / Filter on:
Fix bug #816: ConcurrentModificationException in editor	Guillaume Verdier	More...				about 2 years ago
Cleanup logging in explorer plug-in	Guillaume Verdier	More...				about 2 years ago
Fix bug #802: refresh Project Explorer	Guillaume Verdier	More...				about 2 years ago
Fix FR #367: extend IParent in ISCContext	Guillaume Verdier	More...				over 2 years ago
Fix bug #809: store options files in binary plug-ins	Guillaume Verdier	More...				over 2 years ago
Simplify computation of hyperlink bounds in UI tactic applications	Guillaume Verdier	More...				over 2 years ago
Cleanup methods order in induction reasoner and remove unused parameter	Guillaume Verdier	More...				over 2 years ago
Generate quantified predicate instead of new hypotheses	Guillaume Verdier	More...				over 2 years ago
Rename DTReasoner to highlight that it is a helper class, not a reasoner	Guillaume Verdier	More...				over 2 years ago
Enable induction on all quantified idents of root forall in goal	Guillaume Verdier	More...				over 2 years ago
Rename getPosition method for distinct case tactic	Guillaume Verdier	More...				over 2 years ago
Fix bug #803: rule DATATYPE_INDUCTION is unsound	Guillaume Verdier	More...				over 2 years ago
Instantiate forall with induction value instead of using equality	Guillaume Verdier	More...				over 2 years ago
Various improvements to variations implementation	Guillaume Verdier	More...				over 2 years ago
Simplify variations test case classes	Guillaume Verdier	More...				over 2 years ago
Add more equivalences between integer inequalities and natural sets	Guillaume Verdier	More...				over 2 years ago
Simplify handling of variations in GenMP	Guillaume Verdier	More...				over 2 years ago
Rework induction to work on a quantified predicate	Guillaume Verdier	More...				over 2 years ago
Simplify tactic providers for distinct case/induction	Guillaume Verdier	More...				over 2 years ago
Split distinct case and induction tactics	Guillaume Verdier	More...				over 2 years ago
Avoid duplication in variations generation	Guillaume Verdier	More...				over 2 years ago
Cleanup variations implementation	Guillaume Verdier	More...				over 2 years ago
Add more variations for weaker/stronger relations with natural sets	Guillaume Verdier	More...				over 2 years ago
Simplify and optimize handling of variations instances	Guillaume Verdier	More...				over 2 years ago
Refactor tests for Hyp and ContrHyps	Guillaume Verdier	More...				over 2 years ago
Fix FR #342: Generalized Modus Ponens on Boolean expressions	Guillaume Verdier	More...				over 2 years ago
Fix FR #343: Generalized Modus Ponens on natural integers	Guillaume Verdier	More...				over 2 years ago
Enable variations level 1 for Hyp and ContrHyps reasoners	Guillaume Verdier	More...				over 2 years ago
Add variations for inequalities with an integer literal	Guillaume Verdier	More...				over 2 years ago
Cleanup and simplify test method for reasoner positions	Guillaume Verdier	More...				over 2 years ago

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