index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
base
/
main
Commit message (
Expand
)
Author
Age
Files
Lines
*
Adding new utility procedures.
Alan Mishchenko
2020-05-11
3
-0
/
+10
*
Make use of setrlimit conditional on ABC_NO_RLIMIT.
whitequark
2020-04-30
1
-2
/
+2
*
Fixing broken build and compiler warnings.
Alan Mishchenko
2020-04-17
1
-1
/
+1
*
Fixing broken build and compiler warnings.
Alan Mishchenko
2020-04-17
1
-1
/
+1
*
Adding commands to generate data for experiments.
Alan Mishchenko
2020-02-22
1
-0
/
+4
*
Adding commands 'save' and 'load' for mapped networks.
Alan Mishchenko
2020-01-03
1
-0
/
+7
*
Undoing some recent changes for improved CEX writing.
Alan Mishchenko
2019-01-21
3
-7
/
+0
*
Fixing the problem with outputting word-level CEXes after retiming.
Alan Mishchenko
2019-01-17
3
-0
/
+7
*
Experiments with retiming (adding new APIs).
Alan Mishchenko
2018-12-09
4
-2
/
+17
*
fix: header <malloc.h> is depreciated
Nathan Zhou
2018-11-30
1
-1
/
+1
*
Various usability changes (second round).
Alan Mishchenko
2018-11-20
1
-7
/
+7
*
Various usability changes (second round).
Alan Mishchenko
2018-11-20
1
-1
/
+39
*
Procedure to return seq equivalences.
Alan Mishchenko
2018-07-22
1
-0
/
+3
*
Adding parameters and improvements to %blast.
Alan Mishchenko
2018-02-28
4
-0
/
+7
*
Extending MiniLUT to return attributes.
Alan Mishchenko
2018-02-11
1
-0
/
+1
*
Portability changes for gcc-6 suggested by Clifford.
Alan Mishchenko
2017-12-03
1
-5
/
+0
*
Portability changes for gcc-6 suggested by Clifford.
Alan Mishchenko
2017-12-02
1
-2
/
+2
*
Portability changes for gcc-6 suggested by Clifford.
Alan Mishchenko
2017-12-02
1
-1
/
+6
*
Adding API to dump MiniAIG into a Verilog file and other small changes.
Alan Mishchenko
2017-10-22
4
-1
/
+9
*
Adding Glucose 3.0 as a separate package.
Alan Mishchenko
2017-09-06
1
-0
/
+4
*
Integrating Satoko into 'bmc' and 'bmc2'.
Alan Mishchenko
2017-08-16
1
-2
/
+2
*
add a new field to the ABC Frame. The new field is a callback that may be cal...
Baruch Sterin
2017-08-09
1
-0
/
+4
*
New commands for backing up networks.
Alan Mishchenko
2017-08-04
2
-0
/
+7
*
Experiments with logic optimization.
Alan Mishchenko
2017-07-21
1
-0
/
+3
*
Synchronizing various data-structures.
Alan Mishchenko
2017-07-04
2
-0
/
+10
*
removed unnecessary declaration
Heinz Riener
2017-03-03
1
-1
/
+0
*
added missing ABC_NAMESPACE_HEADER
Heinz Riener
2017-03-03
1
-0
/
+4
*
Moving global declarations into 'abcapi.h' and moving it into 'main' package.
Alan Mishchenko
2017-03-02
4
-6
/
+190
*
Adding features for invariant minimization.
Alan Mishchenko
2017-01-24
2
-6
/
+0
*
Compiler warnings.
Alan Mishchenko
2016-12-31
1
-2
/
+2
*
Parser for JSON format.
Alan Mishchenko
2016-10-25
3
-0
/
+12
*
Changes to PDR to compute f-inf clauses and import invariant (or clauses) as ...
Alan Mishchenko
2016-01-14
3
-0
/
+8
*
New command %psinv.
Alan Mishchenko
2015-11-23
3
-2
/
+6
*
main: add option -Q for execute command quietly, then interactive
Baruch Sterin
2015-11-18
2
-7
/
+15
*
pyabc: remove python integration from abc, it is moved to a separate extension
Baruch Sterin
2015-11-05
2
-50
/
+0
*
main: allow the -c -C -q -f -F -s command line options to be repeated and the...
Baruch Sterin
2015-11-05
1
-12
/
+40
*
make sure all of ABC and related libraries are in the same namespace (when co...
Baruch Sterin
2015-10-16
1
-2
/
+8
*
New constraint manager and memory reporting 'ps'.
Alan Mishchenko
2015-09-08
1
-0
/
+1
*
Changes to be able to compile ABC without CUDD.
Alan Mishchenko
2015-08-24
2
-2
/
+2
*
Changes to be able to compile ABC without CUDD.
Alan Mishchenko
2015-08-24
2
-4
/
+13
*
Improvements to Cba data-structure.
Alan Mishchenko
2015-07-31
1
-0
/
+1
*
Renaming Cba into Bac.
Alan Mishchenko
2015-07-21
1
-0
/
+4
*
Scalable SOP manipulation package.
Alan Mishchenko
2015-03-18
2
-0
/
+5
*
Modifications to read SMTLIB file from stdin.
Alan Mishchenko
2015-02-18
1
-16
/
+1
*
Modifications to read SMTLIB file from stdin.
Alan Mishchenko
2015-02-11
1
-2
/
+31
*
New parser and framework.
Alan Mishchenko
2014-11-29
2
-0
/
+5
*
Changes to enable building external code.
Alan Mishchenko
2014-10-28
3
-32
/
+2
*
Changes to enable building external code.
Alan Mishchenko
2014-10-27
3
-378
/
+376
*
make it easy to add intialization functions to Abc_FrameInit()/Abc_FrameEnd()
Baruch Sterin
2014-10-22
2
-0
/
+45
*
Adding commands backup/restore.
Alan Mishchenko
2014-10-21
2
-0
/
+2
[next]