• Houtan Bastani's avatar
    introduce command line options: `exclude_eqs` and `include_eqs` · c973049c
    Houtan Bastani authored
    Allows for the inclusion/exclusion of a set of equations, specified either on the command line or in a text file.
    
    For everything that follows, if
    
    As a command line argument, `exclude_eqs` can take the form (same syntax for `include_eqs`:
    * `exclude_eqs=[eq 1, eq 2]` to remove all equations declared as `[name=eq 1]` or `[name=eq 2]`
    * `exclude_eqs=[tagname=X]` to remove all equations declared as `[tagname=X]`
    * `exclude_eqs=[tagname=(X, Y)]` to remove all equations declared as `[tagname=X]` or `[tagname=Y]`
    
    When declared in a file, the file should be of the form:
    ```
    eq 1
    eq 2
    ```
    to remove all equations declared as `[name=eq 1]` or `[name=eq 2]`. Newlines are optional here. If no newlines are used, commas should be used to separate equation tags. If no quotes surround the equation tags, they may not contain spaces and all leading and trailing whitespace will be removed.
    
    It should be of the form:
    ```
    tagname=X
    ```
    to remove all equations declared as `[tagname=X]`. Everything should be on one line.
    
    It should be of the form:
    ```
    tagname=(X, Y)
    ```
    to remove all equations declared as `[tagname=X]` or `[tagname=Y]`. Everything should be on one line.
    c973049c
Name
Last commit
Last update
doc Loading commit data...
m4 Loading commit data...
src Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
COPYING Loading commit data...
Makefile.am Loading commit data...
README.md Loading commit data...
configure.ac Loading commit data...
license.txt Loading commit data...