summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Expand)AuthorAgeFilesLines
* Structural mapper into structures.Alan Mishchenko2013-11-242-77/+128
* Propagating initial PI level during balancing.Alan Mishchenko2013-11-151-0/+45
* Structural mapper into structures.Alan Mishchenko2013-11-124-0/+735
* Sweeper internal dumping.Alan Mishchenko2013-11-011-7/+5
* Sweeper internal dumping.Alan Mishchenko2013-11-012-0/+33
* Sweeper internal verification.Alan Mishchenko2013-11-012-4/+6
* Sweeper internal verification and new switch for &cfraig.Alan Mishchenko2013-11-012-5/+6
* Sweeper internal verification.Alan Mishchenko2013-11-013-24/+34
* Corner-case bug in synthesis commands.Alan Mishchenko2013-11-011-0/+6
* Sweeper condition complement bug-fix.Alan Mishchenko2013-11-011-1/+1
* Sweeper condition complement bug-fix and code for internal verification.Alan Mishchenko2013-11-015-8/+56
* Sweeper return value normalization.Alan Mishchenko2013-11-012-0/+25
* False path detection.Alan Mishchenko2013-10-312-65/+146
* GIA sweeper: adding APIs to return valid probe ID and run a command line.Alan Mishchenko2013-10-311-1/+1
* GIA sweeper: adding APIs to return valid probe ID and run a command line.Alan Mishchenko2013-10-312-0/+72
* False path detection.Alan Mishchenko2013-10-312-0/+217
* Specialized induction check.Alan Mishchenko2013-10-312-4/+9
* GIA sweeper interface update.Alan Mishchenko2013-10-311-4/+6
* Bug fix in 'tempor -s'.Alan Mishchenko2013-10-301-0/+1
* GIA sweeper interface update.Alan Mishchenko2013-10-302-17/+15
* GIA sweeper interface update.Alan Mishchenko2013-10-302-34/+18
* Compiler warnings.Alan Mishchenko2013-10-301-1/+1
* Compiler warnings.Alan Mishchenko2013-10-301-2/+2
* Compiler warnings.Alan Mishchenko2013-10-301-2/+2
* New BMC engine.Alan Mishchenko2013-10-271-2/+2
* New BMC engine.Alan Mishchenko2013-10-273-16/+19
* New BMC engine.Alan Mishchenko2013-10-271-3/+45
* Multi-output property solver.Alan Mishchenko2013-10-233-1/+4
* Adding new synthesis scripts.Alan Mishchenko2013-10-233-2/+74
* More accurate level calculation in AIG balancing.Alan Mishchenko2013-10-223-5/+64
* Extending predefined limit in &shrink.Alan Mishchenko2013-10-211-1/+1
* Compiler warnings.Alan Mishchenko2013-10-172-3/+3
* Extending truth table support in &jf for more than 6 inputs.Alan Mishchenko2013-10-101-26/+39
* Improvements to the canonical form computation.Alan Mishchenko2013-10-101-10/+12
* CNF generating using new mapper.Alan Mishchenko2013-10-101-1/+112
* Upgrading 'mfs2' to consider some nodes as having no level.Alan Mishchenko2013-10-091-1/+1
* Moved the code to a different file.Alan Mishchenko2013-10-061-197/+1
* Resubstitution code.Alan Mishchenko2013-10-062-0/+293
* Towards better Boolean matching.Alan Mishchenko2013-10-053-7/+13
* Bug fix and performance improvement in &iso.Alan Mishchenko2013-10-031-7/+8
* Bug fix and performance improvement in &iso.Alan Mishchenko2013-10-032-62/+133
* Added computation of mapping overlap in &ps.Alan Mishchenko2013-10-031-9/+48
* Experiment with the AIG package.Alan Mishchenko2013-10-032-0/+239
* Added computation of mapping overlap in &ps.Alan Mishchenko2013-10-031-0/+54
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-032-7/+7
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-4/+6
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-0/+1
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-7/+47
* Computing AIG using DSD instead of factored forms in &fx.Alan Mishchenko2013-10-021-21/+56
* Changing default values.Alan Mishchenko2013-10-021-2/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-19 08:21:30 +0000