• Sylvain Dailler's avatar
    Adding a search command. · 0b8634b0
    Sylvain Dailler authored
    Added a last set which is build at the same time of the name_tables which
    is a map from id to list of decls where id is used. This has to be tested
    if this is actually efficient (time and memory). If not, we can still
    disallow it with a boolean.
    0b8634b0
why3shell.ml 25.8 KB