summaryrefslogtreecommitdiffstats
path: root/src/base
Commit message (Expand)AuthorAgeFilesLines
* Changing switch -R <num> in &gla to mean the max allowed size of abstraction....Alan Mishchenko2013-09-231-3/+15
* Adding API to return the mapped network.Alan Mishchenko2013-09-221-3/+4
* 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
* Added bridge integration for multi-output 'bmc3 -a'.Alan Mishchenko2013-09-171-0/+1
* Debugging and finetuning the flow.Alan Mishchenko2013-09-172-1/+3
* Adding commands to set and print timing constraints.Alan Mishchenko2013-09-173-0/+14
* Unifying standard cell library representations.Alan Mishchenko2013-09-174-4/+17
* Adding switch to enable reuse of proof-obligations in the last timeframe.Alan Mishchenko2013-09-161-1/+5
* Adding new switch to &if to relax the delay.Alan Mishchenko2013-09-161-2/+14
* 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-161-2/+3
* Infrastructure to support full Liberty format and unitification of library re...Alan Mishchenko2013-09-152-1/+5
* Enabling additional printouts in 'pdr'.Alan Mishchenko2013-09-131-0/+7
* Added command &struct for profiling non-dec structures.Alan Mishchenko2013-09-131-0/+61
* Fix a bug in 'zeropo'.Alan Mishchenko2013-09-131-1/+1
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-2/+14
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-4/+12
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-2/+6
* Command '&slice' to cut out the bottom part of the AIG.Alan Mishchenko2013-09-111-0/+60
* Small performance bug in new 'fx'.Alan Mishchenko2013-09-111-1/+1
* Updates for the new BMC engine.Alan Mishchenko2013-09-101-2/+15
* New API to return the set of all reachable states as an AIG.Alan Mishchenko2013-09-101-1/+4
* Updates for the new BMC engine.Alan Mishchenko2013-09-091-3/+52
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-1/+32
* Improvements to the &ps.Alan Mishchenko2013-09-081-2/+6
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-2/+6
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-2/+123
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-052-15/+18
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-6/+11
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-1/+1
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-6/+12
* Adding check to &sim3 for the case when the AIG is combinational.Alan Mishchenko2013-09-051-1/+5
* Improved unrolling manager.Alan Mishchenko2013-09-051-7/+7
* Added Python API status_get_vector() similar to cex_get_vector().Alan Mishchenko2013-09-042-0/+2
* Adding switch 'ps -s' to skip counting buffers/inverters as nodes.Alan Mishchenko2013-09-021-16/+10
* Adding switch 'ps -s' to skip counting buffers/inverters as nodes.Alan Mishchenko2013-09-027-13/+38
* Removing some old useless code.Alan Mishchenko2013-09-021-4/+0
* Removing some old useless code.Alan Mishchenko2013-09-029-816/+5
* Adding interpolant computation sat_solver2.Alan Mishchenko2013-09-024-11/+20
* Modify level computation to take discretized arrival times into account.Alan Mishchenko2013-09-021-3/+7
* Adding switch &get -m to import mapped network into the &-space.Alan Mishchenko2013-09-011-2/+2
* Adding switch &get -m to import mapped network into the &-space.Alan Mishchenko2013-09-014-15/+141
* Buf fixes and minor changes to the &if mapper.Alan Mishchenko2013-08-291-1/+1
* Added switch &sim -g to enable flop grouping.Alan Mishchenko2013-08-201-2/+6
* Extending 'permute' to handle user-specified flop permutation.Alan Mishchenko2013-08-163-13/+81
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-141-0/+5
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-121-11/+1
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-121-7/+31
* Improvements to buffering and sizing.Alan Mishchenko2013-08-092-1/+7
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-04 00:41:20 +0000