git.annexia.org / wrappi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 68483fc) | patch
Add more realistic type system.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 30 Dec 2011 21:52:42 +0000 (21:52 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 30 Dec 2011 21:52:42 +0000 (21:52 +0000)
commit6964a24290a2d645b3155353e08750f37930146a
tree85c0d77b77594a57751f6ed64792b4a5898cf488tree | snapshot
parent68483fce4f959886866af28c1c3342c2a6fcb410commit | diff
Add more realistic type system.
13 files changed:
APIs/mknod.api diff | blob | history
generator-lib/.depend diff | blob | history
generator-lib/Makefile.am diff | blob | history
generator-lib/wrappi_accumulator.ml [new file with mode: 0644] blob
generator-lib/wrappi_accumulator.mli [moved from generator-lib/wrappi_globals.mli with 61% similarity] diff | blob | history
generator-lib/wrappi_globals.ml [deleted file] blob | history
generator-lib/wrappi_types.ml diff | blob | history
generator-lib/wrappi_types.mli diff | blob | history
generator-lib/wrappi_utils.ml diff | blob | history
generator-lib/wrappi_utils.mli diff | blob | history
generator-macros/pa_wrap.ml diff | blob | history
generator/wrappi_c.ml diff | blob | history
generator/wrappi_main.ml diff | blob | history
Unnamed repository; edit this file to name it for gitweb.