Jason Lowdermilk 32c0f1193e Add support for source line tracking through synthesis phase		2017-08-29 14:46:35 -06:00
..
cmds	More intuitive handling of "cd .." for singleton modules	2017-08-19 00:15:12 +02:00
equiv	Fix equiv_simple, old behavior now available with "equiv_simple -short"	2017-04-28 18:57:53 +02:00
fsm	Remove some dead code from fsm_map	2017-08-21 15:02:16 +02:00
hierarchy	Rename "singleton" pass to "uniquify"	2017-08-20 12:31:50 +02:00
memory
opt	Don't track , ... contradictions through x/z-bits	2017-08-25 16:18:17 +02:00
proc
sat	Rename "singleton" pass to "uniquify"	2017-08-20 12:31:50 +02:00
techmap	Add support for source line tracking through synthesis phase	2017-08-29 14:46:35 -06:00
tests