aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* testsuite/synth: add a test for assume directive in verification units.Tristan Gingold2019-08-202-2/+11
|
* vhdl: handle assume in verification units.Tristan Gingold2019-08-205-1/+11
|
* testsuite/synth: add psl02Tristan Gingold2019-08-204-0/+74
|
* synth: analyze input files.Tristan Gingold2019-08-201-1/+8
|
* synth: set location on assume/assert gates.Tristan Gingold2019-08-203-8/+19
|
* synth: handle verification units.Tristan Gingold2019-08-2015-491/+703
|
* synth: handle array attribute "length" (#895)marph912019-08-191-0/+10
|
* synth: add testcase for issue 34Tristan Gingold2019-08-1713-0/+442
|
* synth: fix tgingold/ghdlsynth#34 (association).Tristan Gingold2019-08-171-2/+1
|
* vhdl: parse verification unit (WIP).Tristan Gingold2019-08-1716-605/+792
|
* testsuite/synth: add reproducer for tgingold/ghdlsynth-beta#33Tristan Gingold2019-08-163-0/+73
|
* synth: handle integer values in subtype conversion.Tristan Gingold2019-08-161-0/+2
| | | | For tgingold/ghdlsynth-beta#33
* synth: handle integers for displaying vhdl ports.Tristan Gingold2019-08-161-0/+10
|
* vhdl: declare verification units (WIP).Tristan Gingold2019-08-1615-759/+1061
|
* testsuite: strenghten a testcase.Tristan Gingold2019-08-161-0/+1
|
* vhdl: recognize PSL units reserved words.Tristan Gingold2019-08-169-737/+774
|
* testsuite/python: fix test name (to follow the testsuite.sh convention)Tristan Gingold2019-08-163-0/+0
|
* synth: handle array attributes; handle integer subtypes in generics.Tristan Gingold2019-08-162-2/+91
| | | | Fix tgingold/ghdlsynth-beta#32
* Makefile.in: install synth include files as part of libghdl.Tristan Gingold2019-08-151-1/+6
|
* configure: complete --helpTristan Gingold2019-08-151-0/+2
|
* testsuite/synth: fix assert1 assertion.Tristan Gingold2019-08-151-1/+1
|
* add synthesis support for logic operators on numeric types (#893)Pepijn de Vos2019-08-155-7/+152
| | | | | | | | * add logic operators on unsigned * handle signed too * handle unary not
* synth: fix handling of assume/assert.Tristan Gingold2019-08-141-6/+65
|
* ghdlsynth: add command to get libghdl paths.Tristan Gingold2019-08-144-22/+97
|
* ghdldrv: move command_str_disp from ghdlvpi to ghdlmainTristan Gingold2019-08-143-38/+38
|
* testenv: also applies GHDL_FLAGS for synth.Tristan Gingold2019-08-141-1/+1
|
* ghdlsynth: declare init_for_ghdl_synth.Tristan Gingold2019-08-141-1/+4
|
* update NEWS.md. Fix #891Tristan Gingold2019-08-141-1/+8
|
* synth: add test for previous commit.Tristan Gingold2019-08-143-2/+29
|
* vhdl: handle PSL keywords as vhdl08 reserved words; switch to PSL scanner mode.Tristan Gingold2019-08-142-0/+12
|
* vhdl: add PSL keywords to vhdl08 reserved words.Tristan Gingold2019-08-1410-242/+257
|
* testsuite/gna: use common testsuite.shTristan Gingold2019-08-141-14/+5
|
* testsuite/gna/README: document naming convention.Tristan Gingold2019-08-141-2/+11
|
* testsuite/gna: make testsuite.py neutral.Tristan Gingold2019-08-141-4/+1
|
* testsuite/gna: rename perf02 to not run it normally.Tristan Gingold2019-08-1436-0/+0
|
* testsuite/synth: make testsuite.sh more neutral.Tristan Gingold2019-08-141-2/+2
|
* testsuite/testenv.sh: define PYTHONTristan Gingold2019-08-141-0/+2
|
* testsuite/python: add testsuite.shTristan Gingold2019-08-141-0/+53
|
* testsuite: add testsuite.sh in 001unitsTristan Gingold2019-08-141-0/+7
|
* Fix build of upf packages for openieee.Tristan Gingold2019-08-141-5/+5
|
* synth: also extract edge in PSL expressions.Tristan Gingold2019-08-135-19/+64
|
* synth: extract edge for PSL clocks.Tristan Gingold2019-08-135-29/+120
|
* vhdl-nodes_walk: handle iir_kind_psl_default_clock.Tristan Gingold2019-08-131-1/+2
|
* libghdlsynth: make it almost empty, as libghdl will be used instead.Tristan Gingold2019-08-131-8/+0
|
* Support for PSL assert and assume in synthesis (#892)Pepijn de Vos2019-08-132-5/+55
| | | | | | | | * initial support for PSL assert and assume * add support for true, false, and, or in psl synth * update testsuite with new psl things
* libghdl: also add synthesis part. For #884Tristan Gingold2019-08-137-55/+61
|
* synth: build_header was replaced by a Makefile target.Tristan Gingold2019-08-131-8/+0
|
* libghdl: preliminary work to also support synth.Tristan Gingold2019-08-133-4/+10
|
* openieee: add dummy UPF package (#889)1138-4EB2019-08-113-1/+47
|
* vhdl: improve reprint of inertial association.Tristan Gingold2019-08-116-181/+206
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-02 22:04:21 +0000