| .. |
|
gia.c
|
Command &iwls21test for evaluating the results of 2021 IWLS Contest.
|
2021-03-28 14:49:27 -10:00 |
|
gia.h
|
Various changes.
|
2021-10-22 00:00:01 -07:00 |
|
giaAgi.c
|
Fixing some update gcc.
|
2019-07-24 11:44:28 +07:00 |
|
giaAig.c
|
Rare bug fix in mapping with choices.
|
2020-10-29 17:21:37 -07:00 |
|
giaAig.h
|
Creating dedicated choice representation for GIA.
|
2012-10-24 12:22:46 -07:00 |
|
giaAiger.c
|
Bug fix and new procedures.
|
2021-11-02 20:28:01 -07:00 |
|
giaAigerExt.c
|
Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc.
|
2019-03-05 15:57:50 -08:00 |
|
giaBalAig.c
|
Various changes.
|
2020-03-21 14:02:54 -07:00 |
|
giaBalLut.c
|
Various changes.
|
2020-03-21 14:02:54 -07:00 |
|
giaBalMap.c
|
Code restructuring.
|
2014-09-16 12:13:25 -07:00 |
|
giaBidec.c
|
Adding a wrapper around clock() for more accurate time counting in ABC.
|
2013-05-27 15:09:23 -07:00 |
|
giaCCof.c
|
Adding switch to handle only single faults.
|
2014-04-01 11:53:08 -07:00 |
|
giaCSat.c
|
Adding switch to replace proved outputs by const0.
|
2020-12-16 00:06:31 -08:00 |
|
giaCSat2.c
|
Improving simulation patterns by local search.
|
2020-04-17 18:56:12 -07:00 |
|
giaCSat3.c
|
Experiments with SAT solving.
|
2021-10-09 15:16:18 -07:00 |
|
giaCSatOld.c
|
Compiler warnings.
|
2017-07-22 11:41:17 +07:00 |
|
giaCTas.c
|
Compiler warnings.
|
2017-07-22 11:41:17 +07:00 |
|
giaCTas2.c
|
Fixing time primtouts throughout the code.
|
2012-07-07 17:46:54 -07:00 |
|
giaCex.c
|
Integrating SAT-based CEX minimization (bug fix).
|
2018-03-25 18:19:06 -07:00 |
|
giaClp.c
|
Changes to be able to compile ABC without CUDD.
|
2015-08-24 20:55:07 -07:00 |
|
giaCof.c
|
Improvements to profiling and printing statistics.
|
2014-07-09 20:22:51 -07:00 |
|
giaCone.c
|
Adding a wrapper around clock() for more accurate time counting in ABC.
|
2013-05-27 15:09:23 -07:00 |
|
giaConstr.c
|
initial commit of public abc
|
2010-11-01 01:35:04 -07:00 |
|
giaCut.c
|
Experiments with cut computation.
|
2021-06-08 11:39:42 -07:00 |
|
giaDecs.c
|
Various changes.
|
2021-09-30 18:02:33 -07:00 |
|
giaDeep.c
|
Adding input/output/flop name reading in command &r.
|
2021-08-22 20:05:15 -07:00 |
|
giaDfs.c
|
Experiment with structural similarity.
|
2020-07-16 20:33:03 -07:00 |
|
giaDup.c
|
Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.
|
2021-09-26 11:30:54 -07:00 |
|
giaEdge.c
|
Experiments with edge-based mapping.
|
2016-06-29 15:29:24 -07:00 |
|
giaEmbed.c
|
Other compiler changes.
|
2021-09-26 11:58:42 -07:00 |
|
giaEnable.c
|
Compiler warnings.
|
2017-07-22 11:41:17 +07:00 |
|
giaEquiv.c
|
Adding switch to replace proved outputs by const0.
|
2020-12-16 00:06:31 -08:00 |
|
giaEra.c
|
Adding a wrapper around clock() for more accurate time counting in ABC.
|
2013-05-27 15:09:23 -07:00 |
|
giaEra2.c
|
Correction to the patch to compile with Visual Studio.
|
2014-10-10 09:41:07 -07:00 |
|
giaEsop.c
|
Two small fixes.
|
2017-04-24 08:52:12 -07:00 |
|
giaExist.c
|
Improvements to AIG-based quantification.
|
2017-11-26 14:41:05 -08:00 |
|
giaFalse.c
|
Adding switch &w -n to modify the comment section of the AIGER file written.
|
2018-11-21 13:12:01 -08:00 |
|
giaFanout.c
|
Experiments with MFFC computation.
|
2020-11-15 21:06:58 -08:00 |
|
giaForce.c
|
Adding a wrapper around clock() for more accurate time counting in ABC.
|
2013-05-27 15:09:23 -07:00 |
|
giaFrames.c
|
Compiler warnings.
|
2017-07-22 11:41:17 +07:00 |
|
giaFront.c
|
Adding a wrapper around clock() for more accurate time counting in ABC.
|
2013-05-27 15:09:23 -07:00 |
|
giaFx.c
|
Correctly handling transfer of additional AIG info when AIG has no internal nodes.
|
2020-07-13 11:23:11 -07:00 |
|
giaGen.c
|
Updating LUT synthesis code.
|
2021-05-11 15:04:15 -07:00 |
|
giaGiarf.c
|
Enabled recording the name of the file GIA is coming from.
|
2012-09-04 13:52:42 -07:00 |
|
giaGig.c
|
Update to &show to show AIGs with XORs and MUXes (derived by &st -m).
|
2016-05-04 07:22:13 -07:00 |
|
giaGlitch.c
|
Adding command 'glitch' for glitch simulation.
|
2017-03-02 14:26:04 -08:00 |
|
giaHash.c
|
Support of pair-wise miter and other changes.
|
2021-08-22 13:05:28 -07:00 |
|
giaHcd.c
|
Adding switch &w -n to modify the comment section of the AIGER file written.
|
2018-11-21 13:12:01 -08:00 |
|
giaIf.c
|
Various changes.
|
2021-09-02 22:54:19 -07:00 |
|
giaIff.c
|
g++ compiler errors.
|
2014-02-25 07:58:23 -08:00 |
|
giaIiff.c
|
C++ compatibility: fix incompatible parameter list
|
2017-11-23 23:32:43 -08:00 |
|
giaIiff.h
|
Adding API to dump MiniAIG into a Verilog file and other small changes.
|
2017-10-22 15:44:13 -07:00 |
|
giaIso.c
|
Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.
|
2021-09-26 11:30:54 -07:00 |
|
giaIso2.c
|
Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.
|
2021-09-26 11:30:54 -07:00 |
|
giaIso3.c
|
Fixing new resub code.
|
2020-07-20 19:52:45 -07:00 |
|
giaJf.c
|
Fixing non-reproducability related to floating-point numbers.
|
2017-01-27 15:22:23 -08:00 |
|
giaKf.c
|
Compiler warnings.
|
2017-01-07 08:57:08 +07:00 |
|
giaLf.c
|
Fixing float overflow during area-flow computation in &lf.
|
2018-12-13 08:49:00 -08:00 |
|
giaMan.c
|
Various changes.
|
2021-10-22 00:00:01 -07:00 |
|
giaMem.c
|
initial commit of public abc
|
2010-11-01 01:35:04 -07:00 |
|
giaMf.c
|
Experiments with MFFC computation.
|
2020-11-16 07:12:26 -08:00 |
|
giaMffc.c
|
Added DSD-based collapsing &dsd.
|
2014-08-16 11:54:49 -07:00 |
|
giaMfs.c
|
&sweep and &mfs to preserve nAnd2Delay
|
2020-01-27 13:02:57 -08:00 |
|
giaMinLut.c
|
Bug fix in logic optimization.
|
2021-09-06 11:40:29 -07:00 |
|
giaMinLut2.c
|
Experiments with LUT mapping for small functions.
|
2021-08-02 16:48:52 -07:00 |
|
giaMini.c
|
New API for external calls.
|
2021-10-26 16:58:59 -07:00 |
|
giaMuxes.c
|
New AIG restructuring feature.
|
2020-04-23 15:33:49 -07:00 |
|
giaNf.c
|
Disabling unused feature in &nf.
|
2018-06-04 11:01:39 -07:00 |
|
giaOf.c
|
Supporting edges in delay-optimization in &satlut.
|
2016-04-07 13:20:41 -07:00 |
|
giaPack.c
|
Naive LUT packing algorithm (command &pack).
|
2015-09-30 20:21:40 -07:00 |
|
giaPat.c
|
Major restructuring of the code.
|
2012-01-21 04:30:10 -08:00 |
|
giaPat2.c
|
Bug fix and new procedures.
|
2021-11-02 20:28:01 -07:00 |
|
giaPf.c
|
Updating canonical form computation procedures (compiler warnings).
|
2019-03-05 21:59:43 -08:00 |
|
giaProp.c
|
initial commit of public abc
|
2010-11-01 01:35:04 -07:00 |
|
giaQbf.c
|
QBF-based code generation (extending beyond 32 bits).
|
2020-04-13 17:02:22 -07:00 |
|
giaReshape1.c
|
Adding command &reshape.
|
2021-09-21 10:50:10 -07:00 |
|
giaReshape2.c
|
Adding command &reshape.
|
2021-09-21 10:50:10 -07:00 |
|
giaResub.c
|
Various changes.
|
2021-09-30 18:02:33 -07:00 |
|
giaResub2.c
|
Several unrelated changes.
|
2021-07-15 18:23:04 -07:00 |
|
giaResub3.c
|
Adding place holder file for resub experiments.
|
2021-06-24 19:18:28 -07:00 |
|
giaRetime.c
|
Adding a wrapper around clock() for more accurate time counting in ABC.
|
2013-05-27 15:09:23 -07:00 |
|
giaRex.c
|
Exploring other ways of CEX writing.
|
2019-01-21 14:57:05 -08:00 |
|
giaSat.c
|
Renamed reference counting APIs in GIA package.
|
2012-10-02 20:20:46 -07:00 |
|
giaSat3.c
|
Clone of the main SAT solver to eneable independent work.
|
2017-03-03 15:16:05 -08:00 |
|
giaSatEdge.c
|
Not calling a changed API until it is fixed.
|
2017-06-27 12:44:33 -07:00 |
|
giaSatLE.c
|
Not calling a changed API until it is fixed.
|
2017-06-27 12:44:33 -07:00 |
|
giaSatLut.c
|
Invalidate packing after mapping is updated.
|
2016-05-09 11:25:26 -07:00 |
|
giaSatMap.c
|
Minor bug fixes.
|
2016-11-21 11:52:50 -08:00 |
|
giaSatoko.c
|
Adding support for Dimacs input to &satoko.
|
2017-09-16 13:13:30 -07:00 |
|
giaScl.c
|
Integrating barrier buffers.
|
2014-12-11 11:14:04 -08:00 |
|
giaScript.c
|
Fixing a memory corruption problem accidentally introduced by fixing memory leaks on Sep 28.
|
2020-11-21 09:52:08 -10:00 |
|
giaShow.c
|
Experiments with don't-cares.
|
2017-04-08 14:35:29 -07:00 |
|
giaShrink.c
|
Imporvements to 'eliminate'.
|
2013-07-16 16:06:21 -07:00 |
|
giaShrink6.c
|
Suggested patch for type-punned warnings
|
2014-10-10 08:58:18 -07:00 |
|
giaShrink7.c
|
Moved the code to a different file.
|
2013-10-06 16:16:21 -07:00 |
|
giaSim.c
|
Experimental simulation commands.
|
2021-07-25 14:11:34 -07:00 |
|
giaSim2.c
|
Adding a wrapper around clock() for more accurate time counting in ABC.
|
2013-05-27 15:09:23 -07:00 |
|
giaSimBase.c
|
Various changes.
|
2021-10-22 00:00:01 -07:00 |
|
giaSort.c
|
Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc.
|
2019-03-05 15:57:50 -08:00 |
|
giaSpeedup.c
|
Bug fix in &trace.
|
2019-09-18 19:11:52 -07:00 |
|
giaSplit.c
|
Improvements to delay-optimization in &satlut.
|
2016-04-04 14:27:14 -07:00 |
|
giaStg.c
|
Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc.
|
2019-03-05 15:57:50 -08:00 |
|
giaStoch.c
|
Various changes.
|
2021-10-22 00:00:01 -07:00 |
|
giaStr.c
|
Temporary fix to a &blut problem.
|
2021-11-07 21:15:03 -08:00 |
|
giaSupMin.c
|
Updating project settings to have simpler include paths.
|
2012-07-07 20:14:12 -07:00 |
|
giaSupp.c
|
Fixing bronken C++ build; Satoko internal header, solver.h, should not be used in other packages
|
2017-08-29 09:40:51 +02:00 |
|
giaSupps.c
|
Various changes.
|
2021-09-30 18:02:33 -07:00 |
|
giaSweep.c
|
Fix typo
|
2021-10-26 09:36:25 +02:00 |
|
giaSweeper.c
|
Adding switch &w -n to modify the comment section of the AIGER file written.
|
2018-11-21 13:12:01 -08:00 |
|
giaSwitch.c
|
Compiler warnings.
|
2017-07-22 11:41:17 +07:00 |
|
giaTim.c
|
Bug fix in collapsing with boxes.
|
2019-12-17 14:57:46 -08:00 |
|
giaTis.c
|
Exploration of MFFCs.
|
2014-04-26 13:14:38 -07:00 |
|
giaTruth.c
|
Experiments with LUT mapping for small functions.
|
2021-06-19 19:26:41 -07:00 |
|
giaTsim.c
|
Adding a wrapper around clock() for more accurate time counting in ABC.
|
2013-05-27 15:09:23 -07:00 |
|
giaUnate.c
|
Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc.
|
2019-03-05 15:57:50 -08:00 |
|
giaUtil.c
|
Compiler warnings.
|
2021-08-23 19:56:26 -07:00 |
|
module.make
|
Experiments with pattern generation.
|
2021-10-10 14:43:19 -07:00 |
9b245d9f69