aboutsummaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* add cons_0, div, and umod (#72)Pepijn de Vos2019-12-311-2/+22
* handle mem_rd_sync gates.Tristan Gingold2019-12-051-0/+10
* Handle removal of id_output gates.Tristan Gingold2019-12-051-28/+10
* Fix init input for iadff. For #76Tristan Gingold2019-12-031-1/+1
* Do not rename ports. Fix #75Tristan Gingold2019-12-031-8/+9
* Support multiple synthesis. Fix #73Tristan Gingold2019-12-021-4/+7
* Add Id_Smod support (#66)Anton Blanchard2019-11-031-0/+4
* add iadff (#67)Pepijn de Vos2019-11-031-1/+8
* rewrite import_memory, directly generate $memTristan Gingold2019-11-031-97/+130
* handle formal input ports.Tristan Gingold2019-10-311-5/+31
* Handle Id_Cover_AssertTristan Gingold2019-10-221-0/+2
* Initial support of memories.Tristan Gingold2019-10-191-18/+152
* Sign extend 32b literals (#61)Pepijn de Vos2019-10-161-4/+51
* Add Id_Neg support (#63)Anton Blanchard2019-10-161-0/+4
* Add Id_Smul and Id_Umul (#64)Anton Blanchard2019-10-161-0/+8
* Fix a couple of compiler warnings (#62)Anton Blanchard2019-10-141-3/+3
* Handle Id_Sextend (#59)T. Meissner2019-10-091-0/+8
* Handle Id_Asr (#55)T. Meissner2019-10-061-0/+4
* add shift functions (#54)Pepijn de Vos2019-10-061-0/+8
* Handle Const_X & Const_Z (#49)T. Meissner2019-10-051-0/+12
* handle Const_LogTristan Gingold2019-10-021-25/+34
* Handle Const_Bit.Tristan Gingold2019-10-021-0/+14
* Handle covers (#43)T. Meissner2019-09-201-0/+4
* Remove Id_Insert (unused).Tristan Gingold2019-09-091-17/+0
* Fix incomplete handling of ConcatnTristan Gingold2019-09-071-2/+3
* Run testsuite in Travis CI with docker images (#31)1138-4EB2019-08-162-0/+582