Commit 00b85891 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent e3332614
* Set up continuous integration (ci.inria.fr)...
* Add an --auto-inline pass, which marks certain symbols %inline according
to a well-defined strategy. E.g.,
- mark %inline every symbol that is referenced only once
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment