Rejecting dead code

lukstafi released this 23 Mar 15:16

· 96 commits to master since this release

2c6f783

I attach an executable compiled under AMD64 (aka. x86_64) and Linux 3.11. The manual can also be found in the doc directory.

Changes:

One or two minor bug fixes; implementation cleanup including the conceptual level (specification).
Option to reject all programs with dead code.
Syntax for external with default FFI name.

Assets 4