Pull requests: opencompl/xdsl-smt

Labels 9 Milestones 0

New pull request New

5 Open 38 Closed

Author

Filter by author

Label

Filter by label

Use alt + click/return to exclude labels

or ⇧ + click/return for logical OR

Projects

Filter by project

Milestones

Filter by milestone

Reviews

Filter by reviews

No reviews Review required Approved review Changes requested

Assignee

Filter by who’s assigned

Assigned to nobody

Sort

Sort by

Newest Oldest Most commented Least commented Recently updated Least recently updated Best match

Most reactions

Pull requests list

Extend cpp translator to support backwards transfer functions

#45 opened Nov 24, 2024 by Hatsunespica

Loading…

Transfer functions utils added, right now it only includes soundness checks

#44 opened Nov 24, 2024 by Hatsunespica

Loading…

ReversBits op added for transfer dialect

#43 opened Nov 24, 2024 by Hatsunespica

Loading…

This PR add forwards and backwards soundness checks for transfer dialect

#41 opened Nov 18, 2024 by Hatsunespica

Loading…

PDL verification using parametric int theory

#38 opened Nov 11, 2024 by qaco

Loading…

ProTip! no:milestone will show everything without a milestone.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly