aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* PSL: handle and/or in boolean assertion.Tristan Gingold2016-02-093-19/+66
* bug037: add initial testcase.Tristan Gingold2016-02-0916-0/+6808
* Improve mixed dump of PSL and VHDL nodes.Tristan Gingold2016-02-094-32/+24
* A subtype of a resolved array type is resolved.Tristan Gingold2016-02-061-0/+3
* simul: handle vhdl 2008.Tristan Gingold2016-02-0610-164/+358
* simul: support of package instantiation.Tristan Gingold2016-02-064-11/+85
* sem_inst: add a comment.Tristan Gingold2016-02-061-0/+2
* Merge pull request #34 from kraigher/patch-1tgingold2016-02-041-1/+1
|\
| * Updated VUnit URL to new website.kraigher2016-02-031-1/+1
|/
* ghwlib: handle b2 range, fix print of multi-dim arrays.Tristan Gingold2016-02-022-1/+16
* Add reproducer for issue30Tristan Gingold2016-01-295-0/+12931
* Add a note for llvm dependency on libedit.tgingold2016-01-271-0/+1
* README.md: fix link to BUILD.txttgingold2016-01-271-1/+1
* Link to BUILD.txttgingold2016-01-271-1/+1
* simul: preliminary work for environments.Tristan Gingold2016-01-276-80/+57
* translation: use Tables instead of GNAT.Table.Tristan Gingold2016-01-271-4/+3
* psl: use Tables instead of GNAT.Table, regenerate, add copyrights.Tristan Gingold2016-01-2731-59/+609
* simul: use Tables instead of GNAT.TableTristan Gingold2016-01-275-36/+24
* simul: handle declarations in configuration.Tristan Gingold2016-01-273-59/+68
* Add testcase for previous patch.Tristan Gingold2016-01-262-0/+24
* simul: fix attribute specification, noop type conversion, indiv sig assoc.Tristan Gingold2016-01-265-11/+37
* grt rtis_addr: handle B1 ranges.Tristan Gingold2016-01-252-5/+34
* Add testcase for issue25.Tristan Gingold2016-01-253-0/+114
* Fix check of conformance for physical units.Tristan Gingold2016-01-251-1/+4
* simul: handle default assignment to unconstrained ports.Tristan Gingold2016-01-243-109/+63
* Add testcase for incorrect syntax in physical type.Tristan Gingold2016-01-243-0/+26
* Avoid a crash in physical type definition.Tristan Gingold2016-01-242-49/+57
* simul: fix various issues.Tristan Gingold2016-01-2414-257/+368
* README: remove duplicated sentence.Tristan Gingold2016-01-191-4/+3
* Adjust README (add quote).Tristan Gingold2016-01-191-3/+6
* Add reproducer for bug24326.Tristan Gingold2016-01-194-0/+72
* Add reproducer for bug24324.Tristan Gingold2016-01-192-0/+30
* Improve error message for invalid use of '%'.Tristan Gingold2016-01-191-4/+34
* Parse: detect ill-formed formal names. Fix bug24324.Tristan Gingold2016-01-191-0/+23
* Use markdown for readme.Tristan Gingold2016-01-191-4/+6
* Create README.md from README.Tristan Gingold2016-01-191-0/+0
* Extract BUILD.txt from README.Tristan Gingold2016-01-193-118/+123
* Add zlib as dependency in README.Tristan Gingold2016-01-191-1/+1
* simulate: fix handling of deferred constants.Tristan Gingold2016-01-194-19/+30
* Clean up some code and comments about constant declarations.Tristan Gingold2016-01-194-17/+6
* Improve error message for variable assignment.Tristan Gingold2016-01-191-1/+6
* Add testcase for issue17.Tristan Gingold2016-01-164-0/+106
* Add support for conditional assignments.Tristan Gingold2016-01-1624-761/+1747
* travis: tentatively try mixed setup.Tristan Gingold2016-01-151-9/+17
* travis: fix mcode build.Tristan Gingold2016-01-141-6/+5
* travis: use envs.Tristan Gingold2016-01-142-23/+28
* travis: also build with llvm.Tristan Gingold2016-01-142-6/+29
* travis: use trusty.Tristan Gingold2016-01-141-5/+6
* travis: revert previous patchesTristan Gingold2016-01-131-2/+0
* travis: try to install gnat-5, llvm-3.5Tristan Gingold2016-01-131-1/+2