Skip to content

Commit

Permalink
reimplements x86 targets using the new infrastructure (#1521)
Browse files Browse the repository at this point in the history 
Leverages `Theory.Target.register` and `Arg.Language` to clean up the
target registration and calling convention specification of x86 ABIs.
  • Loading branch information
@ivg
ivg authored Jun 29, 2022
1 parent f26063f commit acbb6d5
Show file tree
Hide file tree
Showing 2 changed files with 145 additions and 142 deletions.
Loading

0 comments on commit acbb6d5

Please sign in to comment.