No information when failing to launch external provers
No information when failing to launch external provers
Update VM arguments
crash of Rodin V3.4 when opening workspace
AtelierB plug-in 2.2.0 broken
AtelierB 2.2.1 has been released on the update site.
Proof view: unreadable formulas (white on white)
Fixed in Rodin 3.4 by switching to Eclipse Oxygen 4.7.2 which contains the SWT bug fix.
Statistics columns have non uniform widths
Fixed by giving a larger column width. Integrated into Rodin 3.4
Add bugfix update site 2.2.1.
Add SMT 1.4
revert feature renaming
Fix the icon for dynamic dropdowns (e.g. SMT)
AtelierB plug-in 2.2.0 broken
Update branding 'about' text and bundle version
Update plug-in versions
Add '.feature' to feature IDs to enforce name unicity
Statistics columns have non uniform widths
Tactic profile editor has a tiny size under Linux
Type environment view's 'type' column has a tiny size
Type environment view's 'type' column has a tiny size
It's actually the tactic viewer, where you have the list of all existing profiles, and the issue is about combined tactics (not parameterized). Laurent also confirmed that it did not occur on MacOS.
Tactic profile editor has a tiny size under Linux
Update versions for the 2.2.1 maintenance release
Fix README instructions about binary locations
Remove useless variable assignment
Fix typos in comments
Update copyright years
Fix an import
Add missing acceptance tests for CVC4 and Z3
Cleanup code
Compare Strings with .equals()
Remove noops
Fix deprecated usage of getSuccessfulReasonerApplications()
Fix update sites in p2.inf
Switch to Java 8
Update platform README to require java 8
Update splash screen year to 2016
Increase max heap size to 1 GB
Adapt Rodin Problems view to new Eclipse class
Fix splash screen, add explanations in splash.R...
Fix Rodin core tests for Eclipse Neon
Build upon Eclipse Neon
Update copyrights, bundle versions and required...
Update bundle versions and copyrights for Rodin...
Update plug-in versions
Proof dependencies in proof information view
Rule details view not refreshed
B2LaTeX: transform awhole project and choose destination
B2LaTeX: transform awhole project and choose destination
Update maintenance version for CVC3 and veriT
Publish SMT 1.3
Fix performance script output
Cleanup performance model (translation approach...
Remove translator from bundles extension point
Remove dead code related to veriT translation
Depreciate and remove references to SMTLIBVersion
Remove smt-lib from bundles extension point
Remove references to VeriT translation approach
Depreciate and remove references to Translation...
Remove veriT path preference
Remove support for SMT-LIB V1
Rename wrongly named test class
Remove translator from preference dialog
Remove SMT-LIB from preference dialog
Add missing provider name in Z3 feature.
Add build/run instructions to performance appli...
Add missing property file to SMT Performance Ap...
Rename CVC3 and veriT configuration (remove SMT...
Add CVC4 and Z3 to performance configuration mo...
In performance app, catch exceptions for every ...
Fix CVC4 Feature.
Add back the missing unpack=true in SMT Feature.
Add the Z3 SMT solver.
Translate theory extensions when running SMT pr...
Add CVC4 and Z3 plug-ins to SMT tests pom.xml.
Add a test about translation through PP with th...
Update plug-in and feature versions
Cleanup CVC4 plug-in configuration.
Fix some typos
Fix warning in performance test (deprecated Ass...
Accept renamed SMT configurations without SMT2 ...
Add CVC4 and Z3 UNSAT Core tests.
Adapt an acceptance test for Z3.
Make CVC4 and Z3 features.
Translate extensions in SMT through PP
Add the CVC4 SMT solver.
Adapt CVC4 SMT plug-in versions to match the pr...
Bundle CVC4 and Z3 SMT Solvers.
Update license files to mention CVC4 and Z3.
Add 'library' to the SMT 'bundles' extension po...
Update main SMT bundle versions.
Refactor test error messages in CommonSolverRun...
Remove SMT2 suffix in CVC4 configuration defini...
Adapt tests to new bound identifier decomposition.
Fixed type check for associative operators.
Fixed atomic operator position computation for ...
updated operator group ids.
Allowing multiple lines for formulas in theory ...