sepcomp: rename `compile_resolution_tables` as `compute_resolution_tables`
authorJean Privat <jean@pryen.org>
Fri, 20 Mar 2015 06:56:15 +0000 (13:56 +0700)
committerJean Privat <jean@pryen.org>
Sat, 21 Mar 2015 06:01:04 +0000 (13:01 +0700)
because there is no C generation, only abstract data-structures.

Signed-off-by: Jean Privat <jean@pryen.org>


No differences found