summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Backing up node's truth-table to make sure it is not destroyed while ↵Alan Mishchenko2018-01-191-2/+4
| | | | deriving AIG.
* Fixed crash in &nf when there is no buffer gate.Alan Mishchenko2018-01-121-0/+5
|
* Merged in Fatsie/abc/liberty_value_expression (pull request #87)Alan Mishchenko2018-01-051-0/+12
|\ | | | | | | Allow expression in value in liberty file
| * Created new branch liberty_value_expressionStaf Verhaegen2018-01-040-0/+0
| |
| * Value of properties can be expression.Staf Verhaegen2018-01-031-0/+12
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Example found in the 2007.03 Liberty Reference Manual that was also found in the wild: input_voltage(CMOS) { vil : 0.3 * VDD ; vih : 0.7 * VDD ; vimin : -0.5 ; vimax : VDD + 0.5 ; } Current implementation just parses the expression but no interpretation is done.
* | New command 'testexact'.Alan Mishchenko2018-01-041-2/+2
| |
* | New command 'testexact'.Alan Mishchenko2018-01-042-7/+348
|/
* New exact synthesis command 'allexact'.Alan Mishchenko2017-12-303-33/+97
|
* New exact synthesis command 'allexact'.Alan Mishchenko2017-12-281-0/+2
|
* New exact synthesis command 'allexact'.Alan Mishchenko2017-12-288-15/+1340
|
* Corner-case bug fixed in CNF generation.Alan Mishchenko2017-12-281-0/+1
|
* Corner-case bug fixed in CNF generation.Alan Mishchenko2017-12-281-1/+6
|
* Bug fix in 'write_aiger_cex'.Alan Mishchenko2017-12-201-0/+1
|
* Adding parameter structure to 'twoexact' and 'lutexact'.Alan Mishchenko2017-12-064-143/+165
|
* An improvement to 'twoexact' and 'lutexact'.Alan Mishchenko2017-12-063-0/+17
|
* An improvement to 'twoexact' and 'lutexact'.Alan Mishchenko2017-12-063-0/+9
|
* An improvement to 'twoexact' and 'lutexact'.Alan Mishchenko2017-12-064-3/+39
|
* An improvement to 'twoexact' and 'lutexact'.Alan Mishchenko2017-12-061-1/+50
|
* An improvement to 'twoexact' and 'lutexact'.Alan Mishchenko2017-12-065-17/+63
|
* Switch -a to use only AND-gates in 'twoexact' and 'lutexact'.Alan Mishchenko2017-12-063-31/+74
|
* An improvement to 'twoexact' and 'lutexact'.Alan Mishchenko2017-12-062-8/+39
|
* New command 'lutexact'.Alan Mishchenko2017-12-053-5/+857
|
* Experiments with AIG-based simulation.Alan Mishchenko2017-12-053-11/+244
|
* Adding switch -a to 'write_verilog' to write factored forms without XORs and ↵Alan Mishchenko2017-12-037-28/+41
| | | | MUXes.
* Portability changes for gcc-6 suggested by Clifford.Alan Mishchenko2017-12-032-10/+0
|
* Portability changes for gcc-6 suggested by Clifford.Alan Mishchenko2017-12-022-4/+4
|
* Portability changes for gcc-6 suggested by Clifford.Alan Mishchenko2017-12-023-9/+17
|
* Improvements to AIG-based quantification.Alan Mishchenko2017-11-266-247/+552
|
* C++ comaptibility: add namespace support to GlucoseBaruch Sterin2017-11-2326-13/+124
|
* C++ compatibility: fix incompatible parameter listBaruch Sterin2017-11-231-1/+1
|
* C++ compatibility: fix bad pointer comparisonBaruch Sterin2017-11-232-2/+2
|
* C++ compatibility: cast returned void*Baruch Sterin2017-11-231-2/+2
|
* Experimental CEX minimization code.Alan Mishchenko2017-11-231-0/+116
|
* Extracting CSAT interface and several cleanups.Alan Mishchenko2017-11-135-47/+26
|
* Changes to make GIA structural hashing use a dedicated array instead of ↵Alan Mishchenko2017-11-138-78/+82
| | | | pObj->Value.
* Improvements to quantification.Alan Mishchenko2017-11-134-8/+289
|
* Compiler warnings.Alan Mishchenko2017-11-061-2/+2
|
* Profiling quantification and other changes.Alan Mishchenko2017-11-065-68/+89
|
* Profiling quantification and other changes.Alan Mishchenko2017-11-068-27/+432
|
* Commenting out problematic assertion in resub.Alan Mishchenko2017-11-041-1/+1
|
* Bug fix in old lcorr with constraints.Alan Mishchenko2017-11-041-1/+1
|
* Supporting XOR in EQN parser.Alan Mishchenko2017-11-031-2/+9
|
* Improvements to quantification.Alan Mishchenko2017-10-293-68/+264
|
* Small fix. Garanteeing pPars is not NULL before checking pPars->fSlacksBruno Schmitt2017-10-241-1/+1
|
* Adding API to dump MiniAIG into a Verilog file and other small changes.Alan Mishchenko2017-10-2211-9/+144
|
* Patch by Larry Doolittle to allow out-of-source builds of ABC.Baruch Sterin2017-10-201-6/+7
| | | | | | | | | | | | | | | | Usage: Starting from an empty directory: (1) set AS to point to the location of ABC (2) reconstruct the directory structure of ABC in the new directory: mkdir -p `cd $AS && find src -type d` (3) Build ABC: make -f $AS/Makefile VPATH=$AS ABCSRC=$AS
* Adding random search in exact synthesis.Alan Mishchenko2017-10-203-22/+147
|
* Integrating old SAT solver into majexact and twoexact.Alan Mishchenko2017-10-194-11/+777
|
* Integrating Glucose into &qbf.Alan Mishchenko2017-10-171-3/+3
|
* Integrating Glucose into &qbf.Alan Mishchenko2017-10-175-18/+46
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 07:43:31 +0000