summaryrefslogtreecommitdiffstats
path: root/src/base/abci
Commit message (Expand)AuthorAgeFilesLines
...
* | 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
|/
* New command 'phase_map'.Alan Mishchenko2016-06-171-0/+55
* Adding a switch 'retime -o' to use old flop naming conventions.Alan Mishchenko2016-06-161-4/+10
* Experiments with edge-based mapping.Alan Mishchenko2016-06-151-3/+13
* Adding switch -P <num> to command 'cover'.Alan Mishchenko2016-06-141-6/+20
* Detecting properties of internal nodes.Alan Mishchenko2016-06-142-185/+14
* Detecting properties of internal nodes.Alan Mishchenko2016-06-121-0/+207
* Detecting properties of internal nodes.Alan Mishchenko2016-06-073-0/+226
* Switch 'fx -x' to use only canonical divisors in 'fx'.Alan Mishchenko2016-06-062-8/+18
* New profiling features for word-level optimizations.Alan Mishchenko2016-06-042-3/+59
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-18 04:42:31 +0000