summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Expand)AuthorAgeFilesLines
* Better CEX minimization and renaming of write_counter into write_cex.Alan Mishchenko2014-04-042-0/+28
* Improvements to technology mapping.Alan Mishchenko2014-04-021-2/+5
* Experiments with mapping.Alan Mishchenko2014-03-222-0/+33
* Adding barrier buffers.Alan Mishchenko2014-03-181-0/+2
* Changes to LUT mappers.Alan Mishchenko2014-02-191-5/+6
* Significant improvement to LUT mappers (if, &if).Alan Mishchenko2014-02-162-1/+40
* Fix in represneting constants in a platform-independent way.Alan Mishchenko2014-02-101-12/+12
* Structural mapper into structures.Alan Mishchenko2013-11-121-0/+8
* Improvements to the standard cell flow.Alan Mishchenko2013-11-082-0/+21
* Fix parenthesization of Abc_Clock #ifdef.Aaron Tomb2013-11-061-1/+1
* Merged in atomb/abc (pull request #1)Alan Mishchenko2013-11-052-4/+6
|\
| * 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
|/
* Changes to Liberty parser.Alan Mishchenko2013-10-301-0/+22
* Compiler warnings.Alan Mishchenko2013-10-302-7/+6
* Multi-output property solver.Alan Mishchenko2013-10-231-0/+338
* 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
* Resubstitution code.Alan Mishchenko2013-10-062-20/+43
* 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
* Changing default values.Alan Mishchenko2013-10-021-13/+13
* Changing default values.Alan Mishchenko2013-09-301-0/+17
* Changing default values.Alan Mishchenko2013-09-291-0/+13
* Code to test AIG generation for DSD structures.Alan Mishchenko2013-09-271-0/+31
* Fixed a bug in Bridge modeNiklas Een2013-09-271-2/+15
* New logic sharing extraction.Alan Mishchenko2013-09-262-213/+253
* Improving DAG-aware unmapping.Alan Mishchenko2013-09-251-4/+6
* Improving DAG-aware unmapping.Alan Mishchenko2013-09-252-3/+7
* Changes to enable decomposition of non-DSD functions.Alan Mishchenko2013-09-252-0/+97
* 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
* Infrastructure to support full Liberty format and unitification of library re...Alan Mishchenko2013-09-152-2/+22
* Removing duplicated typedef line.Alan Mishchenko2013-09-131-1/+0
* Improvements to the new technology mapper.Alan Mishchenko2013-09-122-0/+49
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-0/+46
* Improvements to the new technology mapper.Alan Mishchenko2013-09-111-9/+4
* Improvements to the new technology mapper.Alan Mishchenko2013-09-112-4/+19
* Updates for the new BMC engine.Alan Mishchenko2013-09-101-0/+208
* Improvements to the new technology mapper.Alan Mishchenko2013-09-092-7/+16
* Improvements to the new technology mapper.Alan Mishchenko2013-09-093-0/+1109
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-051-1/+1
* Buf fixes and minor changes to the &if mapper.Alan Mishchenko2013-08-291-2/+2
* Adding procedures to specify permutations with unused flops.Alan Mishchenko2013-08-281-0/+21
* Small changes to compile on Mac.Alan Mishchenko2013-08-151-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-20 18:44:52 +0000