summaryrefslogtreecommitdiffstats
path: root/src/misc/vec
Commit message (Collapse)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, ↵Alan Mishchenko2019-03-057-28/+28
| | | | memcpy, etc.
* 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
|