• Jean-Christophe Filliâtre's avatar
    Tiny parser for strategies · a94b5657
    Jean-Christophe Filliâtre authored
    A simple, assembly-like syntax for strategies is introduced.
    The code for a strategy is now a single string, in the field
    'code' of a 'strategy' entry of a configuration file.
    See share/strategies.conf for examples.
    a94b5657
.gitignore 4.63 KB