Commits · d323bec22d076f673e97800b5267dd0d5403f715 · lvzhengyang / yosys-tests

30 Aug, 2020 2 commits
- Test VHDL boolean · c3a5156e
  Miodrag Milanovic committed 4 years ago
  
  c3a5156e Browse Directory
- fix case · c3b8df95
  Miodrag Milanovic committed 4 years ago
  
  c3b8df95 Browse Directory
30 Apr, 2020 1 commit
- Add anonymous testcase · 00e5faef
  Eddie Hung committed 4 years ago
  
  00e5faef Browse Directory
28 Apr, 2020 2 commits
- Add verific/rand.sv test · db6464d9
  Eddie Hung committed 4 years ago
  
  db6464d9 Browse Directory
- Add typerange to SUBDIRS · 778e246a
  Eddie Hung committed 4 years ago
  
  778e246a Browse Directory
27 Apr, 2020 1 commit
- tests: verific/typerange; YosysHQ/yosys#1999 · a25094f6
  Eddie Hung committed 4 years ago
  
  a25094f6 Browse Directory
03 Feb, 2020 1 commit
- Add start flag for verific tests · 184c3c3e
  Miodrag Milanovic committed 5 years ago
  
  184c3c3e Browse Directory
26 Apr, 2019 1 commit
- Unify statuses and FAIL test but not break · cb227ee5
  Miodrag Milanovic committed 5 years ago
  
  cb227ee5 Browse Directory
09 Mar, 2019 2 commits
- Fix to properly search for ALL patterns · b81c0b34
  Eddie Hung committed 6 years ago
  
  b81c0b34 Browse Directory
- Add verific chparam tests · c7779d11
  Eddie Hung committed 6 years ago
  
  c7779d11 Browse Directory
28 Aug, 2018 1 commit
- Add bigsim/navre · 30b89667
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed 6 years ago
  30b89667 Browse Directory
22 Aug, 2018 1 commit
- Add simple verific VHDL test case · 42963512
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed 6 years ago
  42963512 Browse Directory
05 May, 2018 1 commit
- Some fixes related to SVA consecutive repetition · 98f4dedc
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed 6 years ago
  98f4dedc Browse Directory
06 Mar, 2018 4 commits
- Add SVA consrep, gotorep, nonconsrep tests · 8b04cc85
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed 7 years ago
  8b04cc85 Browse Directory
- Add SVA firstmatch test · c32816fe
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed 7 years ago
  c32816fe Browse Directory
- Add SVA within test · 2b0d0786
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed 7 years ago
  2b0d0786 Browse Directory
- Add Verific SVA intersect test · a03936a4
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed 7 years ago
  a03936a4 Browse Directory
04 Mar, 2018 4 commits
- Add verific/sva/triggered · c52766ce
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed 7 years ago
  c52766ce Browse Directory
- Add verific/sva/seq_and.sv · 8c0046ae
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed 7 years ago
  8c0046ae Browse Directory
- Update verific/sva/run.sh for new sby multiclock handling · f8834f1b
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed 7 years ago
  f8834f1b Browse Directory
- Improve logging and console output · b4a7fc1a
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed 7 years ago
  b4a7fc1a Browse Directory
03 Mar, 2018 3 commits
- Add some status summaries · a5dee4ad
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed 7 years ago
  a5dee4ad Browse Directory
- Add verific/sva/seq_or.sv · b3e450dd
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed 7 years ago
  b3e450dd Browse Directory
- Fix verific/sva/until test, Add verific/sva/until_trig · 1a77264d
  Clifford Wolf committed 7 years ago
  
  1a77264d Browse Directory
01 Mar, 2018 4 commits
- Update verific/sva/run.sh · 9094d837
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed 7 years ago
  9094d837 Browse Directory
- Update makefiles · f8ef75f8
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed 7 years ago
  f8ef75f8 Browse Directory
- Update verific/opers makefile · 01897ebf
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed 7 years ago
  01897ebf Browse Directory
- Add verific/sva/ directory · 3b5a5373
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed 7 years ago
  3b5a5373 Browse Directory
26 Feb, 2018 2 commits
- Add more verific/opers test cases · f252c11a
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed 7 years ago
  f252c11a Browse Directory
- Add verific/opers/{sel_mux,wide_mux} · c41333f8
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed 7 years ago
  c41333f8 Browse Directory