summaryrefslogtreecommitdiffstats
path: root/src/misc/vec
Commit message (Expand)AuthorAgeFilesLines
* Various changes.Alan Mishchenko2021-09-142-0/+29
* Various changes.Alan Mishchenko2021-09-022-0/+42
* Experimental simulation commands.Alan Mishchenko2021-07-251-1/+1
* Experiments with LUT mapping for small functions.Alan Mishchenko2021-07-132-0/+45
* Updating LUT synthesis code.Alan Mishchenko2021-05-111-11/+14
* Updating LUT synthesis code.Alan Mishchenko2021-05-081-0/+57
* Improving MFFC computation code.Alan Mishchenko2020-09-171-0/+20
* Experiments with iterative synthesis.Alan Mishchenko2020-09-131-0/+20
* Extending &sim_read to use non-64-divisible pattern counts.Alan Mishchenko2020-08-121-3/+13
* Experimental resubstitution.Alan Mishchenko2020-05-152-0/+121
* Experimental resubstitution.Alan Mishchenko2020-05-081-0/+6
* Experimental resubstitution.Alan Mishchenko2020-05-031-0/+8
* Various changes.Alan Mishchenko2020-03-211-0/+8
* Updating and extending simulation data structures.Alan Mishchenko2020-03-051-0/+7
* Adding several new utilities.Alan Mishchenko2020-01-271-0/+5
* Adding switch to &if to consider special type of 6-input cuts.Alan Mishchenko2019-09-261-0/+7
* Fixing some more warnings by adding cast from 'int' to 'size_t'.Alan Mishchenko2019-03-0512-50/+50
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...Alan Mishchenko2019-03-057-28/+28
* Experiments with retiming (adding new APIs).Alan Mishchenko2018-12-091-0/+7
* Hash table profiling.Alan Mishchenko2018-09-081-0/+14
* Fix to prevent undefined behavior.Alan Mishchenko2018-05-191-2/+2
* Compiler warnings.Alan Mishchenko2017-04-281-4/+4
* Compiler warnings.Alan Mishchenko2017-04-281-1/+1
* Experiments with hashing.Alan Mishchenko2017-04-111-0/+135
* Experiments with hashing.Alan Mishchenko2017-04-081-1/+18
* Bug fix in hashing.Alan Mishchenko2017-03-311-1/+5
* Experiments with new network data-structure.Alan Mishchenko2017-03-201-0/+2
* Updates to arithmetic verification.Alan Mishchenko2017-01-151-0/+12
* Updates to arithmetic verification.Alan Mishchenko2017-01-142-0/+35
* Compiler warnings.Alan Mishchenko2016-12-311-1/+1
* Factoring out library preprocessing code in &nf and putting it elsewhere.Alan Mishchenko2016-05-161-0/+2
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-071-0/+27
* Experiments with arithmetic circuits.Alan Mishchenko2016-04-281-0/+7
* Command &esop to convert AIG into ESOP.Alan Mishchenko2016-04-092-0/+40
* Changes for delay-oriented computation.Alan Mishchenko2015-10-241-1/+1
* Experiments with LUT structure mapping.Alan Mishchenko2015-09-271-0/+40
* Improvements to Scl_Lib/SC_Cell data-structure.Alan Mishchenko2015-09-241-0/+8
* New constraint manager and memory reporting 'ps'.Alan Mishchenko2015-09-081-0/+12
* Bug fix in Vec_IntInsert() and a couple of new APIs.Alan Mishchenko2015-08-262-1/+16
* Improvements to Cba data-structure.Alan Mishchenko2015-08-091-5/+18
* Improvements to Cba data-structure.Alan Mishchenko2015-08-091-2/+16
* Improvements to Cba data-structure.Alan Mishchenko2015-08-081-0/+41
* Updates to the Cba data-structure.Alan Mishchenko2015-07-251-1/+1
* Renaming Cba into Bac.Alan Mishchenko2015-07-211-0/+21
* Print-out for char arrays.Alan Mishchenko2015-07-121-2/+2
* Print-out for char arrays.Alan Mishchenko2015-07-121-0/+20
* Scalable SOP manipulation package.Alan Mishchenko2015-03-234-1/+79
* Scalable SOP manipulation package.Alan Mishchenko2015-03-181-0/+8
* Improvements to the CBA package.Alan Mishchenko2015-03-011-0/+33
* Experiments with cube hashing.Alan Mishchenko2015-02-271-0/+25