summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* | Fixing new resub code.Alan Mishchenko2020-07-202-122/+215
| |
* | Experiment with structural similarity.Alan Mishchenko2020-07-166-0/+220
| |
* | Correctly handling transfer of additional AIG info when AIG has no internal ↵Alan Mishchenko2020-07-132-4/+20
| | | | | | | | nodes.
* | Fixing commands 'putontop' and 'topmost'; adding command 'bottommost'.Alan Mishchenko2020-07-112-16/+171
| |
* | Adding new resub code.Alan Mishchenko2020-07-083-0/+584
| |
* | Bug fix in &cec (properly updating the status after the corner case bug fix\).Alan Mishchenko2020-06-241-0/+1
| |
* | Bug fix in &cec (handling the case when the miter is disproved by the all-0 ↵Alan Mishchenko2020-06-241-5/+23
| | | | | | | | pattern).
* | Compiler error.Alan Mishchenko2020-06-041-4/+4
| |
* | Experimental simulation.Alan Mishchenko2020-06-042-10/+73
| |
* | Experimental simulation.Alan Mishchenko2020-06-032-1/+100
| |
* | Dumping BDD variable order after 'clp'.Alan Mishchenko2020-05-186-10/+27
| |
* | Experimental resubstitution.Alan Mishchenko2020-05-157-263/+512
| |
* | Experimental resubstitution.Alan Mishchenko2020-05-131-67/+221
| |
* | Experimental resubstitution.Alan Mishchenko2020-05-111-4/+10
| |
* | Adding new utility procedures.Alan Mishchenko2020-05-116-45/+159
| |
* | Adding new utility procedures.Alan Mishchenko2020-05-103-9/+172
| |
* | Experimental resubstitution.Alan Mishchenko2020-05-082-37/+125
| |
* | Experimental resubstitution.Alan Mishchenko2020-05-071-35/+87
| |
* | Experimental resubstitution.Alan Mishchenko2020-05-072-233/+450
| |
* | Fixing the accidentally broken build.Alan Mishchenko2020-05-061-1/+0
| |
* | Experiment with permutations.Alan Mishchenko2020-05-031-1/+1
| |
* | Experiment with permutations.Alan Mishchenko2020-05-032-1/+97
| |
* | Compiler warnings and errors.Alan Mishchenko2020-05-034-8/+8
| |
* | Compiler warnings.Alan Mishchenko2020-05-032-2/+0
| |
* | Adding dumping of genlib library in Verilog.Alan Mishchenko2020-05-032-30/+30
| |
* | Adding dumping of genlib library in Verilog.Alan Mishchenko2020-05-031-1/+1
| |
* | Adding dumping of genlib library in Verilog.Alan Mishchenko2020-05-034-7/+110
| |
* | Experimental resubstitution.Alan Mishchenko2020-05-039-5/+1049
| |
| * Merge pull request #8 from cr1901/dep-ccachewhitequark2020-11-251-3/+3
| |\ | | | | | | Makefile: support ccache for compiling ABC.
| | * Makefile: support ccache for compiling ABC.Baruch Sterin2020-11-241-3/+3
| |/ | | | | | | Surround $(CC), $(CXX) with double quotes when calling depends.sh, to allow space-delimited compilation tools to be used.
| * Merge pull request #6 from whitequark/wasi-signalEddie Hung2020-06-222-8/+8
| |\ | | | | | | Add missing WASI platform support for signal.h
| | * Add WASI platform support to glucose.whitequark2020-06-221-8/+6
| | |
| | * Add WASI platform support to main.whitequark2020-06-221-0/+2
| |/
| * Remove ABC_NO_RLIMIT macro, use defined(__wasm) instead.whitequark2020-05-011-2/+2
| |
| * Add support for WASI platform in Util_SignalSystem.whitequark2020-05-011-0/+4
| |
| * Add support for WASI platform in Abc_ShowFile.whitequark2020-05-011-0/+8
| |
| * Add support for WASI platform in Gia_ManGnuplotShow.whitequark2020-05-011-0/+4
| |
| * Add support for WASI platform in cmdCheckShellEscape.whitequark2020-05-011-1/+4
| | | | | | | | | | Since cmdCheckShellEscape doesn't actually report failure in any way, this code simulates a situation where system() never succeeds.
| * Add support for WASI platform in tmpFile.whitequark2020-05-011-0/+11
| |
| * Makefile: break apart steps in `make clean`Sean Cross2020-05-011-1/+4
|/ | | | | | | | | | | | | | | | | | | | The `make clean` target consists of a single `rm` call that passes every generated file, object file, and dependency directory. This results in a command line that's around 53,800 characters long. On Linux, the maximum length of a command line is 131,072 or 262,144 characters, however on Windows the limit is 32,768. The 53,800 character command simply fails to run on Windows, which is a problem when the first command that gets run is `make clean`. Break this target into steps, first removing the output files, then the object files, then any generated garbage, and then the object depedency directories. This fixes `make clean` (and as a result yosys) on Windows. Signed-off-by: Sean Cross <sean@xobs.io>
* Merge pull request #58 from whitequark/patch-2alanminko2020-04-301-2/+3
|\ | | | | Allow changing the `ar` binary
| * Allow changing the `ar` binary.whitequark2020-04-301-2/+3
| | | | | | | | | | | | | | This is useful for cross-compilation, when build `ar` cannot handle the target object files. The invocation of `ranlib` is replaced with `ar s`, which is equivalent and simplifies the build system a bit.
* | Merge pull request #57 from whitequark/patch-1alanminko2020-04-301-2/+2
|\ \ | | | | | | Make use of setrlimit conditional on ABC_NO_RLIMIT
| * | Make use of setrlimit conditional on ABC_NO_RLIMIT.whitequark2020-04-301-2/+2
| |/ | | | | | | | | This is useful for POSIX-like platforms that do not have rlimit, such as WASI.
| * Gia_ManDupPermFlop to behave as Gia_ManDupPermEddie Hung2020-04-271-5/+7
| | | | | | | | Fixes sequential synthesis (e.g. &scl) for multiple domains
* | Merge pull request #65 from FPGeh/fix_seq_synthalanminko2020-04-301-5/+7
|\ \ | | | | | | Gia_ManDupPermFlop to behave as Gia_ManDupPerm
| * | Gia_ManDupPermFlop to behave as Gia_ManDupPermEddie Hung2020-01-231-5/+7
| | | | | | | | | | | | Fixes sequential synthesis (e.g. &scl) for multiple domains
* | | Adding new API to MiniAIG.Alan Mishchenko2020-04-291-2/+2
| | |
* | | Adding new API to MiniAIG.Alan Mishchenko2020-04-292-0/+210
| | |
* | | Bug fix in 'resub' to enable additional divisors, by Siang-Yun Lee.Alan Mishchenko2020-04-271-124/+368
| |/ |/|
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-07 03:58:29 +0000