Add the full state to step response #14
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
t-lohse
added a commit
that referenced
this pull request
Aug 23, 2023
…am (#12) * Added the changes discussed in GRPC comittee See document * Change simulation api to support a stateless solution * Change State to have a location_id instead of LocationTuple and unnest Zone * Add UserTokenError Changed query response to either return a query if the userid is accepted, or send an error along with the ID. Removed optional keyword due to default settings in proto3 * Added string reason on results for some detail * Add changes discussed with Sebastian * Update protocol as discussed by Sebastian * Change objects.proto: - Remove unused messages - Change "string component_name" to "SpecificComponent specific_component" in Location - Unest Location from LocationTuple * Remove unused message Transition * - Rename Zone to Federation, which is the correct term - Remove and replace StateTuple with State * Add comment with alternative Simulation API * Change to alternative simulation api, as dicussed with the GUI group * Format * Update query.proto * Readd reason to quries * Fix indexes * Remove commented code * Remove SimulationState message, was not in use * Remove unused fields, readd edges toReachabilityResult * Revert "Remove unused fields, readd edges toReachabilityResult" This reverts commit ce77f23. * re-add edges to message ReachabilityResult * Added action string to determinism, consitency and refinement queries. (#11) * Added action string to determinism, consitency and refinement queries. * Changed refinement action from 4 to 5. * Settings (#10) * query * fix optional * proto * proto * init * name change * Clock settings refactor (#13) * query * fix optional * proto * proto * init * name change * Refactor * Refactor * Changed name * Clock settings (#14) * query * fix optional * proto * proto * init * name change * Refactor * Refactor * Changed name * refactor * Added comments * Refactor * group 17 reachability gRPC changes (#12) This pull request makes some changes to the reachability result. Instead of result a list of edges as a path for each component combined, we have made a new message called Path that represents the path from a start state to an end state for the individual component. Therefore in the message ReachabilityResult, we result a list of paths - one path for each individual component. Co-authored-by: Mati-AAU <[email protected]> * Simulation user id and nondeterminism for ambiguous edge choices. * Remove UserTokenError (#15) This was broken because it required Reveaal to store all the user tokens that is has given out. This violates the principle of idempotency. The server cannot know when a user id is no longer in use, because we have no "log out" endpoint and even if we had one the client could crash and thus not send out a "log out" message. Instead we assume that all clients are well behaved and use GetUserToken to get a token that is not in use. * action is now a repeated string, not a string! * Clock height (#18) * query * fix optional * proto * proto * init * name change * Refactor * Refactor * Changed name * refactor * Added comments * Refactor * Clock heights * Naming * Naming * Attempt to futureproof protobuf * Update failures to encompass the different ways that queries can fail * Change location tuples to a tree structure to support simulation of quotient (Universal and Error in quotient require it) * Add destination state to all Decision structs * Rename LocationBranch and SpecificComponent to better names * Rename Zero message to ZeroClock * Remove federation message as it is just a wrapper. Disjunction is also more general * Update query.proto Co-authored-by: Thomas Lohse <[email protected]> * Add full_state info to simulation step response (#14) --------- Co-authored-by: Mads Mogensen <[email protected]> Co-authored-by: Casper Ståhl <[email protected]> Co-authored-by: Archdragon <[email protected]> Co-authored-by: lugialukas <[email protected]> Co-authored-by: Sigurd <[email protected]> Co-authored-by: Lasse Andersen <[email protected]> Co-authored-by: Thomas Lohse <[email protected]> Co-authored-by: Puvikaran Santhirasegaram <[email protected]> Co-authored-by: Mati-AAU <[email protected]> Co-authored-by: mksm20 <[email protected]> Co-authored-by: mksm20 <[email protected]> Co-authored-by: Niels F. S. Vistisen <[email protected]>
t-lohse
added a commit
that referenced
this pull request
Feb 12, 2024
* Added new result type for component cache miss * Fixed typo * Renamed result type * Added SyntaxFailure * Added return type to support cache utilization (#1) * Added new result type for component cache miss * Fixed typo * Renamed result type * Initial API protobuf setup * Add api message types * Add CreateUser * Add delete user message type * Add initial api endpoints * Update-user endpoint and message * Move CreateUser to non-auth endpoints * Remove response type from CreateUser * Add refresh token to GetAuthTokenResponse * Refactor GetAuthTokenRequest to accept user_credentials or refresh_token * Remove token from message types * Remove token from UpdateUserRequest * added DeleteQuery service Co-authored-by: Thorbjørn Møller <[email protected]> * Added create query rpc and message * Added query endpoint * added create query request * Added update access to protobuf * Edited input parameter for DeleteAccessRequest Co-authored-by: Thorbjørn Møller <[email protected]> * added to wrong branch * Reordered rps'c * Refined request objects * Add DeleteModelRequest * Add CreateModel * changes names and setup ListAccessInfoResponse * namechange * get model protobufs * in_use model * Add UpdateModelRequest * ListModelInfo * Remove owner_id from create model req * name change * GetAccessList protobuf * Send query protobuffers * CreateAccessRequest now takes oneof email, uid and username * change ordering * correct casing * Add GetUsers rpc * Add DeleteSession endpoint and comments * Changed model to project in protobuffers * Rearranged (#14) * Added an endpoint endpoint to EcdarApiAuth * Added deprecation note --------- Co-authored-by: williamwoldum <[email protected]> Co-authored-by: sabotack <[email protected]> Co-authored-by: William Woldum <[email protected]> Co-authored-by: Ali Khorami <[email protected]> Co-authored-by: Mads Risager <[email protected]> Co-authored-by: Mads Risager <[email protected]> Co-authored-by: AlexanderManich <[email protected]> Co-authored-by: AlexanderManich <[email protected]> Co-authored-by: Simon Bejer <[email protected]> Co-authored-by: Uewotm90 <[email protected]> Co-authored-by: Thorbjørn Møller <[email protected]> Co-authored-by: mikkelklitlund <[email protected]> Co-authored-by: Rasmus Hald Nielsen <[email protected]> Co-authored-by: Viktor Platz <[email protected]>
Open
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Requested to simplify GUI simulation code