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

Update Refinement Handling in Verilog Verification Target Generation #219

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

Update Refinement Handling in Verilog Verification Target Generation #219

wants to merge 81 commits into from

Commits on Apr 15, 2021

  1. add vexp parser

    @zhanghongce
    zhanghongce committed Apr 15, 2021
    Configuration menu
    Copy the full SHA
    cf6e36b View commit details
    Browse the repository at this point in the history

Commits on Apr 21, 2021

  1. update vexp ref

    @zhanghongce
    zhanghongce committed Apr 21, 2021
    Configuration menu
    Copy the full SHA
    426c227 View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2021

  1. rf parsing step 1 structure

    @zhanghongce
    zhanghongce committed Apr 23, 2021
    Configuration menu
    Copy the full SHA
    b34f537 View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2021

  1. structure parse

    @zhanghongce
    zhanghongce committed Apr 29, 2021
    Configuration menu
    Copy the full SHA
    4908961 View commit details
    Browse the repository at this point in the history

Commits on May 12, 2021

  1. add array addr width extract

    @zhanghongce
    zhanghongce committed May 12, 2021
    Configuration menu
    Copy the full SHA
    10caa7e View commit details
    Browse the repository at this point in the history

  2. fix update

    @zhanghongce
    zhanghongce committed May 12, 2021
    Configuration menu
    Copy the full SHA
    89ac6e2 View commit details
    Browse the repository at this point in the history

  3. rfmap wip

    @zhanghongce
    zhanghongce committed May 12, 2021
    Configuration menu
    Copy the full SHA
    9228556 View commit details
    Browse the repository at this point in the history

  4. add array addr width extract

    @zhanghongce
    zhanghongce committed May 12, 2021
    Configuration menu
    Copy the full SHA
    c7f845e View commit details
    Browse the repository at this point in the history

  5. fix update

    @zhanghongce
    zhanghongce committed May 12, 2021
    Configuration menu
    Copy the full SHA
    cdafa8b View commit details
    Browse the repository at this point in the history

  6. fix array range parsing

    @zhanghongce
    zhanghongce committed May 12, 2021
    Configuration menu
    Copy the full SHA
    ca747d3 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into refinement-upgrade

    @zhanghongce
    zhanghongce committed May 12, 2021
    Configuration menu
    Copy the full SHA
    e6d9532 View commit details
    Browse the repository at this point in the history

