Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | New constraint manager and memory reporting 'ps'. | Alan Mishchenko | 2015-09-08 | 1 | -0/+1 |
| | |||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 1 | -1/+1 |
| | |||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 1 | -3/+6 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-07-31 | 1 | -0/+1 |
| | |||||
* | Scalable SOP manipulation package. | Alan Mishchenko | 2015-03-18 | 1 | -0/+1 |
| | |||||
* | New parser and framework. | Alan Mishchenko | 2014-11-29 | 1 | -0/+1 |
| | |||||
* | Changes to enable building external code. | Alan Mishchenko | 2014-10-28 | 1 | -3/+0 |
| | |||||
* | make it easy to add intialization functions to Abc_FrameInit()/Abc_FrameEnd() | Baruch Sterin | 2014-10-22 | 1 | -0/+15 |
| | |||||
* | Adding commands backup/restore. | Alan Mishchenko | 2014-10-21 | 1 | -0/+1 |
| | |||||
* | Replacing tabs with spaces. | Alan Mishchenko | 2014-09-12 | 1 | -1/+1 |
| | |||||
* | New word-level representation package. | Alan Mishchenko | 2014-09-12 | 1 | -0/+1 |
| | |||||
* | Improvements to DSD balancing. | Alan Mishchenko | 2014-08-27 | 1 | -0/+1 |
| | |||||
* | Adding commands to save/load best network. | Alan Mishchenko | 2014-08-26 | 1 | -0/+4 |
| | |||||
* | Cleanup and bug fixing in hierarchy handling. | Alan Mishchenko | 2014-04-09 | 1 | -1/+0 |
| | |||||
* | Changes to LUT mappers. | Alan Mishchenko | 2014-02-28 | 1 | -1/+2 |
| | |||||
* | Experiments with inductive don't-cares. | Alan Mishchenko | 2014-02-11 | 1 | -0/+3 |
| | |||||
* | Adding commands to set and print timing constraints. | Alan Mishchenko | 2013-09-17 | 1 | -0/+3 |
| | |||||
* | Adding new command &mprove for proving groups of properties. | Alan Mishchenko | 2013-05-17 | 1 | -0/+1 |
| | |||||
* | Adding command &filter_equiv to filter candidate equivalence classes using ↵ | Alan Mishchenko | 2013-04-17 | 1 | -0/+1 |
| | | | | indexes of disproved POs after handling SRM as a multi-output miter. | ||||
* | Renaming If_Lut_t into If_LibLut_t. | Alan Mishchenko | 2012-12-10 | 1 | -1/+0 |
| | |||||
* | Adding box library. | Alan Mishchenko | 2012-12-10 | 1 | -0/+1 |
| | |||||
* | Added command 'cexsave' and 'cexload'. | Alan Mishchenko | 2012-11-14 | 1 | -0/+1 |
| | |||||
* | Integrating GIA with LUT mapping. | Alan Mishchenko | 2012-10-24 | 1 | -1/+1 |
| | |||||
* | Added command 'starter' to call ABC concurrently. | Alan Mishchenko | 2012-10-02 | 1 | -0/+1 |
| | |||||
* | Replacing 'st_table' by 'st__table' to resolve linker problems. | Alan Mishchenko | 2012-09-29 | 1 | -3/+3 |
| | |||||
* | New package to read/write a subset of Liberty for STA. | Alan Mishchenko | 2012-08-24 | 1 | -0/+1 |
| | |||||
* | Added recording history of used commands into file 'abc.history' (Windows only). | Alan Mishchenko | 2012-08-24 | 1 | -1/+1 |
| | |||||
* | Added recording history of used commands into file 'abc.history' (Windows only). | Alan Mishchenko | 2012-08-24 | 1 | -0/+1 |
| | |||||
* | Updating project settings to have simpler include paths. | Alan Mishchenko | 2012-07-07 | 1 | -10/+10 |
| | |||||
* | Making 'pdr', &gla, &vta print correctly in batch mode. | Alan Mishchenko | 2012-07-07 | 1 | -2/+2 |
| | |||||
* | Misc changes. | Alan Mishchenko | 2012-04-27 | 1 | -37/+34 |
| | |||||
* | Adding features related to the communication bridge. | Alan Mishchenko | 2012-03-02 | 1 | -0/+1 |
| | |||||
* | Isomorphism checking code. | Alan Mishchenko | 2012-02-17 | 1 | -4/+5 |
| | |||||
* | Major restructuring of the code. | Alan Mishchenko | 2012-01-21 | 1 | -17/+12 |
| | |||||
* | Enabled saving vector of counter-examples in the ABC framework. | Alan Mishchenko | 2011-08-02 | 1 | -0/+1 |
| | |||||
* | Added test package. | Alan Mishchenko | 2011-03-29 | 1 | -1/+3 |
| | |||||
* | Rearranging data members in the structure (not a bug) | Alan Mishchenko | 2010-11-29 | 1 | -2/+2 |
| | |||||
* | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 1 | -6/+34 |
| | |||||
* | Version abc90714 | Alan Mishchenko | 2015-06-22 | 1 | -0/+5 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90311 | Alan Mishchenko | 2009-03-11 | 1 | -0/+1 |
| | |||||
* | Version abc90215 | Alan Mishchenko | 2009-02-15 | 1 | -12/+1 |
| | |||||
* | Version abc90118 | Alan Mishchenko | 2009-01-18 | 1 | -4/+6 |
| | |||||
* | Version abc81029 | Alan Mishchenko | 2008-10-29 | 1 | -0/+4 |
| | |||||
* | Version abc80516 | Alan Mishchenko | 2008-05-16 | 1 | -12/+22 |
| | |||||
* | Version abc80330 | Alan Mishchenko | 2008-03-30 | 1 | -1/+1 |
| | |||||
* | Version abc80327 | Alan Mishchenko | 2008-03-27 | 1 | -0/+1 |
| | |||||
* | Version abc80326 | Alan Mishchenko | 2008-03-26 | 1 | -0/+5 |
| | |||||
* | Version abc80307 | Alan Mishchenko | 2008-03-07 | 1 | -2/+2 |
| | |||||
* | Version abc80222 | Alan Mishchenko | 2008-02-22 | 1 | -2/+3 |
| | |||||
* | Version abc80130_2 | Alan Mishchenko | 2008-01-30 | 1 | -8/+8 |
| |