summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Expand)AuthorAgeFilesLines
* New ISOP computation.Alan Mishchenko2014-10-071-36/+196
* New ISOP computation.Alan Mishchenko2014-10-042-0/+522
* Improvements to bit-blaster.Alan Mishchenko2014-09-301-0/+2
* Extending resource limit.Alan Mishchenko2014-09-201-2/+2
* Tuning the flow scripts.Alan Mishchenko2014-09-201-0/+1
* Improvements to Boolean matching.Alan Mishchenko2014-09-191-0/+69
* Improvements to Boolean matching.Alan Mishchenko2014-09-161-0/+14
* New word-level representation package.Alan Mishchenko2014-09-121-0/+29
* Improvements to the timing manager.Alan Mishchenko2014-08-252-3/+8
* Propagating timing support to the new synthesis/mapping commands.Alan Mishchenko2014-08-202-2/+2
* Bug fix in &fraig -L <num>.Alan Mishchenko2014-08-121-0/+11
* Compiler warnings.Alan Mishchenko2014-08-041-0/+53
* Profiling code for SOP/DSD/LMS balancing.Alan Mishchenko2014-08-021-0/+87
* Small changes in several packages.Alan Mishchenko2014-07-171-0/+8
* Changes and improvements to different packages.Alan Mishchenko2014-06-301-0/+25
* Changes and improvements to different packages.Alan Mishchenko2014-06-262-4/+18
* Improvements to CNF generation.Alan Mishchenko2014-06-231-1/+0
* Improvements to CNF generation.Alan Mishchenko2014-06-231-0/+250
* Experiments with MUX profiling.Alan Mishchenko2014-06-192-2/+48
* Experiments with CNF generation.Alan Mishchenko2014-06-181-5/+8
* Various changes to enable better CNF generation.Alan Mishchenko2014-06-173-155/+141
* Added transformation of CEX after 'fix_aig' and checking of transformed CEXes...Alan Mishchenko2014-06-172-0/+40
* Specializing some truth-table functions to 6 inputs.Alan Mishchenko2014-06-141-57/+99
* Various modifications.Alan Mishchenko2014-06-101-1/+1
* Various modifications.Alan Mishchenko2014-06-102-3/+12
* Compiler warnings.Alan Mishchenko2014-05-291-3/+3
* Fixing the problem with 'phase -c'.Alan Mishchenko2014-05-292-4/+4
* Experiment with support minimization.Alan Mishchenko2014-05-271-57/+442
* Experiment with support minimization.Alan Mishchenko2014-05-221-2/+3
* Experiment with support minimization.Alan Mishchenko2014-05-221-5/+53
* Experiment with support minimization.Alan Mishchenko2014-05-211-1/+1
* Simple version of ECO.Alan Mishchenko2014-05-211-4/+19
* Experiment with support minimization.Alan Mishchenko2014-05-212-0/+227
* Exploration of functions.Alan Mishchenko2014-04-301-1/+1
* Exploration of functions.Alan Mishchenko2014-04-301-114/+144
* Exploration of functions.Alan Mishchenko2014-04-291-1/+24
* Exploration of functions.Alan Mishchenko2014-04-281-0/+204
* Exploration of functions.Alan Mishchenko2014-04-261-2/+65
* Exploration of functions.Alan Mishchenko2014-04-261-3/+5
* Exploration of functions.Alan Mishchenko2014-04-262-0/+359
* Experiments with permutations.Alan Mishchenko2014-04-241-49/+92
* Experiments with permutations.Alan Mishchenko2014-04-241-1/+80
* Experiments with permutations.Alan Mishchenko2014-04-231-12/+5
* Experiments with permutations.Alan Mishchenko2014-04-231-6/+17
* Experiments with permutations.Alan Mishchenko2014-04-232-0/+36
* Experiments with permutations.Alan Mishchenko2014-04-231-3/+3
* Experiments with permutations.Alan Mishchenko2014-04-231-22/+10
* Experiments with permutations.Alan Mishchenko2014-04-231-15/+13
* Experiments with permutations.Alan Mishchenko2014-04-231-3/+3
* Experiments with permutations.Alan Mishchenko2014-04-231-53/+110
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 21:59:24 +0000