index
:
iCE40/ghdl
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
synth
/
synth-flags.ads
Commit message (
Collapse
)
Author
Age
Files
Lines
*
synth: add option to treat asserts as assumes and vice-versa
tmeissner
2021-01-02
1
-0
/
+6
|
*
synth: add --no-assert-cover option. Fix #1414
Tristan Gingold
2020-07-31
1
-0
/
+4
|
*
synth: add -g option to enable debugger on some errors.
Tristan Gingold
2020-07-26
1
-1
/
+1
|
*
ghdlsynth: add --no-formal and help.
Tristan Gingold
2020-06-16
1
-0
/
+3
|
*
synth: refine -dm debug option. Add -dm2
Tristan Gingold
2020-05-31
1
-1
/
+4
|
*
synth-flags: consider severity error as an error.
Tristan Gingold
2020-05-15
1
-1
/
+1
|
*
synth-stmts: factorize code for assertion errors, use a level.
Tristan Gingold
2020-05-14
1
-0
/
+5
|
*
synth: support -v option.
Tristan Gingold
2020-04-22
1
-0
/
+2
|
*
synth-stmts: add a limit to the number of iterations. Fix #1242
Tristan Gingold
2020-04-21
1
-0
/
+3
|
*
synth: preliminary work to export module parameters.
Tristan Gingold
2020-03-31
1
-1
/
+4
|
*
synth: top entity name is not anymore hashed by default.
Tristan Gingold
2020-03-01
1
-0
/
+20
|
|
|
|
Use --top-name=hash to get the previous behaviour.
*
synth-context: add source_scope (for debugger).
Tristan Gingold
2019-11-23
1
-0
/
+4
|
*
synth: infrastructure for debugger.
Tristan Gingold
2019-11-20
1
-0
/
+2
|
*
synth: add traces for debugging.
Tristan Gingold
2019-11-17
1
-0
/
+2
|
*
netlists: enable expansion.
Tristan Gingold
2019-11-04
1
-1
/
+1
|
*
netlists: add code to expand dyn_extract gates (WIP).
Tristan Gingold
2019-10-27
1
-1
/
+3
|
*
synth: add netlists-memories to extract memories. Still WIP.
Tristan Gingold
2019-10-17
1
-0
/
+2
|
*
synth: add debug flag -dc to not clean.
Tristan Gingold
2019-09-17
1
-0
/
+2
|
*
synth: add synth-flags, add debug option -di.
Tristan Gingold
2019-09-17
1
-0
/
+23