summaryrefslogtreecommitdiffstats
path: root/src/misc/vec
Commit message (Expand)AuthorAgeFilesLines
* Dumping equivalences after SAT sweeping.Alan Mishchenko2022-06-261-0/+8
* Supporting new resub problem format.Alan Mishchenko2022-06-021-0/+2
* Bug fix and new procedures.Alan Mishchenko2021-11-021-4/+4
* Bug fix and new procedures.Alan Mishchenko2021-11-021-0/+64
* Various changes.Alan Mishchenko2021-10-222-0/+24
* Experiments with pattern generation.Alan Mishchenko2021-10-101-0/+77
* New command &stochsyn for stochastic synthesis.Alan Mishchenko2021-10-071-0/+9
* Various changes.Alan Mishchenko2021-10-061-0/+5
* Compiler warnings.Alan Mishchenko2021-09-301-3/+3
* Various changes.Alan Mishchenko2021-09-304-0/+106
* Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.Alan Mishchenko2021-09-261-7/+7
* Various changes.Alan Mishchenko2021-09-211-0/+46
* 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