aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* Progress xsthammer scriptsClifford Wolf2013-06-103-27/+37
* Improvements and fixes in SAT codeClifford Wolf2013-06-102-9/+36
* Added history file read/write to driverClifford Wolf2013-06-101-0/+16
* Progress in xsthammer: working proof for cell modelsClifford Wolf2013-06-103-34/+51
* Fixes and improvements in AST const foldingClifford Wolf2013-06-102-1/+11
* Enabled AST/Verilog front-end optimizations per defaultClifford Wolf2013-06-105-11/+30
* Fixed generation of newlines in "dump" outputClifford Wolf2013-06-101-3/+4
* Added "rename" commandClifford Wolf2013-06-102-0/+95
* Progress on xsthammerClifford Wolf2013-06-105-0/+268
* Added first xsthammer scriptsClifford Wolf2013-06-104-0/+183
* Renamed "sat_solve" pass to "sat"Clifford Wolf2013-06-093-13/+13
* Implemented temporal induction proofs in sat_solveClifford Wolf2013-06-093-39/+180
* Added support for non-temporal proofs to sat_solveClifford Wolf2013-06-092-26/+127
* Re-organization in sat_solver pass for temporal inductionClifford Wolf2013-06-091-251/+296
* Added ezSAT api support for don't care values in modelsClifford Wolf2013-06-093-6/+23
* Fixed handling of $_XOR_ in SAT generatorClifford Wolf2013-06-092-2/+4
* Added sequential solving support to sat_solveClifford Wolf2013-06-093-89/+257
* Set rl_basic_word_break_characters in shellClifford Wolf2013-06-091-0/+1
* Improved readline tab completionClifford Wolf2013-06-092-25/+75
* Look for yosys-abc and yosys-svgviewer where the main exe isClifford Wolf2013-06-094-3/+23
* Added "make abc" and "make install-abc"Clifford Wolf2013-06-084-4/+20
* Moved cmds from kernel/ to passes/cmds/Clifford Wolf2013-06-084-1/+4
* Fixed typo is sat_solve help msgClifford Wolf2013-06-081-1/+1
* Added support for shifter cells to SAT generatorClifford Wolf2013-06-083-10/+43
* Added "cd" and "ls" commands for convenienceClifford Wolf2013-06-081-0/+111
* Various improvements in sat_solve pass and SAT generatorClifford Wolf2013-06-084-41/+155
* Added -all and -max options to sat_solveClifford Wolf2013-06-081-0/+31
* Fixes and improvements in ezSAT libraryClifford Wolf2013-06-085-10/+202
* Improved auto-detection of -show signals in sat_solveClifford Wolf2013-06-083-29/+96
* Improved sat generator and sat_solve passClifford Wolf2013-06-076-15/+57
* Added SAT generator and simple sat_solve commandClifford Wolf2013-06-077-3/+400
* Added ezSAT libraryClifford Wolf2013-06-0712-8/+2854
* Renamed opt_rmunused to opt_cleanClifford Wolf2013-06-057-17/+17
* Implemented technology mapping for multipliers (using array multiplier)Clifford Wolf2013-06-031-4/+30
* Added "dump" command (part ilang backend)Clifford Wolf2013-06-024-29/+119
* Fixed techmap/flatten for positional module argumentsClifford Wolf2013-05-261-8/+20
* Improved log messages generated by hierarchy passClifford Wolf2013-05-261-5/+17
* Added -nodetect option to fsm passClifford Wolf2013-05-241-2/+8
* Fixed undef behavior in tests/asicworld/code_verilog_tutorial_fsm_full_tb.vClifford Wolf2013-05-241-1/+3
* Improved FSM one-hot encoding, added binary encodingClifford Wolf2013-05-243-44/+85
* Added log_assert() apiClifford Wolf2013-05-243-4/+6
* Added log_abort() apiClifford Wolf2013-05-242-1/+3
* Fixed a gcc vs. clang determinism problem in abc passClifford Wolf2013-05-231-4/+11
* Fixed memory corruption bug in opt_rmunusedClifford Wolf2013-05-231-7/+14
* Only initialize TCL interpreter when neededClifford Wolf2013-05-233-39/+50
* Fixed memory leak in ilang frontendClifford Wolf2013-05-231-0/+1
* Added missing newline to some error messagesClifford Wolf2013-05-231-2/+2
* Added labels to "help -write-tex-command-reference-manual" outputClifford Wolf2013-05-231-0/+2
* Added support for processes to show commandClifford Wolf2013-05-231-2/+81
* Fixed show command for constant assignmentsClifford Wolf2013-05-231-2/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-23 06:27:44 +0000