Commits on May 15, 2021

  1. update vexpparser

    @zhanghongce
    zhanghongce committed May 15, 2021
    Configuration menu
    Copy the full SHA
    ad1e20a View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2021

  1. type inference

    @zhanghongce
    zhanghongce committed Jun 1, 2021
    Configuration menu
    Copy the full SHA
    8ce9967 View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2021

  1. update vexpparser ref

    @zhanghongce
    zhanghongce committed Jun 11, 2021
    Configuration menu
    Copy the full SHA
    7d79862 View commit details
    Browse the repository at this point in the history

  2. type check rewrite

    @zhanghongce
    zhanghongce committed Jun 11, 2021
    Configuration menu
    Copy the full SHA
    8907884 View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2021

  1. vexp ref

    @zhanghongce
    zhanghongce committed Jun 15, 2021
    Configuration menu
    Copy the full SHA
    1f925c2 View commit details
    Browse the repository at this point in the history

  2. test

    @zhanghongce
    zhanghongce committed Jun 15, 2021
    Configuration menu
    Copy the full SHA
    480e4d0 View commit details
    Browse the repository at this point in the history

  3. rfmap update

    @zhanghongce
    zhanghongce committed Jun 15, 2021
    Configuration menu
    Copy the full SHA
    77b55bb View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2021

  1. backend mod WIP

    @zhanghongce
    zhanghongce committed Jun 18, 2021
    Configuration menu
    Copy the full SHA
    25c9f82 View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2021

  1. update vexp ref

    @zhanghongce
    zhanghongce committed Jun 21, 2021
    Configuration menu
    Copy the full SHA
    61fe609 View commit details
    Browse the repository at this point in the history

  2. rfexpr2smt

    @zhanghongce
    zhanghongce committed Jun 21, 2021
    Configuration menu
    Copy the full SHA
    1f28383 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2021

  1. rfexpr to smt test WIP

    @zhanghongce
    zhanghongce committed Jul 3, 2021
    Configuration menu
    Copy the full SHA
    e207e89 View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2021

  1. rfexpr 2 smt

    @zhanghongce
    zhanghongce committed Jul 7, 2021
    Configuration menu
    Copy the full SHA
    e465c78 View commit details
    Browse the repository at this point in the history

  2. add rfexpr 2 smt convert test

    @zhanghongce
    zhanghongce committed Jul 7, 2021
    Configuration menu
    Copy the full SHA
    3c41241 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2021

  1. gen_util mod WIP

    @zhanghongce
    zhanghongce committed Jul 14, 2021
    Configuration menu
    Copy the full SHA
    758fff6 View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2021

  1. stage1 test

    @zhanghongce
    zhanghongce committed Jul 20, 2021
    Configuration menu
    Copy the full SHA
    01be7d4 View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2021

  1. update vexp ref

    @zhanghongce
    zhanghongce committed Jul 21, 2021
    Configuration menu
    Copy the full SHA
    f669a75 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2021

  1. rfexpr wip

    @zhanghongce
    zhanghongce committed Jul 28, 2021
    Configuration menu
    Copy the full SHA
    cf009f5 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2021

  1. rfexpr array

    @zhanghongce
    zhanghongce committed Aug 14, 2021
    Configuration menu
    Copy the full SHA
    de50765 View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2021

  1. vexp ref update

    @zhanghongce
    zhanghongce committed Aug 18, 2021
    Configuration menu
    Copy the full SHA
    b2cf2bc View commit details
    Browse the repository at this point in the history

  2. update vexp ref

    @zhanghongce
    zhanghongce committed Aug 18, 2021
    Configuration menu
    Copy the full SHA
    85ac6c7 View commit details
    Browse the repository at this point in the history

  3. rfexpr to smt

    @zhanghongce
    zhanghongce committed Aug 18, 2021
    Configuration menu
    Copy the full SHA
    750ad5a View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2021

  1. vpipe test debug

    @zhanghongce
    zhanghongce committed Aug 20, 2021
    Configuration menu
    Copy the full SHA
    6d597aa View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2021

  1. im smt property WIP

    @zhanghongce
    zhanghongce committed Aug 28, 2021
    Configuration menu
    Copy the full SHA
    ec80c09 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2021

  1. smt property-interface

    @zhanghongce
    zhanghongce committed Sep 2, 2021
    Configuration menu
    Copy the full SHA
    f107da4 View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2021

  1. add stall vpipe

    @zhanghongce
    zhanghongce committed Sep 7, 2021
    Configuration menu
    Copy the full SHA
    26d0c3b View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2021

  1. new benchmark

    @zhanghongce
    zhanghongce committed Sep 9, 2021
    Configuration menu
    Copy the full SHA
    a867fcb View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2021

  1. test vtg

    @zhanghongce
    zhanghongce committed Sep 13, 2021
    Configuration menu
    Copy the full SHA
    f8f84dc View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2021

  1. add flex dev

    @zhanghongce
    zhanghongce committed Sep 14, 2021
    Configuration menu
    Copy the full SHA
    b4b65fe View commit details
    Browse the repository at this point in the history

  2. update workflow

    @zhanghongce
    zhanghongce committed Sep 14, 2021
    Configuration menu
    Copy the full SHA
    0c64528 View commit details
    Browse the repository at this point in the history

  3. style change

    @zhanghongce
    zhanghongce committed Sep 14, 2021
    Configuration menu
    Copy the full SHA
    3315da8 View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2021

  1. add rtl verify api

    @zhanghongce
    zhanghongce committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    3be66b7 View commit details
    Browse the repository at this point in the history

  2. update vexpparser ref

    @zhanghongce
    zhanghongce committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    dad9922 View commit details
    Browse the repository at this point in the history

  3. adjust path

    @zhanghongce
    zhanghongce committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    9b9cb4f View commit details
    Browse the repository at this point in the history

  4. address lgtm

    @zhanghongce
    zhanghongce committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    74fca2f View commit details
    Browse the repository at this point in the history

  5. libfl-dev

    @zhanghongce
    zhanghongce committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    322ebd3 View commit details
    Browse the repository at this point in the history

  6. ref

    @zhanghongce
    zhanghongce committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    e477ee9 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' of github.com:PrincetonUniversity/ILAng into re… 

    …finement-upgrade
    @zhanghongce
    zhanghongce committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    aeb11a4 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2021

  1. vexpparser on windows

    @zhanghongce
    zhanghongce committed Oct 17, 2021
    Configuration menu
    Copy the full SHA
    236d250 View commit details
    Browse the repository at this point in the history

  2. fix cmake

    @zhanghongce
    zhanghongce committed Oct 17, 2021
    Configuration menu
    Copy the full SHA
    2920693 View commit details
    Browse the repository at this point in the history

  3. add azure ppl include for vexpp in msvc

    @zhanghongce
    zhanghongce committed Oct 17, 2021
    Configuration menu
    Copy the full SHA
    8dc3c8a View commit details
    Browse the repository at this point in the history

  4. update vexp ref

    @zhanghongce
    zhanghongce committed Oct 17, 2021
    Configuration menu
    Copy the full SHA
    6a15618 View commit details
    Browse the repository at this point in the history

  5. new test

    @zhanghongce
    zhanghongce committed Oct 17, 2021
    Configuration menu
    Copy the full SHA
    172690f View commit details
    Browse the repository at this point in the history

  6. add test

    @zhanghongce
    zhanghongce committed Oct 17, 2021
    Configuration menu
    Copy the full SHA
    3bf933d View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2021

  1. add more test

    @zhanghongce
    zhanghongce committed Oct 20, 2021
    Configuration menu
    Copy the full SHA
    e7736b5 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2021

  1. update vexp ref

    @zhanghongce
    zhanghongce committed Oct 23, 2021
    Configuration menu
    Copy the full SHA
    61c7588 View commit details
    Browse the repository at this point in the history

  2. before remove mod

    @zhanghongce
    zhanghongce committed Oct 23, 2021
    Configuration menu
    Copy the full SHA
    dd8f61e View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2021

  1. vexp ref

    @zhanghongce
    zhanghongce committed Oct 24, 2021
    Configuration menu
    Copy the full SHA
    cb2ae2e View commit details
    Browse the repository at this point in the history

  2. vexp ref

    @zhanghongce
    zhanghongce committed Oct 24, 2021
    Configuration menu
    Copy the full SHA
    6f90197 View commit details
    Browse the repository at this point in the history

  3. fix cmake install

    @zhanghongce
    zhanghongce committed Oct 24, 2021
    Configuration menu
    Copy the full SHA
    133ed8b View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2021

  1. add aux-var section

    @zhanghongce
    zhanghongce committed Oct 27, 2021
    Configuration menu
    Copy the full SHA
    f22ee16 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2021

  1. fix wrapper path

    @zhanghongce
    zhanghongce committed Nov 1, 2021
    Configuration menu
    Copy the full SHA
    03fcfe2 View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2021

  1. annotation for width

    @zhanghongce
    zhanghongce committed Nov 3, 2021
    Configuration menu
    Copy the full SHA
    fb1c9d9 View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2021

  1. fix vexparser build on win ci. ProgramData path is hard-coded

    @yuex1994
    yuex1994 committed Nov 4, 2021
    Configuration menu
    Copy the full SHA
    4924f92 View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2021

  1. fix vlg_mod test failure

    @zhanghongce
    zhanghongce committed Nov 5, 2021
    Configuration menu
    Copy the full SHA
    ca7ae82 View commit details
    Browse the repository at this point in the history

  2. disable overwriting warning

    @zhanghongce
    zhanghongce committed Nov 5, 2021
    Configuration menu
    Copy the full SHA
    dd66f82 View commit details
    Browse the repository at this point in the history

  3. update vexp ref

    @zhanghongce
    zhanghongce committed Nov 5, 2021
    Configuration menu
    Copy the full SHA
    94490b8 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'refinement-upgrade' of github.com:zhanghongce/ILA-Tools… 

    … into refinement-upgrade
    @zhanghongce
    zhanghongce committed Nov 5, 2021
    Configuration menu
    Copy the full SHA
    c1331c9 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2021

  1. more cmake macro def

    @zhanghongce
    zhanghongce committed Nov 8, 2021
    Configuration menu
    Copy the full SHA
    d7e0df6 View commit details
    Browse the repository at this point in the history

