initial commit
Showing
- AUTHORS 15 additions, 0 deletionsAUTHORS
- COPYRIGHT 39 additions, 0 deletionsCOPYRIGHT
- INSTALL 41 additions, 0 deletionsINSTALL
- LICENSE 515 additions, 0 deletionsLICENSE
- README 29 additions, 0 deletionsREADME
- README.md 0 additions, 3 deletionsREADME.md
- bin/.gitignore 4 additions, 0 deletionsbin/.gitignore
- com/Makefile 63 additions, 0 deletionscom/Makefile
- com/if2gen 119 additions, 0 deletionscom/if2gen
- doc/README 7 additions, 0 deletionsdoc/README
- examples/.gitignore 5 additions, 0 deletionsexamples/.gitignore
- examples/ackermann.if 87 additions, 0 deletionsexamples/ackermann.if
- examples/bitalt-o1.if 90 additions, 0 deletionsexamples/bitalt-o1.if
- examples/bitalt-o2.if 90 additions, 0 deletionsexamples/bitalt-o2.if
- examples/bitalt.if 137 additions, 0 deletionsexamples/bitalt.if
- examples/earthquake.if 197 additions, 0 deletionsexamples/earthquake.if
- examples/factorial.if 74 additions, 0 deletionsexamples/factorial.if
- examples/filesystem.if 191 additions, 0 deletionsexamples/filesystem.if
- examples/fischer.if 82 additions, 0 deletionsexamples/fischer.if
- examples/prodcons.if 136 additions, 0 deletionsexamples/prodcons.if
Loading
Please register or sign in to comment