summaryrefslogtreecommitdiffstats
path: root/src/misc/util
Commit message (Collapse)AuthorAgeFilesLines
* Adding resource limit switch -C to 'sop'.Alan Mishchenko2015-02-111-1/+1
|
* Major rehash of the CBA code.Alan Mishchenko2015-01-311-1/+1
|
* Preprocessing for multi-output PLA tables.Alan Mishchenko2015-01-312-0/+19
|
* New assertions and bug fix in DSD balancing.Alan Mishchenko2015-01-271-8/+19
|
* Exprimental features in tech-mapping.Alan Mishchenko2014-12-211-2/+16
|
* Adding new mapping feature.Alan Mishchenko2014-12-111-0/+266
|
* Changes to the parser.Alan Mishchenko2014-12-041-0/+1
|
* Changes to the parser.Alan Mishchenko2014-12-031-2/+19
|
* New parser and framework.Alan Mishchenko2014-11-292-12/+64
|
* Fix in reading flop classes.Alan Mishchenko2014-11-211-0/+4
|
* Recommended changes for portability.Alan Mishchenko2014-10-121-1/+1
|
* Bug fix in the bit-blaster.Alan Mishchenko2014-10-101-2/+2
|
* Improvements to ISOP.Alan Mishchenko2014-10-101-278/+784
|
* Detection of threshold functions.Alan Mishchenko2014-10-082-53/+100
|
* New ISOP computation.Alan Mishchenko2014-10-071-36/+196
|
* New ISOP computation.Alan Mishchenko2014-10-042-0/+522
|
* Extending resource limit.Alan Mishchenko2014-09-201-2/+2
|
* Improvements to Boolean matching.Alan Mishchenko2014-09-191-0/+69
|
* Improvements to Boolean matching.Alan Mishchenko2014-09-161-0/+14
|
* New word-level representation package.Alan Mishchenko2014-09-121-0/+29
|
* Compiler warnings.Alan Mishchenko2014-08-041-0/+53
|
* Profiling code for SOP/DSD/LMS balancing.Alan Mishchenko2014-08-021-0/+87
|
* Changes and improvements to different packages.Alan Mishchenko2014-06-301-0/+25
|
* Changes and improvements to different packages.Alan Mishchenko2014-06-261-0/+3
|
* Improvements to CNF generation.Alan Mishchenko2014-06-231-1/+0
|
* Improvements to CNF generation.Alan Mishchenko2014-06-231-0/+250
|
* Experiments with CNF generation.Alan Mishchenko2014-06-181-5/+8
|
* Added transformation of CEX after 'fix_aig' and checking of transformed ↵Alan Mishchenko2014-06-172-0/+40
| | | | CEXes using 'testcex -a'.
* Specializing some truth-table functions to 6 inputs.Alan Mishchenko2014-06-141-57/+99
|
* Fixing the problem with 'phase -c'.Alan Mishchenko2014-05-291-3/+3
|
* Command to test console colors.Alan Mishchenko2014-04-101-6/+5
|
* Command to test console colors.Alan Mishchenko2014-04-101-4/+4
|
* Command to test console colors.Alan Mishchenko2014-04-101-0/+2
|
* Command to test console colors.Alan Mishchenko2014-04-102-0/+124
|
* Better CEX minimization and renaming of write_counter into write_cex.Alan Mishchenko2014-04-042-0/+28
|
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-17 22:03:09 +0000