symbolicLatencyAlgorithm

View source
symbolicLatencyAlgorithm
  • Contributors
    1. Loading...
Author Commit Message Date Builds
96 commits behind master.
ezecastellano
Use the full comparison first and then the scheduled one.
ezecastellano
Re-initializing the results when interating all is true and refactoring of the getResults using the function defined in Result.class
ezecastellano
Refactoring the evaluate latency part of the code into a different method.
ezecastellano
Taking into account the running activities in the initial state when doing the partial comparison in the better latency controller.
ezecastellano
Refactoring some parts of the code into methods in GammaComparator.
ezecastellano
Adding a method that let us calculate the gamma of the full controller before being scheduled.
ezecastellano
Merge branch 'symbolicLatencyAlgorithm' of bitbucket.org:lnahabedian/mtsa into symbolicLatencyAlgorithm
ezecastellano
Fixing the imports affected by moving classes in the previous commit.
ezecastellano
* Big refactor and bug fixing that includes: - Removing translators and simplifying the implementation under the assumption that we will always have a composition of the environment and the controller when comparing (i.e.: Pair<S,S>). - Reimplemeting the translation from LTS to pseudo-TA, and Gamma calculation given this new structure taking into account activity definitions in the complete process (there were parts that were still using the…
ezecastellano
Description of the SchedulerGenerator class.
ezecastellano
Comment about how were composed the states.
ezecastellano
Changing system out to debug out
ezecastellano
* Big refactor and bug fixing that includes: - Removing many unnecessary classes related to the generation of schedulers. - Unifying repeated behaviour. - Removing the code that was using the label of the events to categorize the actions between uncontrollable and end of event. - Fixing the categorization of the eventes taking into account the activity definitions, but leaving one ending event per activity. * Tests: - Tests for the generation of choices (SchedulerChoicesBuilder and ControllerChoicesBuilder) - Separating the mockup parsing functions into a new class. - Implementing mockup methods for LTSs, ActivityDefinitions, and Choices.
ezecastellano
Making get initiating and terming of an acticity public.
ezecastellano
Removing unused class.
ezecastellano
Various refactor and using ChanelManager in some parts of the code.
ezecastellano
Adding debug file option.
ezecastellano
Removing unused, complicated, and confusing class hierarchy in LatencyEvaluator.
ezecastellano
Unifiying prunning environment function into Prunning Utilities.
ezecastellano
Removing unreachable states in parallel composer.
ezecastellano
Avoiding iterating all the states in each loop.
ezecastellano
Adding field outputs to solve duplicated lines when printing in all outputs.
Ezequiel Castellano
Updating the showUsage method
Ezequiel Castellano
Removing unused imports
Ezequiel Castellano
Allowing to execute the latency test for a directory of .lts files or files.
Ezequiel Castellano
Using channel manager to distinguish different kind of messages in some parts of the latency evaluation.
Ezequiel Castellano
Class that aims to deal with the output of the app using different channels
Ezequiel Castellano
Fixing parsing names of enums for latency heuristic and synthesis algorithm
Ezequiel Castellano
Bringing changes from origin/master to the symbolicLatency branch
Ezequiel Castellano
Temporal solution to accept using asserts to define a set of activities and being able to refer to them when defining activity relations.
Ezequiel Castellano
Using sets instead of list as identifiers
Ezequiel Castellano
Adding one UniversaController Test.
Ezequiel Castellano
Ammending commit [Changing the name to the composisteState variable used to save the composed environment used in the definition control problem]
Ezequiel Castellano
Method used to generate the mockup format for the tests
Ezequiel Castellano
Just a comment about one of the methods
Ezequiel Castellano
Changing the name to the composisteState variable used to save the composed environment used in the definition control problem
Ezequiel Castellano
Adding missing generic types.
Ezequiel Castellano
Chosing synthesis type and logging the synthesis time.
Ezequiel Castellano
Separating the heuristics from the latency test allowing to use the universal controller for the evaluation
Ezequiel Castellano
Changing the condition regarding when to remove one element of the memory of a copy of a final state.
Ezequiel Castellano
Bug: When having multiple final states, it wasn't exploring after finding one final state.
Ezequiel Castellano
Adding a Test to validate that I am not removing final states from sccs with more than one state, and fixing to expecteds outputs
Ezequiel Castellano
Fixing the condition to make it equivalent to the specification
Ezequiel Castellano
Critical bug in the equivalent comparison of the tests.
Ezequiel Castellano
Changing the way in we extend memory, and returning to list represenation but indexed in order to minimise the performance impact.
Ezequiel Castellano
Changing the equals of the test to an equivalence comparison
Ezequiel Castellano
Removing unnecesary condition when getting the copy, and some debugging code.
Ezequiel Castellano
Adding the case studies mocked up to the Tests.
Ezequiel Castellano
Getting the algorithm to calculated the explored area from GameSCCView.
Ezequiel Castellano
Considering also as simple the states that has only one final state which is the initial.
Ezequiel Castellano
Some Test that validate if the algorithm is removing correctly the states with uncontrollable loop back.
Ezequiel Castellano
Using the Reachability Game Builder to get the subgame instead of the GameSCCView, because it wasn't removing propertly the states with uncontrollable loops to the initial states, and it makes sense to unify this methods.
Ezequiel Castellano
Reducing the reachable states, to the one that can reach a final state. Some tests about that.
Ezequiel Castellano
Some test for the ReachabilityGameBuilder
Ezequiel Castellano
Implementing equals of StateBaseGame and ReachabilityGame. Removing unnecesary condition from ReachabilityGameBuilder.
Ezequiel Castellano
Refactoring of the GameBuilder in order to be used in the test. Also considering as bad the uncontrollable states that go back to the initial state, except the ones that are final.
Ezequiel Castellano
Removing some logs from the standard output
Ezequiel Castellano
Some mockup test of the Universal Reachability Controller
Ezequiel Castellano
Defining equals, toString and hashcode methods of the Strategy
Ezequiel Castellano
Keeping only the local copy of the initial state
Ezequiel Castellano
Adding back the commented methods that generate the result.
Ezequiel Castellano
Merge branch 'symbolicLatencyAlgorithm' of bitbucket.org:lnahabedian/mtsa into symbolicLatencyAlgorithm
Ezequiel Castellano
Minor changes, and some logs about the size of the problem.
Ezequiel Castellano
Minor changes, and some logs about the size of the problem.
Ezequiel Castellano
Splitting into localSCCOutStates and globalOutStates in each SCC
Ezequiel Castellano
Removing the path list as identifier of the copies, and using the current level and initial id of the subscc,
Ezequiel Castellano
Removing the use of mostSpecific to search the successors, and using the scc structure instead.
Ezequiel Castellano
Removing unnecesary attributes of GameSCCView
Ezequiel Castellano
Adding parent final states to sub-SCC Levels
Ezequiel Castellano
Removing unused commented code
Ezequiel Castellano
Using a unique result insteado of having each per parent level.
Ezequiel Castellano
Partial commit of the UniversalController builder using the GameSCCView. This code still needs some fixes in the mostSpecific function in order to use the scc structure
Ezequiel Castellano
Using Graph interface in the SCCFinder instead of Game
Ezequiel Castellano
Separating Game interface in order to have immutable Graph and Arenas.
Ezequiel Castellano
Merge branch 'symbolicLatencyAlgorithm' of bitbucket.org:lnahabedian/mtsa into symbolicLatencyAlgorithm
Ezequiel Castellano
Partial commit of structure to avoid copying the game
Ezequiel Castellano
Partial commit of structure to avoid copying the game
Ezequiel Castellano
Adding connections between SCCs
Ezequiel Castellano
Merge branch 'symbolicLatencyAlgorithm' of bitbucket.org:lnahabedian/mtsa into symbolicLatencyAlgorithm
Ezequiel Castellano
Encapsulating the complex nodes type
Ezequiel Castellano
Refactoring the recursive and iterative version
Ezequiel Castellano
Refactoring the recursive and iterative version
Ezequiel Castellano
Removing controllable self loop
Ezequiel Castellano
Fixing initial condition in the iterative version
Ezequiel Castellano
Iterative version of the unrolling DAG algorithm
Ezequiel Castellano
Partial commit of the iterative version of the algorithm
Ezequiel Castellano
Removing self loops from the model, fixing the badStates condition, and a temporal hack for the initial state.
Ezequiel Castellano
Refactoring ReachabilityGameSolver
Ezequiel Castellano
Dealing with uncontrollable transitions.
Ezequiel Castellano
Removing bad states of the reachability algorithm
Ezequiel Castellano
First version of the implementation of the unrol scc for reachability based on python algorithm.
Ezequiel Castellano
taking into account visited states while generating choices
Ezequiel Castellano
Adding activity relations to the latency evaluator
Ezequiel Castellano
Using threads to distribute the schedulers in the partial comparison.
Ezequiel Castellano
Defining the activity fluents as an assertion might be useful for cases that are parametric.
Ezequiel Castellano
Merge branch 'symbolicLatencyAlgorithm' of bitbucket.org:lnahabedian/mtsa into symbolicLatencyAlgorithm
Ezequiel Castellano
Supporting activity constraints/relations in the generation of the best controller.
Ezequiel Castellano
Supporting activity constraints/relations in the generation of the best controller.
Ezequiel Castellano
Translate output message exploration
Ezequiel Castellano
Removing unnecesary boxing
Ezequiel Castellano
Removing deprecated class
Ezequiel Castellano
Changing parser to include BEST_LATENCY heuristic. Removing concurrency fluents, since it is redundant with the activities definition.
Ezequiel Castellano
Refactoring and moving code.
Ezequiel Castellano
Fixing final states when is reachability in heuristicControllerSynthesiser.
Ezequiel Castellano
Fixing comparison to take into account the running activities in the initial state.
Ezequiel Castellano
Fixing comparison without initial activites. Removing some extra loops and structures.
Ezequiel Castellano
Partial commit... comparison not working.
Ezequiel Castellano
Implementing symbolic algorithm for latency (partial commit) / Changes in the implementation of toString of lts (fixing the initial state))
Ezequiel Castellano
Prueb