AutoCorres2: some support for post increment / decrement in expressions,...
AutoCorres2: some support for post increment / decrement in expressions, anonymous structs and unions, flexible array members of structs
Showing
- metadata/entries/AutoCorres2.toml 1 addition, 1 deletionmetadata/entries/AutoCorres2.toml
- thys/AutoCorres2/AutoCorres.thy 1 addition, 2 deletionsthys/AutoCorres2/AutoCorres.thy
- thys/AutoCorres2/AutoCorresSimpset.thy 3 additions, 2 deletionsthys/AutoCorres2/AutoCorresSimpset.thy
- thys/AutoCorres2/In_Out_Parameters.thy 258 additions, 97 deletionsthys/AutoCorres2/In_Out_Parameters.thy
- thys/AutoCorres2/L1Peephole.thy 1 addition, 4 deletionsthys/AutoCorres2/L1Peephole.thy
- thys/AutoCorres2/L2Defs.thy 113 additions, 4 deletionsthys/AutoCorres2/L2Defs.thy
- thys/AutoCorres2/L2Peephole.thy 141 additions, 25 deletionsthys/AutoCorres2/L2Peephole.thy
- thys/AutoCorres2/NEWS 66 additions, 59 deletionsthys/AutoCorres2/NEWS
- thys/AutoCorres2/Polish.thy 122 additions, 144 deletionsthys/AutoCorres2/Polish.thy
- thys/AutoCorres2/README.md 1 addition, 1 deletionthys/AutoCorres2/README.md
- thys/AutoCorres2/ROOT 1 addition, 1 deletionthys/AutoCorres2/ROOT
- thys/AutoCorres2/Refines_Spec.thy 50 additions, 3 deletionsthys/AutoCorres2/Refines_Spec.thy
- thys/AutoCorres2/Stack_Typing.thy 1 addition, 1 deletionthys/AutoCorres2/Stack_Typing.thy
- thys/AutoCorres2/TypHeapSimple.thy 22 additions, 0 deletionsthys/AutoCorres2/TypHeapSimple.thy
- thys/AutoCorres2/TypeStrengthen.thy 1 addition, 1 deletionthys/AutoCorres2/TypeStrengthen.thy
- thys/AutoCorres2/WordAbstract.thy 9 additions, 0 deletionsthys/AutoCorres2/WordAbstract.thy
- thys/AutoCorres2/autocorres.ML 220 additions, 32 deletionsthys/AutoCorres2/autocorres.ML
- thys/AutoCorres2/autocorres_data.ML 249 additions, 104 deletionsthys/AutoCorres2/autocorres_data.ML
- thys/AutoCorres2/autocorres_options.ML 65 additions, 8 deletionsthys/AutoCorres2/autocorres_options.ML
- thys/AutoCorres2/autocorres_trace.ML 2 additions, 2 deletionsthys/AutoCorres2/autocorres_trace.ML
Loading
Please register or sign in to comment