forked from ryosu-sato/fpat
-
Notifications
You must be signed in to change notification settings - Fork 0
uenoku/fpat
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
FPAT ==== FPAT is a Framework for Program Analysis and Transformation. This is a forked version for [MoCHi](https://github.com/hopv/MoCHi). Authors ------- FPAT was developed and is maintained by Hiroshi Unno <uhiro@cs.tsukuba.ac.jp> Contributors ------------ Daisuke Okamoto <okamoto@logic.cs.tsukuba.ac.jp> Kodai Hashimoto <kodai@logic.cs.tsukuba.ac.jp> Sho Torii <sho@logic.cs.tsukuba.ac.jp> Hiroki Sakamoto <sakamoto@logic.cs.tsukuba.ac.jp>
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- OCaml 98.4%
- Other 1.6%