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.

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

Update Refinement Handling in Verilog Verification Target Generation #219

Open
wants to merge 81 commits into
base: master
Choose a base branch
from
Open
Changes from 1 commit
Commits
Show all changes
81 commits
Select commit Hold shift + click to select a range
cf6e36b
add vexp parser
zhanghongce Apr 15, 2021
426c227
update vexp ref
zhanghongce Apr 21, 2021
b34f537
rf parsing step 1 structure
zhanghongce Apr 23, 2021
4908961
structure parse
zhanghongce Apr 29, 2021
10caa7e
add array addr width extract
zhanghongce May 12, 2021
89ac6e2
fix update
zhanghongce May 12, 2021
9228556
rfmap wip
zhanghongce May 12, 2021
c7f845e
add array addr width extract
zhanghongce May 12, 2021
cdafa8b
fix update
zhanghongce May 12, 2021
ca747d3
fix array range parsing
zhanghongce May 12, 2021
e6d9532
Merge branch 'master' into refinement-upgrade
zhanghongce May 12, 2021
ad1e20a
update vexpparser
zhanghongce May 15, 2021
8ce9967
type inference
zhanghongce Jun 1, 2021
7d79862
update vexpparser ref
zhanghongce Jun 11, 2021
8907884
type check rewrite
zhanghongce Jun 11, 2021
1f925c2
vexp ref
zhanghongce Jun 15, 2021
480e4d0
test
zhanghongce Jun 15, 2021
77b55bb
rfmap update
zhanghongce Jun 15, 2021
25c9f82
backend mod WIP
zhanghongce Jun 18, 2021
61fe609
update vexp ref
zhanghongce Jun 21, 2021
1f28383
rfexpr2smt
zhanghongce Jun 21, 2021
e207e89
rfexpr to smt test WIP
zhanghongce Jul 3, 2021
e465c78
rfexpr 2 smt
zhanghongce Jul 7, 2021
3c41241
add rfexpr 2 smt convert test
zhanghongce Jul 7, 2021
758fff6
gen_util mod WIP
zhanghongce Jul 14, 2021
01be7d4
stage1 test
zhanghongce Jul 20, 2021
f669a75
update vexp ref
zhanghongce Jul 21, 2021
cf009f5
rfexpr wip
zhanghongce Jul 28, 2021
de50765
rfexpr array
zhanghongce Aug 14, 2021
b2cf2bc
vexp ref update
zhanghongce Aug 18, 2021
85ac6c7
update vexp ref
zhanghongce Aug 18, 2021
750ad5a
rfexpr to smt
zhanghongce Aug 18, 2021
6d597aa
vpipe test debug
zhanghongce Aug 20, 2021
ec80c09
im smt property WIP
zhanghongce Aug 28, 2021
f107da4
smt property-interface
zhanghongce Sep 2, 2021
26d0c3b
add stall vpipe
zhanghongce Sep 7, 2021
a867fcb
new benchmark
zhanghongce Sep 9, 2021
f8f84dc
test vtg
zhanghongce Sep 13, 2021
b4b65fe
add flex dev
zhanghongce Sep 14, 2021
0c64528
update workflow
zhanghongce Sep 14, 2021
3315da8
style change
zhanghongce Sep 14, 2021
3be66b7
add rtl verify api
zhanghongce Oct 15, 2021
dad9922
update vexpparser ref
zhanghongce Oct 15, 2021
9b9cb4f
adjust path
zhanghongce Oct 15, 2021
74fca2f
address lgtm
zhanghongce Oct 15, 2021
322ebd3
libfl-dev
zhanghongce Oct 15, 2021
e477ee9
ref
zhanghongce Oct 15, 2021
aeb11a4
Merge branch 'master' of github.com:PrincetonUniversity/ILAng into re…
zhanghongce Oct 15, 2021
236d250
vexpparser on windows
zhanghongce Oct 17, 2021
2920693
fix cmake
zhanghongce Oct 17, 2021
8dc3c8a
add azure ppl include for vexpp in msvc
zhanghongce Oct 17, 2021
6a15618
update vexp ref
zhanghongce Oct 17, 2021
172690f
new test
zhanghongce Oct 17, 2021
3bf933d
add test
zhanghongce Oct 17, 2021
e7736b5
add more test
zhanghongce Oct 20, 2021
61c7588
update vexp ref
zhanghongce Oct 23, 2021
dd8f61e
before remove mod
zhanghongce Oct 23, 2021
cb2ae2e
vexp ref
zhanghongce Oct 24, 2021
6f90197
vexp ref
zhanghongce Oct 24, 2021
133ed8b
fix cmake install
zhanghongce Oct 24, 2021
f22ee16
add aux-var section
zhanghongce Oct 27, 2021
03fcfe2
fix wrapper path
zhanghongce Nov 1, 2021
fb1c9d9
annotation for width
zhanghongce Nov 3, 2021
4924f92
fix vexparser build on win ci. ProgramData path is hard-coded
yuex1994 Nov 4, 2021
ca7ae82
fix vlg_mod test failure
zhanghongce Nov 5, 2021
dd66f82
disable overwriting warning
zhanghongce Nov 5, 2021
94490b8
update vexp ref
zhanghongce Nov 5, 2021
c1331c9
Merge branch 'refinement-upgrade' of github.com:zhanghongce/ILA-Tools…
zhanghongce Nov 5, 2021
d7e0df6
more cmake macro def
zhanghongce Nov 8, 2021
9312422
update vexpparser ref
zhanghongce Nov 26, 2021
af7b268
add quantified support in rfexpr
zhanghongce Nov 28, 2021
6f96e80
add quantifier handling in vtg
zhanghongce Nov 28, 2021
19a1358
add quantifier support
zhanghongce Nov 29, 2021
638f8c0
add flex lexer include path
zhanghongce Nov 30, 2021
fb5c41d
remove ubuntu 16.04 in azure ppl
zhanghongce Nov 30, 2021
c88eb9c
inst complete cond default
zhanghongce Dec 13, 2021
da73b40
fix bug
zhanghongce Dec 20, 2021
e1ba297
new test case
zhanghongce Dec 20, 2021
2dbdbab
fix typo
zhanghongce Jan 10, 2022
1a406bf
add wire def
zhanghongce Jan 10, 2022
76a99fa
rf expr type resolution
zhanghongce Jan 21, 2022
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
fix vexparser build on win ci. ProgramData path is hard-coded
yuex1994 committed Nov 4, 2021
commit 4924f922972a7ae46bd8fee79054769e85f6ff5a
2 changes: 1 addition & 1 deletion azure-pipelines.yml
Original file line number Diff line number Diff line change
@@ -147,7 +147,7 @@ jobs:
cd vexpparser
md build
cd build
cmake .. -DCMAKE_CXX_FLAGS=/I\ %ProgramData%\\chocolatey\\lib\\winflexbison3\\tools
cmake .. -DFLEXLEXER_INCLUDE_PATH=c:\ProgramData\chocolatey\lib\winflexbison3\tools\
cmake --build . --target install
displayName: 'vexpparser'