projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
sf2: fix name of AND modules
2021-03-11
Miodrag Milanovic
Add _pm.h files to GENLIST, fixes vcxsrc target
commit
|
commitdiff
|
tree
2021-02-12
Miodrag Milanovic
Ganulate Verific support
commit
|
commitdiff
|
tree
2021-01-30
Miodrag Milanovic
Require latest Verific build
commit
|
commitdiff
|
tree
2020-12-09
Miodrag Milanovic
Return nice error in pmgen generated code, fixes #2482
commit
|
commitdiff
|
tree
2020-12-02
Miodrag Milanovic
Bump required Verific version
commit
|
commitdiff
|
tree
2020-11-25
Miodrag Milanovic
Add verilog backend option for simple_lhs
commit
|
commitdiff
|
tree
2020-11-25
Miodrag Milanovic
generate only simple assignments in verilog backend
commit
|
commitdiff
|
tree
2020-11-18
Miodrag Milanovic
Fix duplicated parameter name typo
commit
|
commitdiff
|
tree
2020-11-06
Miodrag Milanovic
Expose abc and data paths as globals
commit
|
commitdiff
|
tree
2020-10-30
Miodrag Milanovic
Update verific version
commit
|
commitdiff
|
tree
2020-10-12
Miodrag Milanovic
extend verific library API for formal apps and generators
commit
|
commitdiff
|
tree
2020-09-30
Miodrag Milanovic
use sha1 for parameter list in case if they contain...
commit
|
commitdiff
|
tree
2020-09-30
Miodrag Milanovic
Fixed installation dir override for Python scripts
commit
|
commitdiff
|
tree
2020-09-25
Miodrag Milanovic
Validate parameters only when they are used
commit
|
commitdiff
|
tree
2020-09-18
Miodrag Milanovic
Better error for unsupported SVA sequence
commit
|
commitdiff
|
tree
2020-09-02
Miodrag Milanovic
Use latest verific
commit
|
commitdiff
|
tree
2020-08-31
Miodrag Milanovic
Reorder to prevent crash
commit
|
commitdiff
|
tree
2020-08-30
Miodrag Milanovic
ast recognize lower case x and z and verific gives...
commit
|
commitdiff
|
tree
2020-08-30
Miodrag Milanovic
Do not check for 1 and 0 only
commit
|
commitdiff
|
tree
2020-08-30
Miodrag Milanovic
Fix import of VHDL enums
commit
|
commitdiff
|
tree
2020-08-26
Miodrag Milanovic
Add formal apps and template generators
commit
|
commitdiff
|
tree
2020-07-29
Miodrag Milanovic
Clear last error message
commit
|
commitdiff
|
tree
2020-06-30
Miodrag Milanovic
Update verific API version check
commit
|
commitdiff
|
tree
2020-06-29
Miodrag Milanovic
Give error that options are exclusive
commit
|
commitdiff
|
tree
2020-06-29
Miodrag Milanovic
cleanup
commit
|
commitdiff
|
tree
2020-06-29
Miodrag Milanovic
Use ID macro to fix assertion
commit
|
commitdiff
|
tree
2020-06-29
Miodrag Milanovic
expose pass fix
commit
|
commitdiff
|
tree
2020-06-29
Miodrag Milanovic
sim - error when memrd and memwr detected
commit
|
commitdiff
|
tree
2020-06-26
Miodrag Milanovic
Fix crash in verific frontend
commit
|
commitdiff
|
tree
2020-06-25
Miodrag Milanovic
optimization, all items should have same attributes
commit
|
commitdiff
|
tree
2020-06-24
Miodrag Milanovic
verific - import attributes for net buses as well
commit
|
commitdiff
|
tree
2020-06-10
Miodrag Milanovic
verific - detect missing memory to prevent crash.
commit
|
commitdiff
|
tree
2020-06-01
Miodrag Milanovic
allow range for mux test
commit
|
commitdiff
|
tree
2020-06-01
Miodrag Milanovic
Support asymmetric memories for verific frontend
commit
|
commitdiff
|
tree
2020-04-15
Miodrag Milanovic
Fix compile for mingw
commit
|
commitdiff
|
tree
2020-04-10
Miodrag Milanovic
Keep libyosys name same as befire, but put it in directory
commit
|
commitdiff
|
tree
2020-04-10
Miodrag Milanovic
Support custom PROGRAM_PREFIX
commit
|
commitdiff
|
tree
2020-03-28
Miodrag Milanovic
Explicit include of csignal
commit
|
commitdiff
|
tree
2020-03-28
Miodrag Milanovic
windows - there are no stopping signals
commit
|
commitdiff
|
tree
2020-03-25
Miodrag Milanovic
Enable ENABLE_LIBYOSYS when ENABLE_PYOSYS is set
commit
|
commitdiff
|
tree
2020-03-19
Miodrag Milanovic
Add one mode dependency
commit
|
commitdiff
|
tree
2020-03-14
Miodrag Milanovic
Fix invalid verilog syntax
commit
|
commitdiff
|
tree
2020-03-13
Miodrag Milanovic
exclude clang from checking
commit
|
commitdiff
|
tree
2020-03-13
Miodrag Milanovic
Add YS_ prefix to macros, add explanation and apply...
commit
|
commitdiff
|
tree
2020-03-13
Miodrag Milanovic
Added back tests for logger
commit
|
commitdiff
|
tree
2020-03-13
Miodrag Milanovic
Use boost xpressive for gcc 4.8
commit
|
commitdiff
|
tree
2020-03-13
Miodrag Milanovic
remove include where not used
commit
|
commitdiff
|
tree
2020-03-12
Miodrag Milanovic
Added filter-out for libyosys.so
commit
|
commitdiff
|
tree
2020-03-12
Miodrag Milanovic
Revert "Clean up 'install' Makefile target"
commit
|
commitdiff
|
tree
2020-03-12
Miodrag Milanovic
Revert "Improve ABC repository management in Makefile"
commit
|
commitdiff
|
tree
2020-03-12
Miodrag Milanovic
Add mandatory wasm file to zip file as well
commit
|
commitdiff
|
tree
2020-02-26
Miodrag Milanovic
Remove tests for now
commit
|
commitdiff
|
tree
2020-02-23
Miodrag Milanovic
Add tests for logger pass
commit
|
commitdiff
|
tree
2020-02-23
Miodrag Milanovic
Remove duplicate warning detection
commit
|
commitdiff
|
tree
2020-02-23
Miodrag Milanovic
Fix line endings
commit
|
commitdiff
|
tree
2020-02-22
Miodrag Milanovic
Update explanation for expect-no-warnings
commit
|
commitdiff
|
tree
2020-02-22
Miodrag Milanovic
Handle expect no warnings together with expected
commit
|
commitdiff
|
tree
2020-02-22
Miodrag Milanovic
Check other regex parameters
commit
|
commitdiff
|
tree
2020-02-20
Miodrag Milanovic
check for regex errors
commit
|
commitdiff
|
tree
2020-02-17
Miodrag Milanovic
Prevent double error message
commit
|
commitdiff
|
tree
2020-02-17
Miodrag Milanovic
Option to expect no warnings
commit
|
commitdiff
|
tree
2020-02-17
Miodrag Milanovic
Add to changelog
commit
|
commitdiff
|
tree
2020-02-17
Miodrag Milanovic
No new error if already failing
commit
|
commitdiff
|
tree
2020-02-15
Miodrag Milanovic
Remove executable flag from files
commit
|
commitdiff
|
tree
2020-02-14
Miodrag Milanovic
remove whitespace
commit
|
commitdiff
|
tree
2020-02-14
Miodrag Milanovic
Add expect option to logger command
commit
|
commitdiff
|
tree
2020-02-13
Miodrag Milanovic
Add new logger pass
commit
|
commitdiff
|
tree
2020-01-28
Miodrag Milanovic
Updated test to use assert-max
commit
|
commitdiff
|
tree
2020-01-10
Miodrag Milanovic
this one is fine
commit
|
commitdiff
|
tree
2020-01-10
Miodrag Milanovic
Fix tests
commit
|
commitdiff
|
tree
2020-01-10
Miodrag Milanovic
remove whitespace
commit
|
commitdiff
|
tree
2020-01-10
Miodrag Milanovic
Use CARRY4 for abc1 as well, preventing issues with...
commit
|
commitdiff
|
tree
2020-01-10
Miodrag Milanovic
Export wire properties as well in EDIF
commit
|
commitdiff
|
tree
2020-01-04
Miodrag Milanovic
Valid to have attribute starting with SB_CARRY.
commit
|
commitdiff
|
tree
2020-01-01
Miodrag Milanovic
Added a test case
commit
|
commitdiff
|
tree
2020-01-01
Miodrag Milanovic
take skip wire bits into account
commit
|
commitdiff
|
tree
2019-12-28
Miodrag Milanovic
Fix new tests
commit
|
commitdiff
|
tree
2019-12-28
Miodrag Milanovic
Merge remote-tracking branch 'origin/master' into iopad_default
commit
|
commitdiff
|
tree
2019-12-28
Miodrag Milanovic
Make test without iopads
commit
|
commitdiff
|
tree
2019-12-28
Miodrag Milanovic
Revert "Fix xilinx tests, when iopads are default"
commit
|
commitdiff
|
tree
2019-12-25
Miodrag Milanovic
fixed invalid char
commit
|
commitdiff
|
tree
2019-12-21
Miodrag Milanovic
Addressed review comments
commit
|
commitdiff
|
tree
2019-12-21
Miodrag Milanovic
iopad no op for compatibility with old scripts
commit
|
commitdiff
|
tree
2019-12-21
Miodrag Milanovic
Fix xilinx tests, when iopads are default
commit
|
commitdiff
|
tree
2019-12-21
Miodrag Milanovic
Make iopad option default for all xilinx flows
commit
|
commitdiff
|
tree
2019-12-07
Miodrag Milanovic
Fix for non-deterministic test
commit
|
commitdiff
|
tree
2019-11-11
Miodrag Milanovic
Fixed tests
commit
|
commitdiff
|
tree
2019-10-18
Miodrag Milanovic
fixed error
commit
|
commitdiff
|
tree
2019-10-18
Miodrag Milanovic
Unify verilog style
commit
|
commitdiff
|
tree
2019-10-18
Miodrag Milanovic
Common memory test now shared
commit
|
commitdiff
|
tree
2019-10-18
Miodrag Milanovic
Remove not needed tests
commit
|
commitdiff
|
tree
2019-10-18
Miodrag Milanovic
Share common tests
commit
|
commitdiff
|
tree
2019-10-18
Miodrag Milanovic
fix yosys path
commit
|
commitdiff
|
tree
2019-10-18
Miodrag Milanovic
Fix path to yosys
commit
|
commitdiff
|
tree
2019-10-18
Miodrag Milanovic
Moved all tests in arch sub directory
commit
|
commitdiff
|
tree
2019-10-18
Miodrag Milanovic
Add async2sync
commit
|
commitdiff
|
tree
2019-10-18
Miodrag Milanovic
hierarchy - proc reorder
commit
|
commitdiff
|
tree
2019-10-18
Miodrag Milanovic
hierarchy - proc reorder
commit
|
commitdiff
|
tree
2019-10-18
Miodrag Milanovic
hierarchy - proc reorder
commit
|
commitdiff
|
tree
2019-10-18
Miodrag Milanovic
hierarchy - proc reorder
commit
|
commitdiff
|
tree
next