summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Expand)AuthorAgeFilesLines
...
* 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, memcpy,...Alan Mishchenko2019-03-0521-55/+55
* 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
* Add an option to use C99 stdint.hRobert Ou2018-03-262-0/+56
* Updating &mfs to support hard objects.Alan Mishchenko2018-03-231-0/+30
* C++ comaptibility: add namespace support to GlucoseBaruch Sterin2017-11-231-0/+6
* Supporting XOR in EQN parser.Alan Mishchenko2017-11-031-2/+9
* Another variation on exact synthesis.Alan Mishchenko2017-10-111-1/+1
* Improvements to truth table manipulation.Alan Mishchenko2017-10-051-98/+37
* Updates and bug fixes.Alan Mishchenko2017-10-041-0/+3
* Addressing recently reported Bitbucket Issue #72 and #73.Alan Mishchenko2017-10-031-5/+5
* Exact synthesis of majority gates.Alan Mishchenko2017-10-011-8/+32
* Exact synthesis of majority gates.Alan Mishchenko2017-10-011-1/+214
* Maintenance and updates.Alan Mishchenko2017-09-181-0/+82
* bridge relates: (1) fix netlist reader to read the latest version written by ...Baruch Sterin2017-09-151-0/+11
* Handling corner cases in TT print-out.Alan Mishchenko2017-07-211-0/+4
* Using arch macro for moderns compilersBruno Schmitt2017-07-041-5/+5
* Compiler warnings.Alan Mishchenko2017-04-281-4/+4
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-15 19:05:38 +0000