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

Working with unmapped variable in an expression environment and build… #200

Merged
merged 44 commits into from
Jul 31, 2023
Merged

Working with unmapped variable in an expression environment and build… #200

merged 44 commits into from
Jul 31, 2023

Commits on Jun 27, 2023

  1. Working with unmapped varaible in an expression environment and build… 

    …ing test case for rewrite rules in different packages.
    Qinghong Wu authored and Qinghong Wu committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    04a299e View commit details
    Browse the repository at this point in the history

  2. Modifying Verifier and Config to include flags and

    Qinghong Wu authored and Qinghong Wu committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    32ede2d View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2023

  1. Adding symbolic unmapped for rewrite verify tests

    Qinghong Wu authored and Qinghong Wu committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    96f8fe4 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2023

  1. updating import.cabal

    Qinghong Wu authored and Qinghong Wu committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    e054470 View commit details
    Browse the repository at this point in the history

  2. updating build_cabal_project so it will format cabal file correctly

    Qinghong Wu authored and Qinghong Wu committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    0852f49 View commit details
    Browse the repository at this point in the history

  3. Delete Build_cabal_project.py

    @QHWU1228
    QHWU1228 authored Jul 3, 2023
    Configuration menu
    Copy the full SHA
    64e13e0 View commit details
    Browse the repository at this point in the history

  4. Updating import cabal file

    Qinghong Wu authored and Qinghong Wu committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    667a87e View commit details
    Browse the repository at this point in the history

  5. Updating impor.cabal for appriorate base.version, updating other two … 

    …file for import type instance
    Qinghong Wu authored and Qinghong Wu committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    a987f58 View commit details
    Browse the repository at this point in the history

  6. Updating importTest for the problem of inline

    Qinghong Wu authored and Qinghong Wu committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    7bc0729 View commit details
    Browse the repository at this point in the history

  7. updating base version so it could run with the test version

    Qinghong Wu authored and Qinghong Wu committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    cff978b View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2023

  1. Updating uninterpreted for free types

    Qinghong Wu authored and Qinghong Wu committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    14ac61a View commit details
    Browse the repository at this point in the history

  2. allType's issue in term of parsing

    Qinghong Wu authored and Qinghong Wu committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    920ba23 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2023

  1. Updating build_cabal_and_project script because it was missing a line… 

    … compared to the original file and format issue when inserting build-depends and ghc-option in the end of the file. In addition, also updating the extension we need to check when reading file. Lastly, updating uninterpreted for dealing with free types and data constructor.
    Qinghong Wu authored and Qinghong Wu committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    09aac4c View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2023

  1. Updating uninterpreted for freeTypes

    Qinghong Wu authored and Qinghong Wu committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    a758a2f View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2023

  1. Uninterpreted addDatacon successfully compile, waiting for confirmation

    Qinghong Wu authored and Qinghong Wu committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    626fde5 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2023

  1. giving updates to uninterpreted

    Qinghong Wu authored and Qinghong Wu committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    25475a8 View commit details
    Browse the repository at this point in the history

  2. giving updates to uninterpreted

    Qinghong Wu authored and Qinghong Wu committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    1cb7d8c View commit details
    Browse the repository at this point in the history

  3. giving updates to uninterpreted

    Qinghong Wu authored and Qinghong Wu committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    8414d5c View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2023

  1. Updating verify test to include the instance of ASTContainer type and… 

    … expr
    Qinghong Wu authored and Qinghong Wu committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    5399071 View commit details
    Browse the repository at this point in the history

  2. Updating verify test to include the instance of ASTContainer type and… 

    … expr
    Qinghong Wu authored and Qinghong Wu committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    d86eb2d View commit details
    Browse the repository at this point in the history

  3. updating rejectrule signature in RewriteVerifyTest

    Qinghong Wu authored and Qinghong Wu committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    9b4f082 View commit details
    Browse the repository at this point in the history

  4. updating rejectrule signature in RewriteVerifyTest

    Qinghong Wu authored and Qinghong Wu committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    95032a8 View commit details
    Browse the repository at this point in the history

  5. Updating uninterpreted for translation purpose between ghc and G2

    Qinghong Wu authored and Qinghong Wu committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    5dd696b View commit details
    Browse the repository at this point in the history

  6. Updating incomplete field for bound_ids in addDatacon

    Qinghong Wu authored and Qinghong Wu committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    8325324 View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2023

  1. Updating Uninterpreted and Verifier for handling datacon and types th… 

    …at are free
    Qinghong Wu authored and Qinghong Wu committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    7073a9e View commit details
    Browse the repository at this point in the history

  2. Updating Uninterpreted and Verifier for handling datacon and types th… 

    …at are free
    Qinghong Wu authored and Qinghong Wu committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    653497c View commit details
    Browse the repository at this point in the history

  3. Updating Uninterpreted

    Qinghong Wu authored and Qinghong Wu committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    d1837b9 View commit details
    Browse the repository at this point in the history

  4. Updating Uninterpreted

    Qinghong Wu authored and Qinghong Wu committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    e9b8b92 View commit details
    Browse the repository at this point in the history

  5. Updating Uninterpreted

    Qinghong Wu authored and Qinghong Wu committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    577c3e2 View commit details
    Browse the repository at this point in the history

  6. Updating uninterpreted for brute force matching for the names

    Qinghong Wu authored and Qinghong Wu committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    78e6da7 View commit details
    Browse the repository at this point in the history

  7. Updating Uninterpreted and Verifier for states

    Qinghong Wu authored and Qinghong Wu committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    1f71614 View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2023

  1. Updating uninterpreted for case expression subVars:

    Qinghong Wu authored and Qinghong Wu committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    bd6a8fb View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2023

  1. Updating subvar's expression handling

    Qinghong Wu authored and Qinghong Wu committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    127bf06 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2023

  1. Updating uninterpreted and Support.hs to include rule that's being mo… 

    …dified in types and expr
    Qinghong Wu authored and Qinghong Wu committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    5242674 View commit details
    Browse the repository at this point in the history

  2. Updating cabal in plugintest

    Qinghong Wu authored and Qinghong Wu committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    676cde8 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of https://github.com/BillHallahan/G2 into unma… 

    …pped
    Qinghong Wu authored and Qinghong Wu committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    358ead1 View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2023

  1. adding logging specific rule with nebula

    Qinghong Wu authored and Qinghong Wu committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    64ddb6d View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2023

  1. Updating Uninterpreted

    Qinghong Wu authored and Qinghong Wu committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    f06dd2c View commit details
    Browse the repository at this point in the history

  2. Updating Uninterpreted

    Qinghong Wu authored and Qinghong Wu committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    b50e73e View commit details
    Browse the repository at this point in the history

  3. Updating Uninterpreted

    Qinghong Wu authored and Qinghong Wu committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    4efa59b View commit details
    Browse the repository at this point in the history

  4. Updating Uninterpreted

    Qinghong Wu authored and Qinghong Wu committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    f51af3e View commit details
    Browse the repository at this point in the history

  5. Updating ghc-option from PluginTest.cabal

    Qinghong Wu authored and Qinghong Wu committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    e9c3cbb View commit details
    Browse the repository at this point in the history

  6. Updating uninterpreted: ghc-option in plugintest.cabal

    Qinghong Wu authored and Qinghong Wu committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    3ec45c5 View commit details
    Browse the repository at this point in the history

  7. Updating Uninterpreted for compatability

    Qinghong Wu authored and Qinghong Wu committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    139d329 View commit details
    Browse the repository at this point in the history