summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Experiment with frontier cut computation.Alan Mishchenko2019-05-011-0/+15
* Adding the possibility to specify file name in 'pdr'.Alan Mishchenko2019-04-224-4/+16
* Adding switch &st -s for MUX restructring.Alan Mishchenko2019-04-211-1/+2
* Adding switch &st -s for MUX restructring.Alan Mishchenko2019-04-212-2/+89
* Improvements to the retiming algorithm.Alan Mishchenko2019-04-181-1/+7
* Improvements to the retiming algorithm.Alan Mishchenko2019-04-181-1/+1
* Improvements to the retiming algorithm.Alan Mishchenko2019-04-181-22/+63
* Enabling dumping of the library of minimum circuits (compiler warnings).Alan Mishchenko2019-04-182-10/+14
* Enabling dumping of the library of minimum circuits (file support).Alan Mishchenko2019-04-182-28/+25
* Adding switch &dch -e to reduce equivalences.Alan Mishchenko2019-04-171-4/+18
* Enabling dumping of the library of minimum circuits.Alan Mishchenko2019-04-172-12/+24
* Adding new command handler for experimental procedures.Alan Mishchenko2019-04-174-0/+107
* Fix naming problem in converting a logic network into a netlist.Alan Mishchenko2019-04-171-1/+4
* Fix index of delay tables created by %blast.Alan Mishchenko2019-04-162-3/+3
* Adding switch 'read_truth -f <file_name>' to read truth table from file.Alan Mishchenko2019-04-151-9/+22
* Adding miter construction with one bit-level output for each pair of word-lev...Alan Mishchenko2019-04-141-1/+1
* Adding miter construction with one bit-level output for each pair of word-lev...Alan Mishchenko2019-04-145-13/+59
* Adding clock enable extraction as command &put -e.Alan Mishchenko2019-04-142-15/+80
* Decoupling identical flop-input names in &put.Alan Mishchenko2019-04-101-2/+10
* Small change to fix broken C++ build.Alan Mishchenko2019-04-091-1/+2
* Extending generic simulation APIs.Alan Mishchenko2019-04-092-5/+10
* Supporting reset in retiming.Alan Mishchenko2019-04-091-0/+6
* Supporting LUT in NDR and WLC.Alan Mishchenko2019-04-057-5/+30
* Converting dch-style equivalences into scorr-style ones.Alan Mishchenko2019-04-051-0/+12
* Recognizing async reset in blasting (the case of constant 0 driver).Alan Mishchenko2019-04-021-2/+18
* Compiler warning.Alan Mishchenko2019-03-281-1/+0
* Extending simulation interface.Alan Mishchenko2019-03-282-5/+10
* Adding support for logging in command &gla.Alan Mishchenko2019-03-271-5/+18
* Changing print-out in 'dprove' when the miter is combinational.Alan Mishchenko2019-03-271-10/+13
* Recognizing async reset in blasting.Alan Mishchenko2019-03-266-1/+69
* Making 'ndr.h' fully independent of other ABC data-structures.Alan Mishchenko2019-03-231-12/+18
* Add special handling of script-level assertions.Alan Mishchenko2019-03-201-2/+98
* Prevent assertions from firing for deep logic networks.Alan Mishchenko2019-03-201-4/+4
* Adding support for LUT primitive in NDR.Alan Mishchenko2019-03-201-1/+1
* Adding support for LUT primitive in NDR.Alan Mishchenko2019-03-202-1/+3
* Fixing several potential bugs.Alan Mishchenko2019-03-193-3/+3
* Adding new command line args.Alan Mishchenko2019-03-181-0/+3
* Adding new command line args.Alan Mishchenko2019-03-132-5/+7
* Changing the default delay of buffers driving POs.Alan Mishchenko2019-03-131-1/+3
* Updated NPN classification code (compiler warnings).Alan Mishchenko2019-03-123-6/+7
* Adding logfile support to several commands.Alan Mishchenko2019-03-121-6/+53
* Updated NPN classification code (bug fix).Alan Mishchenko2019-03-101-5/+5
* Updated NPN classification code.Alan Mishchenko2019-03-082-10/+10
* Updated functional enumation code.Alan Mishchenko2019-03-082-28/+604
* Updating canonical form computation procedures (compiler warnings).Alan Mishchenko2019-03-052-2/+2
* Updating canonical form computation procedures (compiler warnings).Alan Mishchenko2019-03-051-6/+7
* Updating canonical form computation procedures.Alan Mishchenko2019-03-053-109/+598
* Fixing some more warnings by adding cast from 'int' to 'size_t'.Alan Mishchenko2019-03-0515-73/+73
* Fixing several other type conversion warnings.Alan Mishchenko2019-03-052-32/+32
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...Alan Mishchenko2019-03-05114-263/+263