Check integrity for process units #202
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
… steps, their variables should have Endpoints feat_integrity: written functions to create maps feat_integrity: wrote intermidiate to endpoints function with Data.Map feat_integrity: added endpoint to instruction check feat_integrity: check to one more test refactor_integrity: changed to variables function feat_integrity: rewritten check integrity method (not working) feat_integrity: added IntegrityCheck file in src feat_integrity: fixed endpoint map generation feat_integrity: added isEndpoint method to Utils feat_integrity: change using to internal integrity test, cleaning in IntegrityCheck feat_integrity: added function to intermediate relation check feat_integrity: added check endpoints to instructions fix_integrity: added IntegrityCheck to cabal refactor_integrity: renamed functions refactor_integrity: fixed variable names fix_integrity: fixed two same keys bug feat_integrity: added broken test prototype fix_integrity: removed pid and fixed wrong functions Fix function - endpoint vertical relation in Fram. Remove unnecessary code duplication in Fram Migrate to `scheduleFunctionFinish` Add horizontal relations Remove establishVerticalRelation (swap by establishVerticalRelations) test_integrity: added puCoSim, finitePuSynth positive test fix_integrity: fixed name, added tests feat_integrity: updated Utils API feat_integrity: added prototype for vertical CAD function check fix_integrity: reworked get.*Map functions, returned old implementation for Broken epDecision Make data Relations more explicit (require for UI use) trying to extract variable from Transport (Bus.hs) feat_integrity: replaced transport to function relations (with cartesian mul) feat_integrity: test with Transport extraction integrity: added Eq to make reversed Relation equal. Added transport filter for PU feat_integrity: prototype (simple) for check Transport to Function fix_integrity: refactored most functions, fixed bug in Eq of Relation feat_edsl: returned default deriving Relation fix_edsl: refactored CAD tests, now it not fails fix_edsl: refactor before merge to original branch fix_integrity: fixed merge error refactor_edsl: added error print when element in not found in map. Added templates for future typeclass. refactor_integrity: added implementation to ProcessConsistent typeclass. refactor_integrity: commented negative tests. Modified existing tests to be able to test integrity. feat_integrity: added assertConsistency to DSL fix_integrity: removed checkIntegrity, replaced order of some functions, added detailed error (debug purpose). Rearranged tests in broken. fix_edsl: removed ProcessConsistent instance for BusNetwork fix_integrity: added incoherent for `Bus` in `ProcessConsistest` fix_edsl: now can compile with BusNetwork instance of ProcessConsistent Fix errors, which prevent building.
3 tasks
ryukzak
changed the title
ryukzak
requested review from
co0ll3r,
BasicEC and
ArturGogiyan
and removed request for
co0ll3r
ryukzak
changed the title
BasicEC
approved these changes
Mar 21, 2022
ArturGogiyan
approved these changes
Mar 22, 2022
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.
Context: #98
Issue: #72
Work continues in:
Doinstruction andEndpoint#205