186 commits

Author	SHA1	Message	Date
Clifford Wolf	a5c30183b5	Sign-extension related fixes in SatGen and AST frontend	2013-06-10 17:10:06 +02:00
Clifford Wolf	7d790febb0	Improvements and fixes in SAT code	2013-06-10 16:09:29 +02:00
Clifford Wolf	15ff4cc63b	Added history file read/write to driver	2013-06-10 15:42:52 +02:00
Clifford Wolf	a75b249427	Implemented temporal induction proofs in sat_solve	2013-06-09 18:07:05 +02:00
Clifford Wolf	b7ba90910d	Fixed handling of $_XOR_ in SAT generator	2013-06-09 14:01:50 +02:00
Clifford Wolf	0efde13775	Added sequential solving support to sat_solve	2013-06-09 13:35:46 +02:00
Clifford Wolf	6f330f0132	Set rl_basic_word_break_characters in shell	2013-06-09 11:51:06 +02:00
Clifford Wolf	e52c9aff1b	Improved readline tab completion	2013-06-09 01:04:23 +02:00
Clifford Wolf	bf59a28f80	Look for yosys-abc and yosys-svgviewer where the main exe is	2013-06-09 00:07:26 +02:00
Clifford Wolf	5a592b3739	Moved cmds from kernel/ to passes/cmds/	2013-06-08 23:16:36 +02:00
Clifford Wolf	23a7973094	Added support for shifter cells to SAT generator	2013-06-08 15:12:08 +02:00
Clifford Wolf	92f04eab10	Added "cd" and "ls" commands for convenience	2013-06-08 14:45:28 +02:00
Clifford Wolf	1434312fdd	Various improvements in sat_solve pass and SAT generator	2013-06-08 14:11:50 +02:00
Clifford Wolf	c681c17038	Improved auto-detection of -show signals in sat_solve	2013-06-08 09:34:36 +02:00
Clifford Wolf	56b593b91c	Improved sat generator and sat_solve pass	2013-06-07 14:37:33 +02:00
Clifford Wolf	46fbe9d262	Added SAT generator and simple sat_solve command	2013-06-07 13:59:13 +02:00
Clifford Wolf	21d9251e52	Added "dump" command (part ilang backend)	2013-06-02 17:53:30 +02:00
Clifford Wolf	ed0e2f7a6f	Added log_assert() api	2013-05-24 14:38:36 +02:00
Clifford Wolf	ccd2a93439	Added log_abort() api	2013-05-24 12:32:06 +02:00
Clifford Wolf	cbe423a1fe	Only initialize TCL interpreter when needed	2013-05-23 12:56:23 +02:00
Clifford Wolf	6a38e767ba	Added labels to "help -write-tex-command-reference-manual" output	2013-05-23 09:49:37 +02:00
Clifford Wolf	ebb155b2d5	Added support for processes to show command	2013-05-23 09:15:51 +02:00
Clifford Wolf	04996657c8	Fixed show command for constant assignments	2013-05-23 08:22:44 +02:00
Clifford Wolf	595db0d7b9	Added tcl "yosys -import" command	2013-05-02 15:27:01 +02:00
Clifford Wolf	97f783e668	Improved/simplified TCL bindings	2013-05-01 14:21:03 +02:00
Clifford Wolf	e6dca3445a	Fixed "show -format ..." command line parsing	2013-04-15 11:59:35 +02:00
Clifford Wolf	af4444e5b9	Fixed/improved handling of colored wires in show command	2013-04-01 14:58:43 +02:00
Clifford Wolf	32ee794bfb	Added support for @<set-name> in expand select ops (%x, %ci, %co)	2013-04-01 14:58:11 +02:00
Clifford Wolf	5919bf5525	Removed 4096 bytes limit for size of command from script file	2013-04-01 14:38:05 +02:00
Clifford Wolf	3ec9fa4048	Added -color <color> <selection> option to show command	2013-04-01 14:12:17 +02:00
Clifford Wolf	9b1ce98db6	Fixed "select" for "%%" stmt with emty stack	2013-03-31 18:06:27 +02:00
Clifford Wolf	b66e9fb348	Added "script" command	2013-03-31 18:05:31 +02:00
Clifford Wolf	88af5b6a16	Improved opt_share for reduce cells	2013-03-29 11:19:21 +01:00
Clifford Wolf	73fba5164f	Implemented TCL support (only via -c option at the moment)	2013-03-28 12:26:17 +01:00
Clifford Wolf	7bfc7b61a8	Implemented proper handling of stub placeholder modules	2013-03-28 09:20:10 +01:00
Clifford Wolf	92cf7ae2f7	Added check: only one module for "show" unless format is "ps"	2013-03-27 18:31:42 +01:00
Clifford Wolf	35a02ee81e	Now using SVG and yosys-svgviewer per default in show command	2013-03-27 18:14:16 +01:00
Clifford Wolf	041c06bd9d	Create nice errors when calling RTLIL::Module::derive() of base class	2013-03-26 19:27:49 +01:00
Clifford Wolf	4a7d624bef	Added hierarchy -generate command for generating skeletton modules	2013-03-25 02:14:33 +01:00
Clifford Wolf	e1a80b356e	Fixed handling of show -viewer	2013-03-24 15:21:57 +01:00
Clifford Wolf	2887e4305f	Fixed handling of internal signals in show command	2013-03-24 15:15:28 +01:00
Clifford Wolf	181b479e77	Improved show -colors color assignments	2013-03-24 13:32:56 +01:00
Clifford Wolf	bbae24bdf7	Added show -strech and renamed -widthlabels to -width	2013-03-24 13:27:11 +01:00
Clifford Wolf	f921b06fb0	Added -widthlabels options to chow command	2013-03-24 13:11:06 +01:00
Clifford Wolf	55c50dc499	Added -colors option to show command	2013-03-24 10:41:24 +01:00
Clifford Wolf	47325fb271	Added help -write-tex-command-reference-manual option	2013-03-21 11:33:56 +01:00
Clifford Wolf	8f610dca58	Added -S option for simple synthesis to gate logic	2013-03-21 09:52:21 +01:00
Clifford Wolf	91b94ef57b	Disabled the per-default dumping of ILANG code	2013-03-21 09:12:32 +01:00
Johann Glaser	15ad2db8fc	fixed a crash when lines start with whitespace	2013-03-18 20:58:47 +01:00
Johann Glaser	cd8008bda0	fixed typos	2013-03-18 07:28:31 +01:00