summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Collapse)AuthorAgeFilesLines
* 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 ↵Alan Mishchenko2019-09-191-1/+1
| | | | print delay profile.
* 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
|
* Modifying 'write_truth' to dump truth table in hex.Alan Mishchenko2019-05-072-0/+19
|
* Fix index of delay tables created by %blast.Alan Mishchenko2019-04-161-1/+1
|
* Extending generic simulation APIs.Alan Mishchenko2019-04-091-1/+1
|
* Extending simulation interface.Alan Mishchenko2019-03-281-1/+1
|
* Adding new command line args.Alan Mishchenko2019-03-131-1/+1
|
* Fixing some more warnings by adding cast from 'int' to 'size_t'.Alan Mishchenko2019-03-0515-73/+73
|
* Fixing several other type conversion warnings.Alan Mishchenko2019-03-051-8/+8
|
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵Alan Mishchenko2019-03-0521-55/+55
| | | | memcpy, etc.
* Suggested white-space changes for fewer gcc warnings.Alan Mishchenko2019-03-041-1/+3
|
* Adding new switch to simulation.Alan Mishchenko2019-01-292-2/+2
|
* Adding new switch to simulation.Alan Mishchenko2019-01-291-1/+1
|
* Changing default parameter values in the AIG generation code.Alan Mishchenko2019-01-181-1/+1
|
* Procedures to generate constant-argument multipliers.Alan Mishchenko2019-01-151-1/+1
|
* Procedure to trasnsform counter-examples.Alan Mishchenko2019-01-151-3/+3
|
* Procedures to generate constant-argument multipliers.Alan Mishchenko2019-01-154-3/+121
|
* Procedures to generate constant-argument multipliers.Alan Mishchenko2019-01-091-0/+1
|
* Procedures to generate constant-argument multipliers.Alan Mishchenko2019-01-092-21/+66
|
* Procedures to generate constant-argument multipliers.Alan Mishchenko2019-01-082-0/+302
|
* Experiments with retiming (adding new APIs).Alan Mishchenko2018-12-091-0/+7
|
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-212-3/+3
|
* Various usability changes (second round).Alan Mishchenko2018-11-201-0/+3
|
* extraUtilPerm: Abc_ZddDiff.Heinz Riener2018-10-211-1/+1
|
* New APIs of the truth table package.Alan Mishchenko2018-09-211-0/+28
|
* Hash table profiling.Alan Mishchenko2018-09-081-0/+14
|
* Expriments with functions (bug fixes).Alan Mishchenko2018-09-071-1/+1
|
* Updating command 'majgen'.Alan Mishchenko2018-07-041-13/+15
|
* Updating command 'majgen'.Alan Mishchenko2018-07-041-72/+21
|
* Adding command 'majgen'.Alan Mishchenko2018-07-045-0/+523
|
* Path enumeration using SAT.Alan Mishchenko2018-06-201-0/+84
|
* Experiments with path enumeration.Alan Mishchenko2018-06-101-5/+413
|
* Experiments with path enumeration.Alan Mishchenko2018-06-062-0/+116
|
* Simple BDD package.Alan Mishchenko2018-05-231-0/+395
|
* Simple BDD package.Alan Mishchenko2018-05-231-0/+1
|
* Fix to prevent undefined behavior.Alan Mishchenko2018-05-191-2/+2
|
* Rename new flag to ABC_USE_STDINT_HRobert Ou2018-03-292-7/+7
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 20:45:09 +0000