Clifford Wolf
|
bf2c149329
|
Another fix for a bug found using xsthammer
|
2013-06-12 19:09:14 +02:00 |
|
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 |
|