summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Expand)AuthorAgeFilesLines
* Dumping equivalences after SAT sweeping.Alan Mishchenko2022-06-261-0/+8
* Supporting new resub problem format.Alan Mishchenko2022-06-022-0/+20
* Fix compile error on targets with unsigned charAnton Blanchard2022-02-181-1/+1
* 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-223-15/+39
* 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-305-4/+150
* Other compiler changes.Alan Mishchenko2021-09-265-2/+31
* Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.Alan Mishchenko2021-09-261-7/+7
* Various changes.Alan Mishchenko2021-09-262-0/+104
* Various changes.Alan Mishchenko2021-09-214-1/+149
* Improving MiniAIG and name manager.Alan Mishchenko2021-09-162-0/+41
* Various changes.Alan Mishchenko2021-09-142-0/+29
* Various changes.Alan Mishchenko2021-09-041-5/+8
* Various changes.Alan Mishchenko2021-09-026-1/+61
* Experiments with LUT mapping for small functions.Alan Mishchenko2021-08-021-1/+55
* Experiments with LUT mapping for small functions.Alan Mishchenko2021-08-011-1/+1
* Experiments with LUT mapping for small functions.Alan Mishchenko2021-08-011-25/+42
* Experimental simulation commands.Alan Mishchenko2021-07-251-1/+1
* Experiments with LUT mapping for small functions.Alan Mishchenko2021-07-132-0/+45
* Experiments with LUT mapping for small functions.Alan Mishchenko2021-06-191-0/+49
* Updating LUT synthesis code.Alan Mishchenko2021-05-111-11/+14
* Updating LUT synthesis code.Alan Mishchenko2021-05-081-0/+57
* Experiments with simulation.Alan Mishchenko2020-12-301-0/+12
* Compiler warnings.Alan Mishchenko2020-12-211-1/+1
* 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-032-0/+154
* Various changes.Alan Mishchenko2020-03-291-0/+6
* Various changes.Alan Mishchenko2020-03-282-5/+15
* Experiments with simulation-based engines.Alan Mishchenko2020-03-251-0/+17
* Experiments with simulation-based engines.Alan Mishchenko2020-03-223-60/+66
* Various changes.Alan Mishchenko2020-03-211-0/+8
* Downgrading random number generator to be not inlined.Alan Mishchenko2020-03-182-24/+37
* Updating and extending simulation data structures.Alan Mishchenko2020-03-052-0/+14
* Adding several new utilities.Alan Mishchenko2020-01-272-0/+107
* Allowing nodes and boxes to have more than 6 inputs in mfs2 and &mfs.Alan Mishchenko2020-01-071-1/+1
* Adding macro to disable bridge output and APIs by popular demand.Alan Mishchenko2019-11-092-10/+229
* Adding switch to &if to consider special type of 6-input cuts.Alan Mishchenko2019-09-261-0/+7
* Making &mfs work with boxes larger than 6 inputs. Adding option &if -w to pri...Alan Mishchenko2019-09-191-1/+1
* Updating command 'symfun' to generate symmetric functions and their NPN classes.Alan Mishchenko2019-05-301-1/+26
* Changes to the interface of &cfs.Alan Mishchenko2019-05-211-1/+1
* Changes to the interface of &cfs.Alan Mishchenko2019-05-151-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-25 23:44:59 +0000