summaryrefslogtreecommitdiffstats
path: root/src/misc/util
Commit message (Expand)AuthorAgeFilesLines
* New technology mapper.Alan Mishchenko2013-07-141-0/+6
* Compiler warning.Alan Mishchenko2013-07-011-4/+6
* Adding #include <stdlib.h> to 'abc_global.h' to prevent compilation problem o...Alan Mishchenko2013-07-011-0/+1
* Forgot that LIN64 was used in place of LIN for 64-bit architectures. Fixed.Niklas Een2013-06-291-2/+2
* Fixed a problem in BridgeMode; it will now correctly detect if the pipe has b...Niklas Een2013-06-281-4/+22
* Suggested changes to counting time in Abc_Clock()Alan Mishchenko2013-06-181-10/+10
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-1/+1
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-274-28/+46
* Shrink for 6-LUTs.Alan Mishchenko2013-03-311-2/+138
* User-controlable SAT sweeper.Alan Mishchenko2013-02-251-1/+2
* Allowing for Verilog names of the type slash-<name>-space-[N].Alan Mishchenko2013-02-221-2/+8
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-302-61/+67
* Updated CEX code to handle trivial CEX of the type (Abc_Cex_t*)1.Alan Mishchenko2013-01-251-0/+19
* Fixing C++ compilation issues.Alan Mishchenko2013-01-082-4/+8
* Unifification of custom extensions.Alan Mishchenko2012-12-101-28/+23
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-091-3/+4
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-091-6/+5
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-082-1/+118
* Counter-example analysis and optimization.Alan Mishchenko2012-11-301-2/+2
* Counter-example analysis and optimization.Alan Mishchenko2012-11-292-0/+20
* Counter-example analysis and optimization.Alan Mishchenko2012-11-282-0/+12
* DSD manager.Alan Mishchenko2012-11-201-5/+5
* DSD manager.Alan Mishchenko2012-11-191-0/+1
* Added switch 'cexcut -m' to generate bad states for all frames after G.Alan Mishchenko2012-11-151-2/+2
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-141-11/+12
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-142-0/+59
* Made print-out of frontier cut an option ('-c') in '&ps'.Alan Mishchenko2012-11-121-1/+1
* Improved DSD.Alan Mishchenko2012-11-111-3/+46
* Improved DSD.Alan Mishchenko2012-11-061-0/+52
* Improved DSD.Alan Mishchenko2012-11-061-45/+164
* Improved DSD.Alan Mishchenko2012-11-031-1/+2
* Improved DSD.Alan Mishchenko2012-11-021-21/+36
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-10/+2
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-462/+69
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-84/+101
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-13/+22
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-2/+4
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-2/+38
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-2/+39
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-4/+4
* Improvements to the truth table computations.Alan Mishchenko2012-10-302-80/+887
* Added switch for netlist type to 'send_aig'. Changed defautl to &-space. Fixe...Niklas Een2012-10-302-10/+20
* Improvements to the truth table computation in 'if' package.Alan Mishchenko2012-10-291-4/+103
* Move truth table code into a separte file.Alan Mishchenko2012-10-281-0/+323
* Adding #ifdef to guard windows-specific debugging option.Alan Mishchenko2012-10-201-3/+5
* C++ portability changes.Alan Mishchenko2012-10-031-5/+6
* Fixing mismatch between declaration of the output value of Extra_CpuTime.Alan Mishchenko2012-09-181-1/+1
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-251-0/+1
* Added purification of UNSAT core in &gla.Alan Mishchenko2012-08-101-6/+6
* Fixing the integer print-out problem.Alan Mishchenko2012-07-131-13/+13
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 11:08:18 +0000