Julian Dolby 436d3165f7 rename getNumberOfParameters to getNumberOfPositionalParameters since the Python front end now supports keyword parameters ... support variable names in IR for synthetic summaries		2018-04-12 19:09:25 -04:00
..
domain	Fix Eclipse warnings about unused method parameters	2017-05-26 14:25:03 -07:00
flow	rename getNumberOfParameters to getNumberOfPositionalParameters since the Python front end now supports keyword parameters	2018-04-12 19:09:25 -04:00
model	more generalization for reuse	2018-02-17 22:08:09 +01:00
prefixtransfer	Use modern for-each loops where possible	2017-11-28 14:44:53 -06:00
spec	more work for reuse	2018-02-14 09:00:07 -05:00
synthmethod	rename getNumberOfParameters to getNumberOfPositionalParameters since the Python front end now supports keyword parameters	2018-04-12 19:09:25 -04:00
util	further refactoring to enable more reuse	2018-02-05 15:18:37 -08:00