summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | Disable cube-sort when deriving SOPs.Alan Mishchenko2021-05-1111-21/+31
* | Updating LUT synthesis code.Alan Mishchenko2021-05-115-46/+301
* | Updating LUT synthesis code.Alan Mishchenko2021-05-084-2/+220
* | Fixing mismatch in &cec -x which should return undecided rather than non-equi...Alan Mishchenko2021-05-081-1/+1
* | Updating cost function in &save/&load.Alan Mishchenko2021-05-081-1/+1
* | Updating cost function in &save/&load.Alan Mishchenko2021-05-082-8/+31
* | Bug fix in &blut.Alan Mishchenko2021-05-081-8/+14
* | Experiments with LUT mapping for small functions.Alan Mishchenko2021-05-014-4/+226
* | Making sure read_bench can read nodes up to 15 inputs.Alan Mishchenko2021-04-302-5/+6
* | Several changes for standard mapping.Alan Mishchenko2021-04-283-5/+18
* | Upgrade to the circuit-based solver.Alan Mishchenko2021-04-2712-367/+686
* | Passing node labels.Alan Mishchenko2021-04-263-0/+10
* | Computing sum of PO support sizes.Alan Mishchenko2021-04-092-1/+61
* | Making default value (-M 0) work correctly in &mfs.Alan Mishchenko2021-04-071-6/+6
* | An option to extend the number of primary inputs.Alan Mishchenko2021-03-283-3/+65
* | Compiler warnings.Alan Mishchenko2021-03-281-3/+3
* | Compiler warnings.Alan Mishchenko2021-03-281-3/+4
* | Command &iwls21test for evaluating the results of 2021 IWLS Contest.Alan Mishchenko2021-03-284-0/+613
* | Adding a random seed to control randomness in 'permute' (correction).Alan Mishchenko2021-03-111-2/+2
* | Adding a random seed to control randomness in 'permute'.Alan Mishchenko2021-03-111-2/+17
* | Modification suggested by David Geiger to fix an obscure memory problem.Alan Mishchenko2021-02-031-1/+1
* | Updating the mapper when user-specific matching is used.Alan Mishchenko2021-01-091-0/+12
* | Preventing command history from being overwritten by internal scripts.Alan Mishchenko2021-01-095-4/+26
* | Experiments with simulation.Alan Mishchenko2021-01-011-27/+24
* | Experiments with simulation.Alan Mishchenko2020-12-305-3/+378
* | Integrating Glucose into &sat.Alan Mishchenko2020-12-212-52/+138
* | Compiler warnings.Alan Mishchenko2020-12-215-3/+42
* | Adding solver type in &sat.Alan Mishchenko2020-12-166-4/+582
* | Adding generation of combinational speculative miters.Alan Mishchenko2020-12-162-7/+30
* | Adding switch to replace proved outputs by const0.Alan Mishchenko2020-12-1610-17/+86
* | Deriving equivalent nets from proved equivalences.Alan Mishchenko2020-12-091-1/+28
* | Adding timeout to several commands.Alan Mishchenko2020-12-074-20/+53
* | Deriving structural choices from proved equivalences.Alan Mishchenko2020-12-071-0/+111
* | Corner case bug fix in &cec.Alan Mishchenko2020-12-021-2/+2
* | Added switch -y to control blasting divide-by-zero condition.Alan Mishchenko2020-11-293-3/+9
* | Window resub testing.Alan Mishchenko2020-11-291-0/+64
* | Renaming one command.Alan Mishchenko2020-11-231-3/+3
* | Added an option to keep PI/PO names unchanged in 'short_names'.Alan Mishchenko2020-11-223-4/+23
* | Passing conflict limit to &cec.Alan Mishchenko2020-11-222-3/+4
* | Removing unused printouts.Alan Mishchenko2020-11-222-3/+2
* | Fixing a memory corruption problem accidentally introduced by fixing memory l...Alan Mishchenko2020-11-211-2/+2
* | Integration with several commands.Alan Mishchenko2020-11-198-23/+119
* | Makefile: support ccache for compiling ABC.Baruch Sterin2020-11-191-3/+3
* | Improvements to the SAT sweeper.Alan Mishchenko2020-11-161-12/+52
* | Extending sweeper to handle XORs.Alan Mishchenko2020-11-164-276/+260
* | Experiments with MFFC computation.Alan Mishchenko2020-11-161-42/+108
* | Experiments with MFFC computation (bug fix).Alan Mishchenko2020-11-152-3/+3
* | Experiments with MFFC computation.Alan Mishchenko2020-11-154-1/+228
* | Extending sweeper to handle XORs.Alan Mishchenko2020-11-156-38/+255
* | Improvements to the SAT sweeper (bug fix).Alan Mishchenko2020-11-152-2/+2
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-05 09:08:30 +0000