Commits on Nov 26, 2021

  1. update vexpparser ref

    @zhanghongce
    zhanghongce committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    9312422 View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2021

  1. add quantified support in rfexpr

    @zhanghongce
    zhanghongce committed Nov 28, 2021
    Configuration menu
    Copy the full SHA
    af7b268 View commit details
    Browse the repository at this point in the history

  2. add quantifier handling in vtg

    @zhanghongce
    zhanghongce committed Nov 28, 2021
    Configuration menu
    Copy the full SHA
    6f96e80 View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2021

  1. add quantifier support

    @zhanghongce
    zhanghongce committed Nov 29, 2021
    Configuration menu
    Copy the full SHA
    19a1358 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2021

  1. add flex lexer include path

    @zhanghongce
    zhanghongce committed Nov 30, 2021
    Configuration menu
    Copy the full SHA
    638f8c0 View commit details
    Browse the repository at this point in the history

  2. remove ubuntu 16.04 in azure ppl

    @zhanghongce
    zhanghongce committed Nov 30, 2021
    Configuration menu
    Copy the full SHA
    fb5c41d View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2021

  1. inst complete cond default

    @zhanghongce
    zhanghongce committed Dec 13, 2021
    Configuration menu
    Copy the full SHA
    c88eb9c View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2021

  1. fix bug

    @zhanghongce
    zhanghongce committed Dec 20, 2021
    Configuration menu
    Copy the full SHA
    da73b40 View commit details
    Browse the repository at this point in the history

  2. new test case

    @zhanghongce
    zhanghongce committed Dec 20, 2021
    Configuration menu
    Copy the full SHA
    e1ba297 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2022

  1. fix typo

    @zhanghongce
    zhanghongce committed Jan 10, 2022
    Configuration menu
    Copy the full SHA
    2dbdbab View commit details
    Browse the repository at this point in the history

  2. add wire def

    @zhanghongce
    zhanghongce committed Jan 10, 2022
    Configuration menu
    Copy the full SHA
    1a406bf View commit details
    Browse the repository at this point in the history

Commits on Jan 21, 2022

  1. rf expr type resolution

    @zhanghongce
    zhanghongce committed Jan 21, 2022
    Configuration menu
    Copy the full SHA
    76a99fa View commit details
    Browse the repository at this point in the history