forked from Ecdar/Reveaal
-
Notifications
You must be signed in to change notification settings - Fork 1
Issues: Ecdar-SW5/Reveaal
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Server hangs when a thread panics
bug
Something isn't working
#193
opened Dec 12, 2022 by
CasperStaahl
Does Simulation currently work with quotient?
question
Further information is requested
#190
opened Dec 9, 2022 by
CasperStaahl
Can't simulate systems like Something isn't working
(A && A)
: Clock index is not identifiable from clock and component name
bug
#189
opened Dec 9, 2022 by
CasperStaahl
Remove New feature or request
tests::grpc::take_simulation_step::test::take_simulation_step__bad_data__responds_with_error::given_a_request_with_component_decision_mismatch_decision_referencing_source_not_in_the_set_of_states_responds_with_invalid_argument ... ignored, Server hangs on panic
enhancement
#188
opened Dec 9, 2022 by
CasperStaahl
Review New feature or request
tests::grpc::take_simulation_step::test::take_simulation_step__bad_data__responds_with_error::given_a_request_with_component_decision_mismatch_decision_making_transition_that_is_not_possible_responds_with_invalid_argument ... ignored, Server hangs on panic
enhancement
#187
opened Dec 9, 2022 by
CasperStaahl
Fix Something isn't working
tests::grpc::start_simulation::test::start_simulation__bad_data__responds_with_error::given_a_request_with_a_malformed_composition_respond_with_error ... ignored, Server hangs on panic
bug
#185
opened Dec 9, 2022 by
CasperStaahl
Fix Something isn't working
tests::grpc::start_simulation::test::start_simulation__bad_data__responds_with_error::given_a_request_with_a_malformed_component_respond_with_error ... ignored, Server hangs on panic
bug
#184
opened Dec 9, 2022 by
CasperStaahl
Use cache in New feature or request
ConcreteEcdarBackend::handle_take_simulation_step
enhancement
#183
opened Dec 9, 2022 by
CasperStaahl
Use cache in New feature or request
ConcreteEcdarBackend::handle_start_simulation
enhancement
#182
opened Dec 9, 2022 by
CasperStaahl
Use New feature or request
ComponentContainer::form_info()
in send_query
handler
enhancement
#181
opened Dec 6, 2022 by
CasperStaahl
Tilføj funktion der laver analysen inden den endelige conjunction bliver lavet
#125
opened Nov 15, 2022 by
alexsteffensen
Tilføj option i cli og gRPC til hvor højt i træet, clock reduction skal ske
#123
opened Nov 15, 2022 by
Laursen79
2 tasks done
Lav analyse over hvilke clocks der skal reduceres
#119
opened Nov 15, 2022 by
KiraStaehr
3 of 4 tasks
Previous Next
ProTip!
Exclude everything labeled
bug
with -label:bug.