summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcExact.c
Commit message (Expand)AuthorAgeFilesLines
* Exact synthesis.Mathias Soeken2017-03-061-1/+1
* Fix exact command for multiple-output functions.Mathias Soeken2017-03-061-1/+24
* Merged alanmi/abc into defaultMathias Soeken2017-02-221-1/+1
|\
| * Compiler warnings.Alan Mishchenko2017-01-071-1/+1
* | Exact synthesis.Mathias Soeken2016-11-021-1/+16
|/
* Exact synthesis.Mathias Soeken2016-10-291-1/+1
* Exact synthesis.Mathias Soeken2016-10-261-0/+15
* Exact synthesis.Mathias Soeken2016-10-261-2/+14
* Exact synthesis.Mathias Soeken2016-10-251-4/+4
* Compiler warnings.Alan Mishchenko2016-09-301-2/+2
* Some fixes in BMS.Mathias Soeken2016-09-141-9/+13
* New search strategy in BMS.Mathias Soeken2016-09-141-98/+101
* Updates to BMS.Mathias Soeken2016-09-101-72/+90
* Fix in BMS.Mathias Soeken2016-09-091-0/+5
* Fixes in BMS.Mathias Soeken2016-09-091-7/+9
* Missing case in BMS.Mathias Soeken2016-09-091-1/+4
* Improvements to BMS.Mathias Soeken2016-09-091-73/+164
* Improvements to BMS.Mathias Soeken2016-08-291-62/+211
* Improvements to BMS.Mathias Soeken2016-08-291-1/+55
* Symmetric variables in BMS.Mathias Soeken2016-08-281-4/+7
* Improvements to BMS.Mathias Soeken2016-08-261-16/+224
* BMS fixes and start gates parameter.Mathias Soeken2016-08-251-19/+15
* Fix errors in BMS.Mathias Soeken2016-08-241-12/+14
* Improvements to BMS.Mathias Soeken2016-08-241-52/+110
* Improvements to BMS.Mathias Soeken2016-08-241-169/+410
* Merged alanmi/abc into defaultMathias Soeken2016-08-241-2/+2
|\
| * Fix compile errors when using namespace with clang.Mathias Soeken2016-08-191-2/+2
* | BMS: Store I/O, better implications to stop search.Mathias Soeken2016-08-221-64/+243
* | BMS: restart solver instead of re-allocating it.Mathias Soeken2016-08-211-34/+44
* | More logging in exact synthesis.Mathias Soeken2016-08-211-56/+110
* | Used wrong truth table function in exact synthesis.Mathias Soeken2016-08-161-3/+3
* | Fixes to exact synthesis.Mathias Soeken2016-08-151-26/+51
* | Exact synthesis.Mathias Soeken2016-08-091-22/+104
* | Small change in exact synthesis.Mathias Soeken2016-08-081-1/+1
* | Resource constraints in exact synthesis, arrival times in exact command.Mathias Soeken2016-08-081-27/+44
|/
* Improvements in exact synthesis.Mathias Soeken2016-08-081-58/+77
* Bugfixes in exact synthesis.Mathias Soeken2016-08-081-20/+60
* Fix some warnings.Alan Mishchenko2016-08-051-2/+2
* Fix some warnings.Alan Mishchenko2016-08-051-9/+10
* Handling constant and buffer cut in exact synthesis.Alan Mishchenko2016-08-051-6/+22
* Read and write to exact store.Mathias Soeken2016-08-041-15/+106
* Exact synthesis minimization.Mathias Soeken2016-08-041-38/+88
* Free memory.Mathias Soeken2016-08-031-0/+2
* Tests and bug fixes for exact store manager.Mathias Soeken2016-08-021-29/+47
* Dynamic number of variables in exact store manager.Mathias Soeken2016-08-021-35/+86
* Fixes in DelayCost and BuildNode.Mathias Soeken2016-08-011-1/+4
* Merged alanmi/abc into defaultMathias Soeken2016-08-011-1/+1
|\
| * Adding one argument to the delay-estimation API used for exact synthesis.Alan Mishchenko2016-07-311-1/+1
* | Create and cleanup store, revert arrival times.Mathias Soeken2016-07-311-7/+54
* | Create network from solution in store.Mathias Soeken2016-07-311-2/+104