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 15 of 389 Search / Filter on:
Deprecate testGetPositions method to test reasoners	Guillaume Verdier	More...				over 2 years ago
Add a few more test cases	Guillaume Verdier	More...				over 2 years ago
Factorize common parts of union and set extension cases	Guillaume Verdier	More...				over 2 years ago
Simplify antecedent generation and avoid creating useless array	Guillaume Verdier	More...				over 2 years ago
Add more complex test cases for quantified intersection	Guillaume Verdier	More...				over 2 years ago
Fix FR #339: Add auto tactic for not empty set	Guillaume Verdier	More...				over 2 years ago
Fix FR #372: Proof by case on union membership	Guillaume Verdier	More...				over 2 years ago
Add case analysis for set membership to set extension	Guillaume Verdier	More...				over 2 years ago
Fix typo in tactic's internal class name	Guillaume Verdier	More...				over 2 years ago
Add case analysis for set membership to union	Guillaume Verdier	More...				over 2 years ago
Rewrite DisjE tests to use more modern test methods	Guillaume Verdier	More...				over 2 years ago
Set encoding of Eclipse projects to UTF-8 when missing	Guillaume Verdier	More...				over 2 years ago
Fix FR #365: Proof rule for finiteness of generalized union	Guillaume Verdier	More...				over 2 years ago
Fix bug #813: Missing translation in input area of Proof control	Guillaume Verdier	More...				over 2 years ago
Add rules for finiteness of intersection	Guillaume Verdier	More...				over 2 years ago
Refactor tests to use more modern test methods	Guillaume Verdier	More...				over 2 years ago
Update display name of reasoner	Guillaume Verdier	More...				over 2 years ago
Factorize code and use constants to reduce number of memory allocations	Guillaume Verdier	More...				over 2 years ago
Build typed AST rather than type-checking it later on	Guillaume Verdier	More...				over 2 years ago
Simplify constants with static imports and reformat code	Guillaume Verdier	More...				over 2 years ago
Simplify implementation of FIN_BINTER_R	Guillaume Verdier	More...				over 2 years ago
Add rule FIN_QINTER_R	Guillaume Verdier	More...				over 2 years ago
Add rule FIN_KINTER_R	Guillaume Verdier	More...				over 2 years ago
Fix typos in intersection finiteness reasoner	Guillaume Verdier	More...				over 2 years ago
Add Rodin Database Viewer	Laurent Voisin	More...				over 2 years ago
Fix issue with correction of bug #806	Guillaume Verdier	More...				over 2 years ago
Improve documentation of interrupt attribute	Guillaume Verdier	More...				over 2 years ago
Display progress dialog for post tactic	Guillaume Verdier	More...				over 2 years ago
Revert "Display progress dialog for all tactics, interruptible or not"	Guillaume Verdier	More...				over 2 years ago
Fix bug #807: Proof information view text cut off	Guillaume Verdier	More...				over 2 years ago

←
1
2
…
11
12
13
14
15
16
17
18
19
…
388
389
→