Skip to content

Extend handling of raw_eq intrinsic #347

Closed
#1091
Closed
Extend handling of raw_eq intrinsic#347
#1091
Assignees
danielsnadpaco

Description

@adpaco
adpaco
opened on Jul 21, 2021

#331 introduced code for a new raw_eq intrinsic but also future work for it. We should do layout comparison and previous failure check (soundness).

Activity

  1. adpaco
    added
    Area: verification
    Type: unimplemented
    on Jul 21, 2021
  2. adpaco
    self-assigned this
    on Jul 21, 2021
  3. danielsn
    self-assigned this
    on Jul 29, 2021

  4. adpaco commented on Mar 17, 2022

    @adpaco
    adpaco
    on Mar 17, 2022
    ContributorAuthor

    This work is still pending as of commit 98120c194e4ff59add4e1ca1011ebd78490da9b8

  5. adpaco
    added
    MLP - Must Have
    on Mar 17, 2022
  6. zhassan-aws
    added
    Soundness: Medium
    MLP - Should Have
    and removed
    Soundness: Medium
    MLP - Must Have
    on Apr 19, 2022
  7. adpaco
    closed this as completedin #1091on Apr 23, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions