summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Fixing the large MFFC problem.Alan Mishchenko2013-09-251-8/+8
* Fixing the large MFFC problem.Alan Mishchenko2013-09-251-7/+34
* Improving DAG-aware unmapping.Alan Mishchenko2013-09-252-9/+79
* Improving DAG-aware unmapping.Alan Mishchenko2013-09-255-6/+178
* Fixing printouts in 'bmc3'.Alan Mishchenko2013-09-251-58/+58
* Changes to enable decomposition of non-DSD functions.Alan Mishchenko2013-09-256-9/+179
* Changing switch -R <num> in &gla to mean the max allowed size of abstraction....Alan Mishchenko2013-09-233-12/+25
* Experiments with exact matching into LUT structures.Alan Mishchenko2013-09-233-4/+121
* Adding API to return the mapped network.Alan Mishchenko2013-09-222-3/+8
* Adding API to return the mapped network.Alan Mishchenko2013-09-222-2/+160
* Adding resource limit to stop &gla when the number of remaining objects is le...Alan Mishchenko2013-09-211-1/+1
* Adding resource limit to stop &gla when the number of remaining objects is le...Alan Mishchenko2013-09-211-0/+8
* Buf fix in Liberty parser.Alan Mishchenko2013-09-191-1/+1
* Added bridge integration for multi-output 'bmc3 -a'.Alan Mishchenko2013-09-171-8/+5
* Added bridge integration for multi-output 'bmc3 -a'.Alan Mishchenko2013-09-173-0/+14
* Integrating input driving cell constraint into buffering/sizing.Alan Mishchenko2013-09-174-3/+26
* Debugging and finetuning the flow.Alan Mishchenko2013-09-176-65/+91
* Debugging and finetuning the flow.Alan Mishchenko2013-09-171-1/+1
* Debugging and finetuning the flow.Alan Mishchenko2013-09-176-22/+62
* Adding commands to set and print timing constraints.Alan Mishchenko2013-09-178-38/+217
* Compiler warning about unused variable.Alan Mishchenko2013-09-171-2/+2
* Unifying standard cell library representations.Alan Mishchenko2013-09-1713-105/+316
* Changing dynamic CNF loading code to perform loading before propagate() as op...Alan Mishchenko2013-09-161-0/+31
* Adding switch to enable reuse of proof-obligations in the last timeframe.Alan Mishchenko2013-09-163-2/+7
* Adding new switch to &if to relax the delay.Alan Mishchenko2013-09-163-9/+31
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-161-1/+1
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-162-6/+3
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-165-13/+44
* Bug fix in PDR.Alan Mishchenko2013-09-161-1/+1
* Bug fix in XOR balancing.Alan Mishchenko2013-09-151-4/+3
* Infrastructure to support full Liberty format and unitification of library re...Alan Mishchenko2013-09-151-4/+4
* Infrastructure to support full Liberty format and unitification of library re...Alan Mishchenko2013-09-151-2/+4
* Infrastructure to support full Liberty format and unitification of library re...Alan Mishchenko2013-09-1513-616/+2234
* Fixing return value of 'pdr -a'.Alan Mishchenko2013-09-151-1/+5
* Handling the case when all outputs are undecided in 'pdr -a' with per-output ...Alan Mishchenko2013-09-142-6/+3
* Fixing several bugs, which led to unsound results produced by 'pdr -a' with p...Alan Mishchenko2013-09-133-4/+15
* Enabling additional printouts in 'pdr'.Alan Mishchenko2013-09-132-2/+11
* Added command &struct for profiling non-dec structures.Alan Mishchenko2013-09-133-0/+112
* Fix a bug in 'zeropo'.Alan Mishchenko2013-09-131-1/+1
* Removing duplicated typedef line.Alan Mishchenko2013-09-131-1/+0
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-1/+6
* Improvements to the new technology mapper.Alan Mishchenko2013-09-123-14/+40
* Improvements to the new technology mapper.Alan Mishchenko2013-09-126-76/+216
* Improvements to the new technology mapper.Alan Mishchenko2013-09-124-40/+156
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-7/+5
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-19/+32
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-7/+17
* Improvements to the new technology mapper.Alan Mishchenko2013-09-113-60/+50
* Improvements to the new technology mapper.Alan Mishchenko2013-09-113-9/+128
* Improvements to the new technology mapper.Alan Mishchenko2013-09-111-49/+26
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 22:05:23 +0000