Mentions légales du service

Skip to content

Finding program symbols

Raphaël Rieu-Helft requested to merge find_program_symbols into master

Main change: meta declarations now accept arguments of type ident to represent program symbols. This fixes problems related to finding program symbols by name in the reflection transformation. Decision procedures are now declared using meta reflection val <name>.

Merge request reports