c2ats：从C代码生成ATS接口
需积分: 9 113 浏览量
2021-02-04
16:26:30
上传
评论
收藏 628KB ZIP 举报
c2ats-master.zip （57个子文件） 
c2ats-master 
.travis.yml 2KB example structmember example.c 393B main.dats 1KB example.h 160B Makefile 257B satstree main.dats 417B example.h 19B Makefile 437B welltyped_fileread main.dats 1KB example.h 19B Makefile 233B example_gen.sats 27KB example_welltyped.sats 27KB hello main.dats 386B example.h 19B Makefile 230B complex main.dats 123B example.h 935B Makefile 248B globalvar example.c 270B main.dats 998B example.h 118B Makefile 257B fileread main.dats 2KB example.h 19B Makefile 230B welltyped_hello main.dats 191B example.h 19B Makefile 233B example_gen.sats 27KB example_welltyped.sats 27KB welltyped_gtk3 main.dats 3KB example.h 21B Makefile 335B example_gen.sats 2.93MB example_welltyped.sats 2.91MB gtk3 main.dats 4KB example.h 21B Makefile 332B Makefile 117B test Main.hs 242B c2ats.cabal 2KB app Main.hs 3KB src Language C2ATS.hs 408B C2ATS FlatGlobalDecl.hs 944B Process.hs 12KB Parser.hs 908B Pretty.hs 22KB HeaderTree.hs 7KB Setup.hs 46B .gitignore 90B Makefile 290B README.md 3KB example_notyet satstree_gtk3 main.dats 4KB example.h 21B Makefile 539B COPYING 34KB资源评论
