summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-19/+102
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-19/+25
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-8/+31
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-092-3/+4
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-097-39/+1213
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-4/+4
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-3/+3
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-1/+2
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-111/+288
|
* Fixing corner-case bug in command 'ind'.Alan Mishchenko2013-09-081-23/+40
|
* Improvements to the &ps.Alan Mishchenko2013-09-085-3/+50
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-3/+3
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-4/+59
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-074-5/+80
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-9/+13
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-078-22/+942
|
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-0521-55/+68
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-053-51/+219
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-052-33/+138
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-3/+9
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-6/+6
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-053-4/+6
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-0510-26/+187
|
* Adding check to &sim3 for the case when the AIG is combinational.Alan Mishchenko2013-09-051-1/+5
|
* Temporarily (?) undoing previous change because it is incompatible with old ↵Alan Mishchenko2013-09-051-3/+4
| | | | AIGER files generated by ABC.
* Improved unrolling manager.Alan Mishchenko2013-09-051-94/+92
|
* Making selecting duplication procedure creates a smaller AIG.Alan Mishchenko2013-09-051-2/+7
|
* Adding interpolant computation sat_solver2.Alan Mishchenko2013-09-051-0/+4
|
* Improved unrolling manager.Alan Mishchenko2013-09-053-83/+132
|
* Added Python API status_get_vector() similar to cex_get_vector().Alan Mishchenko2013-09-041-1/+1
|
* Added Python API status_get_vector() similar to cex_get_vector().Alan Mishchenko2013-09-041-1/+1
|
* Added Python API status_get_vector() similar to cex_get_vector().Alan Mishchenko2013-09-043-0/+34
|
* 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-024-64/+4
|
* Removing some old useless code.Alan Mishchenko2013-09-0211-832/+20
|
* Adding interpolant computation sat_solver2.Alan Mishchenko2013-09-021-0/+242
|
* Adding interpolant computation sat_solver2.Alan Mishchenko2013-09-027-12/+48
|
* 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
|
* Adding new line (\n) after 'c' at the beginning of the comment section in ↵Alan Mishchenko2013-08-291-1/+4
| | | | AIGER format.
* Buf fixes and minor changes to the &if mapper.Alan Mishchenko2013-08-292-4/+29
|
* Buf fixes and minor changes to the &if mapper.Alan Mishchenko2013-08-294-5/+19
|
* Adding procedures to specify permutations with unused flops.Alan Mishchenko2013-08-284-3/+79
|
* Added switch &sim -g to enable flop grouping.Alan Mishchenko2013-08-201-16/+6
|
* Added switch &sim -g to enable flop grouping.Alan Mishchenko2013-08-205-3/+81
|
* Adding code to count statistics about decomposable LUT5.Alan Mishchenko2013-08-183-0/+12
|
* Extending 'permute' to handle user-specified flop permutation.Alan Mishchenko2013-08-165-16/+84
|
* Small changes to compile on Mac.Alan Mishchenko2013-08-152-2/+6
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 13:03:27 +0000