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 (
Collapse
)
Author
Age
Files
Lines
...
*
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
|
*
Replacing tabs with spaces.
Alan Mishchenko
2014-09-12
1
-1
/
+1
|
*
New word-level representation package.
Alan Mishchenko
2014-09-12
2
-0
/
+5
|
*
Improvements to DSD balancing.
Alan Mishchenko
2014-08-27
3
-1
/
+7
|
*
Adding commands to save/load best network.
Alan Mishchenko
2014-08-26
1
-0
/
+4
|
*
Cleanup and bug fixing in hierarchy handling.
Alan Mishchenko
2014-04-09
3
-5
/
+0
|
*
Renamed Abc_Lib_t into Abc_Des_t and removed some dead code.
Alan Mishchenko
2014-04-09
1
-1
/
+1
|
*
Adding a warning when the current network or AIG has no POs.
Alan Mishchenko
2014-03-10
1
-0
/
+3
|
*
Changes to LUT mappers.
Alan Mishchenko
2014-02-28
1
-1
/
+1
|
*
Changes to LUT mappers.
Alan Mishchenko
2014-02-28
3
-1
/
+9
|
*
Extendig the size of command line when running ABC in batch mode.
Alan Mishchenko
2014-02-12
1
-1
/
+1
|
*
Experiments with inductive don't-cares.
Alan Mishchenko
2014-02-11
2
-0
/
+4
|
*
add a new command line option to ABC, -q, same as -c, but without echoing ↵
Baruch Sterin
2013-12-07
2
-15
/
+29
|
|
|
|
the command
*
Upgrading 'mfs2' to consider some nodes as having no level.
Alan Mishchenko
2013-10-09
1
-1
/
+1
|
*
Upgrading 'mfs2' to consider some nodes as having no level.
Alan Mishchenko
2013-10-09
1
-1
/
+1
|
*
Adding commands to set and print timing constraints.
Alan Mishchenko
2013-09-17
3
-0
/
+14
|
*
Added Python API status_get_vector() similar to cex_get_vector().
Alan Mishchenko
2013-09-04
2
-0
/
+2
|
*
Tuning standard-cell mapping flow.
Alan Mishchenko
2013-07-24
2
-0
/
+2
|
*
Limiting runtime limit checks in 'pdr'.
Alan Mishchenko
2013-06-22
1
-1
/
+1
|
*
Limiting runtime limit checks in 'pdr'.
Alan Mishchenko
2013-06-22
1
-1
/
+1
|
*
Adding new command &mprove for proving groups of properties.
Alan Mishchenko
2013-05-17
3
-0
/
+9
|
*
Making changes suggested by Mark Jarvin.
Alan Mishchenko
2013-05-04
1
-5
/
+0
|
*
Adding command &filter_equiv to filter candidate equivalence classes using ↵
Alan Mishchenko
2013-04-17
3
-0
/
+5
|
|
|
|
indexes of disproved POs after handling SRM as a multi-output miter.
*
Improvements to the hierarchy/timing manager.
Alan Mishchenko
2013-03-05
1
-1
/
+1
|
*
Improvements to the hierarchy/timing manager.
Alan Mishchenko
2013-03-05
1
-1
/
+1
|
*
User-controlable SAT sweeper.
Alan Mishchenko
2013-03-04
1
-0
/
+2
|
*
Added new Python API is_const_po( int iPoNum ), which returns 0/1 if current ↵
Alan Mishchenko
2013-01-25
2
-2
/
+35
|
|
|
|
network is an AIG and the given PO has const 0/1 function.
*
Renaming If_Lut_t into If_LibLut_t.
Alan Mishchenko
2012-12-10
1
-1
/
+0
|
*
Adding box library.
Alan Mishchenko
2012-12-10
4
-4
/
+9
|
*
Added command 'cexsave' and 'cexload'.
Alan Mishchenko
2012-11-14
2
-0
/
+2
|
*
Integrating GIA with LUT mapping.
Alan Mishchenko
2012-10-24
1
-1
/
+1
|
*
Updating readme.
Alan Mishchenko
2012-10-06
1
-3
/
+3
|
*
Updating readme.
Alan Mishchenko
2012-10-06
1
-2
/
+6
|
*
Changed 'readline' declaration rules.
Alan Mishchenko
2012-10-04
1
-2
/
+2
|
*
Minor bug fix.
Alan Mishchenko
2012-10-04
1
-0
/
+3
|
*
Added command 'starter' to call ABC concurrently.
Alan Mishchenko
2012-10-02
2
-3
/
+2
|
*
Added detection of 'readline' library at compile-time.
Alan Mishchenko
2012-10-02
1
-2
/
+2
|
*
Added detection of 'readline' library at compile-time.
Alan Mishchenko
2012-10-02
1
-2
/
+2
|
*
Experiments with mini AIG manager.
Alan Mishchenko
2012-09-29
1
-4
/
+0
|
*
Compiler warnings.
Alan Mishchenko
2012-09-29
1
-1
/
+4
|
*
Added detection of 'readline' library at compile-time.
Alan Mishchenko
2012-09-29
1
-10
/
+9
|
*
Replacing 'st_table' by 'st__table' to resolve linker problems.
Alan Mishchenko
2012-09-29
1
-3
/
+3
|
*
Experiments with mini AIG manager.
Alan Mishchenko
2012-09-29
1
-0
/
+4
|
*
Prepared &gla to try abstracting and proving concurrently.
Alan Mishchenko
2012-09-14
1
-2
/
+2
|
[prev]
[next]