Age | Commit message (Expand) | Author |
---|---|---|
2020-01-22 | Fix single invocation partition for non-function non-atomic types (#3642) | Andrew Reynolds |
2019-09-29 | Fail single invocation techniques when utility inference fails. (#3322) | Andrew Reynolds |
2019-08-14 | Update to standard implementation of getting free variables (#3175) | Andrew Reynolds |
2019-03-26 | Update copyright headers. | Aina Niemetz |
2018-08-06 | Fixes and improvements for single invocation inference (#2261) | Andrew Reynolds |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2018-04-08 | Check free variables in assertions (#1737) | Andrew Reynolds |
2017-11-17 | (Refactor) Document and clean single invocation partition. (#1364) | Andrew Reynolds |