summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Expand)AuthorAgeFilesLines
* MergeNiklas Een2012-10-309-357/+901
|\
| * Improvements to LMS code.Alan Mishchenko2012-10-282-0/+34
| * Integrating GIA with LUT mapping.Alan Mishchenko2012-10-251-2/+2
| * Added hierarchical BLIF output for mapping with LUT structures (write_blif -a...Alan Mishchenko2012-10-241-2/+3
| * Integrating GIA with LUT mapping.Alan Mishchenko2012-10-241-19/+41
| * Integrating GIA with LUT mapping.Alan Mishchenko2012-10-244-328/+629
| * Creating dedicated choice representation for GIA.Alan Mishchenko2012-10-245-21/+118
| * Adding frontier comptuation based on reversed CO order in &ps.Alan Mishchenko2012-10-244-9/+59
| * Fixing frontier computation in &ps.Alan Mishchenko2012-10-241-4/+43
* | Replaced printfs with Abc_PrintNiklas Een2012-10-291-48/+47
* | Replaced printfs with Abc_PrintNiklas Een2012-10-291-89/+88
|/
* Commenting out printout.Alan Mishchenko2012-10-101-2/+2
* Added procedure to check correctness of the topo order during AIG construction.Alan Mishchenko2012-10-101-0/+27
* Making report about the number of correcty covered frames consistent across t...Alan Mishchenko2012-10-092-4/+4
* Making explicit cast to 64-bit unsigned in a few places.Alan Mishchenko2012-10-091-1/+1
* Extending the default GIA writing buffer.Alan Mishchenko2012-10-091-1/+1
* Bug fix in reading AIGER with both signal names and extensions.Alan Mishchenko2012-10-081-79/+79
* Simplification in AIG manager object counting.Alan Mishchenko2012-10-052-4/+3
* C++ portability changes.Alan Mishchenko2012-10-033-5/+5
* Minor bug fixes.Alan Mishchenko2012-10-031-3/+8
* Renamed reference counting APIs in GIA package.Alan Mishchenko2012-10-0216-72/+64
* Combined old reparametrization command with the new one.Alan Mishchenko2012-10-023-206/+0
* Structural reparametrization.Alan Mishchenko2012-10-022-1/+11
* Separated truth table computation for GIA manager and added new procedures.Alan Mishchenko2012-10-022-0/+57
* Separated truth table computation for GIA manager and added new procedures.Alan Mishchenko2012-10-024-149/+301
* Structural reparametrization.Alan Mishchenko2012-10-012-0/+2
* Fixed several important problems in choice computation (command 'dch').Alan Mishchenko2012-10-013-387/+68
* Added serialization of Mini AIG.Alan Mishchenko2012-09-291-6/+62
* Experiments with mini AIG manager.Alan Mishchenko2012-09-292-0/+194
* Replacing 'st_table' by 'st__table' to resolve linker problems.Alan Mishchenko2012-09-292-15/+15
* Improving computation of choices from equivalence classes.Alan Mishchenko2012-09-237-150/+529
* Testing GIA with time manager.Alan Mishchenko2012-09-235-28/+19
* Modified structural constraint extraction (unfold -s) to work for multi-outpu...Alan Mishchenko2012-09-231-162/+241
* Cleaing AIG manager by removing pointers to HAIG.Alan Mishchenko2012-09-237-875/+1
* Integrating time manager into choice computation.Alan Mishchenko2012-09-225-64/+212
* Added GIA normalization using timing manager.Alan Mishchenko2012-09-223-8/+96
* Upgrading hierarchy timing manager.Alan Mishchenko2012-09-212-2/+32
* Bug fix in bmc3.Alan Mishchenko2012-09-171-1/+6
* Fixed timeout problem in bmc3 -s.Alan Mishchenko2012-09-171-12/+7
* Created new abstraction package from the code that was all over the place.Alan Mishchenko2012-09-1525-12922/+2
* Corrected &gla -a to work as expected.Alan Mishchenko2012-09-151-33/+52
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-143-3/+7
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-141-1/+1
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-143-71/+88
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-141-1/+1
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-142-11/+106
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-145-55/+187
* Added code to collect experimental results.Alan Mishchenko2012-09-112-2/+2
* Added code to collect experimental results.Alan Mishchenko2012-09-112-2/+2
* Added code to collect experimental results.Alan Mishchenko2012-09-112-2/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 20:53:40 +0000