summaryrefslogtreecommitdiffstats
path: root/src/base
Commit message (Expand)AuthorAgeFilesLines
...
| * Fix compile errors when using namespace with clang.Mathias Soeken2016-08-192-3/+3
* | 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
* | Merged alanmi/abc into defaultMathias Soeken2016-08-216-31/+137
|\|
| * Merge with parent.Mathias Soeken2016-08-186-23/+78
| |\
| | * Changes to report quantum cost in Exorcism.Alan Mishchenko2016-08-176-22/+77
| * | Missing code for CLI integration.Mathias Soeken2016-08-161-2/+2
| * | Functions to compute T-count.Mathias Soeken2016-08-161-0/+37
| * | Provide number of max cubes as parameter.Mathias Soeken2016-08-163-7/+21
| * | Don't output if not verbose.Mathias Soeken2016-08-161-2/+2
| |/
* | 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-156-11/+102
|\|
| * Changes to report quantum cost in Exorcism.Alan Mishchenko2016-08-156-11/+102
* | 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-083-40/+95
|/
* 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
* | Unsuccessful attempt to improve quality of factoring by limiting distance-1 m...Alan Mishchenko2016-08-061-12/+67
* | 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-053-8/+24
* | Updates to arithmetic verification.Alan Mishchenko2016-08-056-20/+30
* | 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 13:53:36 +0000