Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fixing isa-parser #335

Open
wants to merge 35 commits into
base: master
Choose a base branch
from
Open

fixing isa-parser #335

wants to merge 35 commits into from

Commits on Jan 16, 2020

  1. isa-parser: fixed isa-parser datatype parsing function 

    [skip lemma]
    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 16, 2020
    Configuration menu
    Copy the full SHA
    6279c1a View commit details
    Browse the repository at this point in the history

  2. isa-parser: add parsing for case-of

    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 16, 2020
    Configuration menu
    Copy the full SHA
    328c779 View commit details
    Browse the repository at this point in the history

  3. isa-parser: add parsing for case-of; fix abbreviation parser

    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 16, 2020
    Configuration menu
    Copy the full SHA
    17590d5 View commit details
    Browse the repository at this point in the history

  4. isa-parser: recordUpd: fieldL instead of termL for field name

    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 16, 2020
    Configuration menu
    Copy the full SHA
    1c20410 View commit details
    Browse the repository at this point in the history

  5. isa-parser: add parsing for RecordUpd

    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 16, 2020
    Configuration menu
    Copy the full SHA
    d8a9aba View commit details
    Browse the repository at this point in the history

  6. isa-parser: add parsing for record declaration

    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 16, 2020
    Configuration menu
    Copy the full SHA
    287dc22 View commit details
    Browse the repository at this point in the history

  7. isa-parser: add parsing for primRec; add "$" operator

    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 16, 2020
    Configuration menu
    Copy the full SHA
    6d8f1b8 View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2020

  1. isa-parser: add parsing for case of; add parsing for ConstTerm IntLit… 

    …eral (only supports nat for now
    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 17, 2020
    Configuration menu
    Copy the full SHA
    29d2fdb View commit details
    Browse the repository at this point in the history

  2. isa-parser: added '.' as part of quasiletterS (used in term names)

    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 17, 2020
    Configuration menu
    Copy the full SHA
    3b09b8c View commit details
    Browse the repository at this point in the history

  3. isa-parser: reformatting some do blocks

    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 17, 2020
    Configuration menu
    Copy the full SHA
    bce2caa View commit details
    Browse the repository at this point in the history

Commits on Jan 21, 2020

  1. isa-parser: added list type; removed '.' from quasiletterS because it… 

    …'s breaking other things
    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    666be40 View commit details
    Browse the repository at this point in the history

  2. isa-parser: added parsing for tuple type; added pretty tuple and list

    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    d3b2b5e View commit details
    Browse the repository at this point in the history

  3. isa-parser: added parsing for do block, image, uminus and >>=

    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    e64bed6 View commit details
    Browse the repository at this point in the history

  4. isa-parser: parsing for set, union, greater_eq and '.' in module.func… 

    …tion
    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    e05c846 View commit details
    Browse the repository at this point in the history

  5. isa-parser: renamed Tuple to TupleTerm to avoid confusion

    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    7665835 View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2020

  1. isa-parser: added subscript as part of name, added 2 binOps: aternati… 

    …ve and append
    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 22, 2020
    Configuration menu
    Copy the full SHA
    5aa5df5 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2020

  1. isa-parser: added parsing for >, <, - as operators. Need to change pa… 

    …rsing for <^sub>
    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 24, 2020
    Configuration menu
    Copy the full SHA
    8f21b69 View commit details
    Browse the repository at this point in the history

Commits on Jan 27, 2020

  1. isa-parser: added parsing for Pair, put parsing for List and Tuple in… 

    …side ListTerm rather than seperate types
    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 27, 2020
    Configuration menu
    Copy the full SHA
    a8cb7b8 View commit details
    Browse the repository at this point in the history

  2. added lexeme parser for square brackets and braces.

    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 27, 2020
    Configuration menu
    Copy the full SHA
    3588bfc View commit details
    Browse the repository at this point in the history

  3. isa-parser: added parsing for declare

    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 27, 2020
    Configuration menu
    Copy the full SHA
    5cf41b6 View commit details
    Browse the repository at this point in the history

Commits on Jan 28, 2020

  1. isa-parser: added parsing for function update and its helper function… 

    … mapsto
    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 28, 2020
    Configuration menu
    Copy the full SHA
    84aabd4 View commit details
    Browse the repository at this point in the history

  2. isa-parser: added parsing for binary operator - In

    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 28, 2020
    Configuration menu
    Copy the full SHA
    a78b31d View commit details
    Browse the repository at this point in the history

  3. isa-parser: added parsing for binary operator - addition and multipli… 

    …cation
    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 28, 2020
    Configuration menu
    Copy the full SHA
    fbd111f View commit details
    Browse the repository at this point in the history

  4. isa-parser: added parsing for binary operators including six bitwise … 

    …operators and one function(Nth)
    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 28, 2020
    Configuration menu
    Copy the full SHA
    f311577 View commit details
    Browse the repository at this point in the history

  5. isa-parser: made parsing function updates better; modified record dec… 

    …lare and update function; attempted to parse letIn
    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 28, 2020
    Configuration menu
    Copy the full SHA
    a9c8ad6 View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2020

  1. isa-parser: added parsing for let in

    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 29, 2020
    Configuration menu
    Copy the full SHA
    b5215ef View commit details
    Browse the repository at this point in the history

  2. isa-parser: added parsing for tupled quantifiers; commented out lamTe… 

    …rm and mkLambda
    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 29, 2020
    Configuration menu
    Copy the full SHA
    1f473f0 View commit details
    Browse the repository at this point in the history

  3. isa-parser: added lamTerm and mkLambda back

    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 29, 2020
    Configuration menu
    Copy the full SHA
    1e103ce View commit details
    Browse the repository at this point in the history

  4. isa-parser: modified parsing for recField to allow unquoted types; ad… 

    …ded binary operators subset_eq and restrict_map
    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 29, 2020
    Configuration menu
    Copy the full SHA
    463c9db View commit details
    Browse the repository at this point in the history

  5. isa-parser: modified lamTerm

    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 29, 2020
    Configuration menu
    Copy the full SHA
    3c62e79 View commit details
    Browse the repository at this point in the history

  6. isa-parser: fixed pretty printer for Declare

    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 29, 2020
    Configuration menu
    Copy the full SHA
    630b157 View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2020

  1. isa-parser: made parsing composition a seperate case; fixed pretty pr… 

    …inting for abbr, primrec and import
    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 31, 2020
    Configuration menu
    Copy the full SHA
    6775665 View commit details
    Browse the repository at this point in the history

  2. isa-parser: Added:(1)binops |-> and :=(2)parens around if; Fixed:(1)p… 

    …retty set(2)types in outer record;Deleted(1)funUpd(2)mapsto
    @ZhuoZoeyChen
    ZhuoZoeyChen committed Jan 31, 2020
    Configuration menu
    Copy the full SHA
    86d1104 View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2020

  1. isa-parser: added ffmap and Functor Flip instances for the sake of ty… 

    …pes/terms conversion
    @ZhuoZoeyChen
    ZhuoZoeyChen committed Feb 12, 2020
    Configuration menu
    Copy the full SHA
    274393d View commit details
    Browse the repository at this point in the history

Commits on Feb 25, 2020

  1. add isa-hol4 translator

    @ZhuoZoeyChen
    ZhuoZoeyChen committed Feb 25, 2020
    Configuration menu
    Copy the full SHA
    ab8b3ce View commit details
    Browse the repository at this point in the history