-
Notifications
You must be signed in to change notification settings - Fork 24
TS type streams #274
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
Merged
Merged
TS type streams #274
Changes from all commits
Commits
Show all changes
52 commits
Select commit
Hold shift + click to select a range
61afb46
Move TsTypeSystem in another package
CaelmBleidd 5904b7b
Introduce AuxiliaryType
CaelmBleidd 5d624a1
Small changes
CaelmBleidd f2474e3
Copy documentation to TsTypeSystem file
CaelmBleidd 1121ed5
Change hasCommonSubtype for primitive types
CaelmBleidd a95faf3
Minor changes
CaelmBleidd d02da22
Stream usages
CaelmBleidd cce7f33
Stream usages with unique fields
CaelmBleidd 850b2c9
Hierarchy implementation
CaelmBleidd b5c1be0
Add util function for receiving all fields
CaelmBleidd ed36c93
Remove primitive types from the TopTypeStream
CaelmBleidd f24f284
Remove top type stream
CaelmBleidd 7114014
Remove primitive types from the type system
CaelmBleidd 79491f9
Replace any and unknown with object class
CaelmBleidd ec13f52
Tests fixes
CaelmBleidd f2a0d33
Add instanceof and fixes
CaelmBleidd 024c579
Minor changes
CaelmBleidd e759ead
Minor changes
CaelmBleidd 754aa7e
Remove mistakenly added code
CaelmBleidd c9d6e86
Replace assert with path constraints update
CaelmBleidd b3a0ce9
Remove redundant hierarchy from the ExprResolver
CaelmBleidd c5ffcb3
Fixes in TsExprResolver
CaelmBleidd 1fff782
Small fixes in TsInterpreter
CaelmBleidd ab27095
Resolve arg type in getInitialState
CaelmBleidd e6429f6
Auxiliary type fixes
CaelmBleidd e7eb2ec
Optimize imports
CaelmBleidd cadaf1f
Minor fixes
CaelmBleidd 569bbfa
Minor fixes
CaelmBleidd 5b944ce
Rebase fixes
CaelmBleidd 7aade22
Fixes
CaelmBleidd 25bfb34
Change project availability check function
CaelmBleidd 4114f86
Remove redundant method
CaelmBleidd c795f89
Optimize imports
CaelmBleidd ac26135
Minor updates
CaelmBleidd 29a69e5
Rename shadowed variable
Lipen 0a94163
Format
Lipen b176f3b
Deterministic typeName
Lipen 9fccca0
Add toString for AuxiliaryType
Lipen e53faef
EOF
Lipen 169004e
Format
Lipen 0efcc7a
Format
Lipen be61485
Use mapValues
Lipen ce11394
Add test with structural equality trick
Lipen 29b383d
Format
Lipen 706dec8
Reuse docs from interface
Lipen 2833ed6
Format test samples
Lipen 4598ff4
Format
Lipen 0a229af
Use check
Lipen 5e53644
Format
Lipen 41b336b
Format
Lipen 49a940e
Add todoes
CaelmBleidd ee7ef44
Fix an issue with resolved class
CaelmBleidd File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or 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
This file contains hidden or 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
This file contains hidden or 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
136 changes: 0 additions & 136 deletions
136
usvm-ts/src/main/kotlin/org/usvm/machine/TsTypeSystem.kt
This file was deleted.
Oops, something went wrong.
This file contains hidden or 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
This file contains hidden or 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
Oops, something went wrong.
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.
Uh oh!
There was an error while loading. Please reload this page.