-
Notifications
You must be signed in to change notification settings - Fork 77
Open
Labels
missing cryptol featuresIssues about features in Cryptol that don't work in SAWIssues about features in Cryptol that don't work in SAWneeds testIssues for which we should add a regression testIssues for which we should add a regression testsubsystem: cryptol-saw-coreIssues related to Cryptol -> saw-core translation with cryptol-saw-coreIssues related to Cryptol -> saw-core translation with cryptol-saw-coretech debtIssues that document or involve technical debtIssues that document or involve technical debttype: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behavior
Milestone
Description
As of #2607 the SAWScript parser recognizes "import submodule ..." as distinct from "import ..." but the actual import logic ignores the distinction. This should get fixed up.
Metadata
Metadata
Assignees
Labels
missing cryptol featuresIssues about features in Cryptol that don't work in SAWIssues about features in Cryptol that don't work in SAWneeds testIssues for which we should add a regression testIssues for which we should add a regression testsubsystem: cryptol-saw-coreIssues related to Cryptol -> saw-core translation with cryptol-saw-coreIssues related to Cryptol -> saw-core translation with cryptol-saw-coretech debtIssues that document or involve technical debtIssues that document or involve technical debttype: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behavior