Skip to content
Snippets Groups Projects
Forked from Iris / Iris
Source project has a limited visibility.
Ralf Jung's avatar
Ralf Jung authored
don't tie bi.weakestpre to program_logic.language (full TC approach)

Closes #408

See merge request iris/iris!656
62d66722
History
Name Last commit Last update