projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
No need to alocate more memory than used
2021-11-10
Miodrag Milanovic
No need to alocate more memory than used
commit
|
commitdiff
|
tree
2021-11-05
Miodrag Milanovic
Next dev cycle
commit
|
commitdiff
|
tree
2021-11-05
Miodrag Milanovic
Release version 0.11
commit
|
commitdiff
|
tree
2021-11-05
Miodrag Milanovic
Must use latest flex to generate c++17 compatible code
commit
|
commitdiff
|
tree
2021-11-05
Miodrag Milanovic
Make it work on all
commit
|
commitdiff
|
tree
2021-11-05
Miodrag Milanovic
Correct way of setting maybe_unsused on labels
commit
|
commitdiff
|
tree
2021-11-05
Miodrag Milanovic
Add missing changelog item
commit
|
commitdiff
|
tree
2021-11-05
Miodrag Milanovic
Update command reference
commit
|
commitdiff
|
tree
2021-11-05
Miodrag Milanovic
Removed semicolon from macro
commit
|
commitdiff
|
tree
2021-10-29
Miodrag Milanovic
Add missing items in CHANGELOG
commit
|
commitdiff
|
tree
2021-10-29
Miodrag Milanovic
Update command reference part of manual
commit
|
commitdiff
|
tree
2021-10-27
Miodrag Milanovic
Enable async load dff emit by default in Verific
commit
|
commitdiff
|
tree
2021-10-27
Miodrag Milanovic
Revert "Compile option for enabling async load verific...
commit
|
commitdiff
|
tree
2021-10-25
Miodrag Milanovic
Compile option for enabling async load verific support
commit
|
commitdiff
|
tree
2021-10-20
Miodrag Milanovic
If verific have vhdl lib it is required by other libs
commit
|
commitdiff
|
tree
2021-10-20
Miodrag Milanovic
Forgot to remove from main list
commit
|
commitdiff
|
tree
2021-10-20
Miodrag Milanovic
Option to disable verific VHDL support
commit
|
commitdiff
|
tree
2021-10-14
Miodrag Milanovic
Support PRIM_BUFIF1 primitive
commit
|
commitdiff
|
tree
2021-10-10
Miodrag Milanovic
Import module attributes from Verific
commit
|
commitdiff
|
tree
2021-10-09
Miodrag Milanovic
Split module ports, 20 per line
commit
|
commitdiff
|
tree
2021-10-04
Miodrag Milanovic
verific set db_infer_set_reset_registers
commit
|
commitdiff
|
tree
2021-09-27
Miodrag Milanovic
Prepare for next release cycle
commit
|
commitdiff
|
tree
2021-09-02
Miodrag Milanovic
update required verific version
commit
|
commitdiff
|
tree
2021-08-20
Miodrag Milanovic
Make Verific extensions optional
commit
|
commitdiff
|
tree
2021-08-02
Miodrag Milanovic
Require latest verific
commit
|
commitdiff
|
tree
2021-07-26
Miodrag Milanovic
Add version bump workflow
commit
|
commitdiff
|
tree
2021-07-21
Miodrag Milanovic
Update to latest verific
commit
|
commitdiff
|
tree
2021-07-09
Miodrag Milanovic
Update to latest Verific with extensions for initial...
commit
|
commitdiff
|
tree
2021-07-05
Miodrag Milanovic
Add additional help
commit
|
commitdiff
|
tree
2021-06-16
Miodrag Milanovic
Support command files in Verific
commit
|
commitdiff
|
tree
2021-05-17
Miodrag Milanovic
Visual Studio build action
commit
|
commitdiff
|
tree
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
next