2 Commits

Include renames

Author	SHA1	Message	Date
nnosov	f9f26f5f7d	use bitset for parameter state instead of separate boolean fields	2020-04-16 13:45:26 +04:00
nnosov	3317cd212b	exprt next_function, next_parameter function_info, parameter_info to ... external interface of the library	2020-04-05 14:59:41 +04:00