summaryrefslogtreecommitdiffstats
path: root/src/base/abci
Commit message (Expand)AuthorAgeFilesLines
* Provide number of max cubes as parameter.Mathias Soeken2016-08-161-4/+16
* Fix compiler problems by #including the header from FXCH package.Alan Mishchenko2016-08-161-0/+1
* Changes to report quantum cost in Exorcism.Alan Mishchenko2016-08-151-4/+8
* 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
* | | | Several updates to exact synthesis.Mathias Soeken2016-07-282-75/+458
| |/ / |/| |
* | | Extending command 'dump_equv' to match inputs by name.Alan Mishchenko2016-07-271-1/+1
* | | Extending command 'dump_equv' to match inputs by name.Alan Mishchenko2016-07-272-17/+68
|/ /
* | Make fx able to handle degenerate divisors:Bruno Schmitt2016-07-261-93/+59
* | Extending command 'exact' to handle delay constraints.Alan Mishchenko2016-07-232-41/+142
* | Bug fix in 'dump_equiv'.Alan Mishchenko2016-07-221-3/+44
* | Adding new command 'dump_equiv'.Alan Mishchenko2016-07-211-2/+6
* | Adding new command 'dump_equiv'.Alan Mishchenko2016-07-213-1/+338
* | Extension in the detection code.Alan Mishchenko2016-07-192-6/+10
* | Adding command 'exact' developed by Mathias Soeken to implement Knuth's exact...Alan Mishchenko2016-07-163-0/+647
* | Small fixes and improvements in reporting node counts.Alan Mishchenko2016-07-153-16/+27
* | Small change to make &if not abort the scripts.Alan Mishchenko2016-07-041-1/+1
* | Experiments with edge-based mapping.Alan Mishchenko2016-06-291-9/+25
|/
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-24 16:30:07 +0000