Several fixes for the modality class #6
Closed
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
Collaborator
unp1
commented
Oct 21, 2023
unp1
commented
- Initial commit for refactoring KeY towards modular support for target programming languages
- Add LanguageElement
- Add dependency on ncore project to core project
- Turn key.util into module
- Start work on ops and sorts
- Spotless fixes
- Spotless
- removed redundant classes
- Made Sort generic to enforce method signature specialization
- Move interfaces to ncore
- Fix sort method
- Removed unnecessary term dependency from Operator
- Cleaned up style using spotless
- Reorganized inheritance structure to minimize parallel (and unrelated) tye hierachies for sorts
- Spotless fixes
- Fixed some tests
- Added some comments to JavaDLTheory
- Some fixes to type converters widening method
- Minor cleanup
- Added some tests for Name
- Switch to jSpecify.org nullable annotations
- Fixed broken test
- Merge Sort and AbstractSort in JavaDL core
- Spotless checks
- Start design doc
- Move methods to ncore.Term
- Add missing generics
- Revert generics for now
- Move visitors to ncore
- Spotless checks
- Reduce usage of generics sorts and the Term interface of ncore in JavaDL core
- removed unnecessary casts introduce by previous commit
- spotless cleanup
- REmoved remianing redundant casts
- Reduce number of generic type parameters in visitor
- Prepare Modality to contain the program
- Fix faulty comparisons to modality
- Cleanup
- Attempt to fix term construction
- Fix Modality matching
- cleanup
- Move Modality kinds and clean up
- Fix string output
- Several fixes. Temporarily moved modalities caching into static HashMap
… programming languages This commit adds the new subproject "key.ncore" for the generalized data structures as well as the necessary infrastructure for integration into the build process.
The valid top level check only requires the sorts of the sub terms not the sub terms itself
…) tye hierachies for sorts Moved sort related functions like cast, instance and exactInstance to a new LDT called JavaDLTheory, which may later also be asked for sorts like FORMULA or similar
Decision to use these throughout KeY made in KeY meeting on Fr, 29th September
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.