Skip to content

Commit

Permalink
C#: Update .NET Runtime models.
Browse files Browse the repository at this point in the history
  • Loading branch information
@michaelnebel
michaelnebel committed Apr 4, 2024
1 parent dc9b703 commit e867477
Show file tree
Hide file tree
Showing 184 changed files with 206 additions and 8,968 deletions.
106 changes: 0 additions & 106 deletions csharp/ql/lib/ext/generated/ILCompiler.Reflection.ReadyToRun.Amd64.model.yml
View file

Large diffs are not rendered by default.

34 changes: 0 additions & 34 deletions csharp/ql/lib/ext/generated/ILCompiler.Reflection.ReadyToRun.Arm.model.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,40 +6,6 @@ extensions:
data:
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "Epilog", "(System.Int32,System.Int32,System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "ToString", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "get_Condition", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "get_EpilogStartIndex", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "get_EpilogStartOffset", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "get_EpilogStartOffsetFromMainFunctionBegin", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "get_Index", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "get_Res", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "set_Condition", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "set_EpilogStartIndex", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "set_EpilogStartOffset", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "set_EpilogStartOffsetFromMainFunctionBegin", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "set_Index", "(System.Int32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "set_Res", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindCode", "UnwindCode", "(System.Int32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindCode", "get_Index", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindCode", "set_Index", "(System.Int32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "ToString", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "UnwindInfo", "(System.Byte[],System.Int32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_CodeWords", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_EBit", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_EpilogCount", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_Epilogs", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_ExtendedCodeWords", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_ExtendedEpilogCount", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_FBit", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_FunctionLength", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_Vers", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_XBit", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_CodeWords", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_EBit", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_EpilogCount", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_Epilogs", "(ILCompiler.Reflection.ReadyToRun.Arm.Epilog[])", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_ExtendedCodeWords", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_ExtendedEpilogCount", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_FBit", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_FunctionLength", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_Vers", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_XBit", "(System.UInt32)", "summary", "df-generated"]
32 changes: 0 additions & 32 deletions csharp/ql/lib/ext/generated/ILCompiler.Reflection.ReadyToRun.Arm64.model.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,38 +6,6 @@ extensions:
data:
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "Epilog", "(System.Int32,System.Int32,System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "ToString", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "get_Condition", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "get_EpilogStartIndex", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "get_EpilogStartOffset", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "get_EpilogStartOffsetFromMainFunctionBegin", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "get_Index", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "get_Res", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "set_Condition", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "set_EpilogStartIndex", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "set_EpilogStartOffset", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "set_EpilogStartOffsetFromMainFunctionBegin", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "set_Index", "(System.Int32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "set_Res", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindCode", "UnwindCode", "(System.Int32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindCode", "get_Index", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindCode", "set_Index", "(System.Int32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "ToString", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "UnwindInfo", "(System.Byte[],System.Int32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_CodeWords", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_EBit", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_EpilogCount", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_Epilogs", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_ExtendedCodeWords", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_ExtendedEpilogCount", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_FunctionLength", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_Vers", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_XBit", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_CodeWords", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_EBit", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_EpilogCount", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_Epilogs", "(ILCompiler.Reflection.ReadyToRun.Arm64.Epilog[])", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_ExtendedCodeWords", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_ExtendedEpilogCount", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_FunctionLength", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_Vers", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_XBit", "(System.UInt32)", "summary", "df-generated"]
32 changes: 0 additions & 32 deletions csharp/ql/lib/ext/generated/ILCompiler.Reflection.ReadyToRun.LoongArch64.model.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,38 +6,6 @@ extensions:
data:
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "Epilog", "(System.Int32,System.Int32,System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "ToString", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "get_Condition", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "get_EpilogStartIndex", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "get_EpilogStartOffset", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "get_EpilogStartOffsetFromMainFunctionBegin", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "get_Index", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "get_Res", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "set_Condition", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "set_EpilogStartIndex", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "set_EpilogStartOffset", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "set_EpilogStartOffsetFromMainFunctionBegin", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "set_Index", "(System.Int32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "set_Res", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindCode", "UnwindCode", "(System.Int32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindCode", "get_Index", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindCode", "set_Index", "(System.Int32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "ToString", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "UnwindInfo", "(System.Byte[],System.Int32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_CodeWords", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_EBit", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_EpilogCount", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_Epilogs", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_ExtendedCodeWords", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_ExtendedEpilogCount", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_FunctionLength", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_Vers", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_XBit", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_CodeWords", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_EBit", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_EpilogCount", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_Epilogs", "(ILCompiler.Reflection.ReadyToRun.LoongArch64.Epilog[])", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_ExtendedCodeWords", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_ExtendedEpilogCount", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_FunctionLength", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_Vers", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_XBit", "(System.UInt32)", "summary", "df-generated"]
Loading

0 comments on commit e867477

Please sign in to comment.