summaryrefslogtreecommitdiffstats
path: root/src/base/abci
Commit message (Expand)AuthorAgeFilesLines
* More logging in exact synthesis.Mathias Soeken2016-08-211-56/+110
* Merged alanmi/abc into defaultMathias Soeken2016-08-211-6/+18
|\
| * Merge with parent.Mathias Soeken2016-08-181-3/+3
| |\
| | * Changes to report quantum cost in Exorcism.Alan Mishchenko2016-08-171-2/+2
| * | Missing code for CLI integration.Mathias Soeken2016-08-161-2/+2
| * | Provide number of max cubes as parameter.Mathias Soeken2016-08-161-4/+16
| |/
* | Used wrong truth table function in exact synthesis.Mathias Soeken2016-08-161-3/+3
* | Merged alanmi/abc into defaultMathias Soeken2016-08-161-0/+1
|\|
| * Fix compiler problems by #including the header from FXCH package.Alan Mishchenko2016-08-161-0/+1
* | Fixes to exact synthesis.Mathias Soeken2016-08-151-26/+51
* | Merged alanmi/abc into defaultMathias Soeken2016-08-151-4/+8
|\|
| * Changes to report quantum cost in Exorcism.Alan Mishchenko2016-08-151-4/+8
* | Exact synthesis (revert one change).Mathias Soeken2016-08-091-1/+1
* | Exact synthesis.Mathias Soeken2016-08-092-23/+105
* | Small change in exact synthesis.Mathias Soeken2016-08-081-1/+1
* | Resource constraints in exact synthesis, arrival times in exact command.Mathias Soeken2016-08-082-39/+94
|/
* Improvements in exact synthesis.Mathias Soeken2016-08-082-63/+86
* Bugfixes in exact synthesis.Mathias Soeken2016-08-081-20/+60
* Merged in petkovska/abc-pullreq/hier-npn_fast-exact (pull request #29)Alan Mishchenko2016-08-061-5/+6
|\
| * Return the class representative of each function.Ana Petkovska2016-06-181-3/+3
| * Group based exact NPN classification.Ana Petkovska2016-06-181-2/+3
* | 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-052-7/+23
* | Updates to arithmetic verification.Alan Mishchenko2016-08-051-1/+1
* | Read and write to exact store.Mathias Soeken2016-08-042-21/+181
* | Exact synthesis minimization.Mathias Soeken2016-08-042-42/+209
* | Update from parent.Mathias Soeken2016-08-031-0/+1
|\ \
| * | Bug in 'dump_equiv -n'.Alan Mishchenko2016-08-021-0/+1
* | | Free memory.Mathias Soeken2016-08-031-0/+2
|/ /
* | Tests and bug fixes for exact store manager.Mathias Soeken2016-08-022-30/+50
* | 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
* | | Store for exact results.Mathias Soeken2016-07-311-5/+150
* | | Depth optimal synthesis.Mathias Soeken2016-07-301-7/+18
* | | Implementation of Abc_ExactDelayCost.Mathias Soeken2016-07-301-2/+34
* | | Extract delay information into solution.Mathias Soeken2016-07-301-13/+59
* | | Check whether exact network can be found.Mathias Soeken2016-07-301-5/+11
* | | Extract solution into intermediate format.Mathias Soeken2016-07-301-173/+211
|/ /
* | Infrastructure for using the results of exact SAT-based synthesis during mapp...Alan Mishchenko2016-07-291-1/+3
* | Infrastructure for using the results of exact SAT-based synthesis during mapp...Alan Mishchenko2016-07-291-5/+7
* | Compiler warnings.Alan Mishchenko2016-07-291-3/+3
* | Infrastructure for using the results of exact SAT-based synthesis during mapp...Alan Mishchenko2016-07-293-8/+64
* | Merged in boschmitt/abc (pull request #31)Alan Mishchenko2016-07-281-10/+31
|\ \
| * \ Merged alanmi/abc into defaultBruno Schmitt2016-07-272-17/+68
| |\ \
| * | | Make FX able to handle SCC and remove its SOP preprocessing.Bruno Schmitt2016-07-271-10/+31
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-17 12:26:43 +0000