summaryrefslogtreecommitdiffstats
path: root/src/misc/util
Commit message (Collapse)AuthorAgeFilesLines
* Significant improvement to LUT mappers (if, &if).Alan Mishchenko2014-02-161-1/+1
|
* Fix in represneting constants in a platform-independent way.Alan Mishchenko2014-02-101-12/+12
|
* Fix parenthesization of Abc_Clock #ifdef.Aaron Tomb2013-11-061-1/+1
| | | | | The previous location of parentheses led to an attempt to compile against Linux-only clock APIs when building on 32-bit OS X.
* Merged in atomb/abc (pull request #1)Alan Mishchenko2013-11-052-4/+6
|\ | | | | | | Several patches to fix compilation under MINGW32
| * Don't assume MSVC when __MINGW32__ set.Aaron Tomb2013-11-041-0/+2
| |
| * Choose Windows file operations with MINGW32.Aaron Tomb2013-11-041-3/+3
| |
| * Make definition of Abc_Clock work with MINGW32.Aaron Tomb2013-11-041-1/+1
| |
* | Tuning for multi-ouptut solver.Alan Mishchenko2013-11-041-1/+4
|/
* Compiler warnings.Alan Mishchenko2013-10-301-3/+3
|
* Extending truth table support in &jf for more than 6 inputs.Alan Mishchenko2013-10-101-3/+4
|
* Improvements to the canonical form computation.Alan Mishchenko2013-10-101-0/+1
|
* Moved the code to a different file.Alan Mishchenko2013-10-061-0/+197
|
* Towards better Boolean matching.Alan Mishchenko2013-10-051-0/+13
|
* Towards better Boolean matching.Alan Mishchenko2013-10-051-0/+13
|
* Added 'abort' message in bridge mode for pdr -a timeoutNiklas Een2013-10-041-8/+30
|
* Fixed a bug in Bridge modeNiklas Een2013-09-271-2/+15
|
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-161-1/+1
|
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-161-5/+2
|
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-161-8/+11
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-0/+46
|
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-051-1/+1
|
* Small changes to compile on Mac.Alan Mishchenko2013-08-151-1/+1
|
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-121-0/+44
|
* 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 ↵Alan Mishchenko2013-07-011-0/+1
| | | | on some platforms.
* 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 ↵Niklas Een2013-06-281-4/+22
| | | | been closed and exit ABC.
* 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 ↵Alan Mishchenko2013-01-302-61/+67
| | | | unsigned long long.
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 10:00:46 +0000