summaryrefslogtreecommitdiffstats
path: root/src/misc/vec
Commit message (Expand)AuthorAgeFilesLines
* 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
* Adding binary dump to CBA.Alan Mishchenko2015-02-051-0/+7
* Major rehash of the CBA code.Alan Mishchenko2015-01-312-1/+55
* New assertions and bug fix in DSD balancing.Alan Mishchenko2015-01-276-0/+60
* Changing memory model of Cba_Ntk_t.Alan Mishchenko2015-01-102-0/+22
* Changes to the parser.Alan Mishchenko2014-12-031-0/+12
* New parser and framework.Alan Mishchenko2014-11-291-0/+42
* Improvements to word-level network package.Alan Mishchenko2014-11-141-0/+8
* Preparing to work with C++ code.Alan Mishchenko2014-10-211-1/+1
* Improved QBF solver.Alan Mishchenko2014-10-181-0/+6
* Bug fix in truth table computation.Alan Mishchenko2014-10-151-0/+6
* Recommended changes for portability.Alan Mishchenko2014-10-121-2/+2
* Suggested patch for type-punned warningsAlan Mishchenko2014-10-101-1/+8
* Tuning the flow scripts.Alan Mishchenko2014-09-201-0/+1
* Bug fix in &fraig -L <num>.Alan Mishchenko2014-08-121-0/+11
* Small changes in several packages.Alan Mishchenko2014-07-171-0/+8
* Changes and improvements to different packages.Alan Mishchenko2014-06-261-4/+15
* Experiments with MUX profiling.Alan Mishchenko2014-06-192-2/+48
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-17 17:05:09 +0000