2 Commits

Author	SHA1	Message	Date
Alessandro Di Federico	6cfabd96f8	Prevent committing WIP code ... This commit introduces a check in `check-conventions.sh` to prevent committing code denoted by a `// WIP` comment, that are supposed to be used to remind the developer something has to be changed before submitting a pull request.	2018-09-21 20:03:21 +02:00
Alessandro Di Federico	7fe00c08dd	Rewrite the stack and introduce the ABI analyses ... This is a very large commit importing the reviewed (and heavily simplified) stack analysis and the new ABI analysis, which provides information on the calling convention of each function and so on. For an overview of the new analyses please consult OVERVIEW.md.	2018-09-18 15:58:20 +02:00