Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
3737 Design Space Exploration Change Request Resolved Normal Generate problem-specific constraint sets in the derived SolverRun constructors 09/11/2020 01:25 PM
4044 AF3 Phoenix Change Request New Normal Simulation OperatorPanels to JavaFX 07/20/2020 02:32 PM
3140 AF3 Phoenix Bug New High @SuppressWarnings("restriction") in ApplicationActionBarAdvisor 05/11/2020 02:36 PM
3919 AF3 Phoenix Change Request New Normal SourceEditorBase<T> to JavaFX 05/11/2020 10:47 AM
3911 AF3 Phoenix Change Request New Normal GlossaryEntryEditorBase to JavaFX 05/11/2020 10:47 AM
3024 AF3 Phoenix Feature New Normal [Constraint] port bound 10/08/2019 09:37 AM
2864 AF3 Phoenix Bug In Progress Normal [Constraint]bounds constraint failure error message 10/07/2019 09:47 AM
2861 AF3 Phoenix Feature New Normal [Constraints] Take functions into account 10/07/2019 09:46 AM
3072 AF3 Phoenix Bug New Normal Endless loop when OCRA is not installed 10/07/2019 09:46 AM
3108 AF3 Phoenix Bug New Normal Counterexample interpretation of enum values 10/07/2019 09:45 AM
3342 AF3 Phoenix Bug New Normal UI freezes when contract constraint is enabled and guard is modified 10/07/2019 09:45 AM
3412 AF3 Phoenix Bug New Normal bounds check fails for strongly causal component 10/07/2019 09:44 AM
3597 AF3 Phoenix Bug New Normal STL OCRA contract verification not working on Windows 10/07/2019 09:44 AM
3637 AF3 Phoenix Bug New Normal [Expression] Exception when running JUnit tests 10/07/2019 09:43 AM
3133 AF3 Phoenix Bug New Normal Process: there is at least one constraint 10/07/2019 09:42 AM
3022 Analysis Feature New Normal Analysis Collection issue 10/02/2019 09:01 AM
3313 AF3 Phoenix Bug Feedback Normal Catch exceptions for OCRA constraints 10/02/2019 09:00 AM
3497 AF3 Phoenix Bug Feedback Normal FV does not work when array index is a variable 10/02/2019 09:00 AM
3759 AF3 Phoenix Bug Feedback Normal Nested structures in transformation 10/02/2019 09:00 AM
3609 AF3 Phoenix Feature New Normal Extend MCDC analysis to support structures 09/26/2019 02:31 PM
3619 AF3 Phoenix Change Request New Normal [code refactoring] create an interface for variables to values map 09/26/2019 02:31 PM
3647 AF3 Phoenix Support New Normal refactor the classes for the transformation to flatten structures 09/26/2019 02:30 PM
3723 AF3 Phoenix Bug New Normal Using Variables from Sub-componnets for framing Temporal Properties gives error 09/26/2019 02:16 PM
3724 AF3 Phoenix Feature New Normal Unable to use SAT/SMT features of NuXMV 09/26/2019 02:03 PM
3231 Analysis Feature Feedback Normal include all subcontracts for refinement 06/03/2019 03:48 PM
(1-25/295) Per page: 25, 50, 100

Also available in: Atom CSV PDF