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 381 of 392 Search / Filter on:
Changed all references to ProofTreeNode into IProofTreeNode.	Laurent Voisin	More...				over 19 years ago
Major refactoring of proof trees: extracted interfaces, separated proof trees and proof nodes.	Laurent Voisin	More...				over 19 years ago
Renamed the plugin class and added a factory method for creating a new proof tree.	Laurent Voisin	More...				over 19 years ago
Refactored glue code for calling B4free provers.	Laurent Voisin	More...				over 19 years ago
Added test where ML fails, but PP succeeds.	Laurent Voisin	More...				over 19 years ago
Fixed assertion messages and renamed test method.	Laurent Voisin	More...				over 19 years ago
Rewritten assertTrue in assertEquals.	Laurent Voisin	More...				over 19 years ago
Fixed typo in name.	Laurent Voisin	More...				over 19 years ago
Added access to org.eventb.core.prover.proofs for tests.	Laurent Voisin	More...				over 19 years ago
Cleaned up imports.	Laurent Voisin	More...				over 19 years ago
Added parent information to proof tree nodes.	Laurent Voisin	More...				over 19 years ago
Added parent information to proof tree nodes.	Laurent Voisin	More...				over 19 years ago
Fixed leftover comment.	Laurent Voisin	More...				over 19 years ago
Refactored tests and added some checks.	Laurent Voisin	More...				over 19 years ago
corrected call to PP	Stefan Hallerstede	More...				over 19 years ago
corrected call to PP	Stefan Hallerstede	More...				over 19 years ago
Children of an internal element were not properly copied.	Laurent Voisin	More...				over 19 years ago
added PP	Farhad Mehta	More...				over 19 years ago
Added tactic wrapper for LegacyProvers	Farhad Mehta	More...				over 19 years ago
Added tests for Lib.java and LegacyProvers.java, along with its tactic wrapper	Farhad Mehta	More...				over 19 years ago
Added note for LegacyProvers	Farhad Mehta	More...				over 19 years ago
Children of an internal element were not properly copied.	Laurent Voisin	More...				over 19 years ago
The database now prints the type of an internal element after its name.	Laurent Voisin	More...				over 19 years ago
Used StringBuilder instead of StringBuffer. Method toStringName() now prints the type of the internal element as well.	Laurent Voisin	More...				over 19 years ago
Used StringBuilder instead of StringBuffer.	Laurent Voisin	More...				over 19 years ago
Moved identical from ProofTree to Lib	Farhad Mehta	More...				over 19 years ago
added B4free mono lemma prover as external reasoner	Stefan Hallerstede	More...				over 19 years ago
added b4free mono lemma prover as external reasoner	Stefan Hallerstede	More...				over 19 years ago
Added standard compiler configuration for Rodin.	Laurent Voisin	More...				over 19 years ago
set project settings to Java 5	Stefan Hallerstede	More...				over 19 years ago

←
1
2
…
377
378
379
380
381
382
383
384
385
…
391
392
→