Activity for Nicolas Beauger
-
Nicolas Beauger modified ticket #779
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 ...
1 >