index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
base
/
main
/
mainFrame.c
Commit message (
Expand
)
Author
Age
Files
Lines
*
Moving global declarations into 'abcapi.h' and moving it into 'main' package.
Alan Mishchenko
2017-03-02
1
-1
/
+1
*
Adding features for invariant minimization.
Alan Mishchenko
2017-01-24
1
-4
/
+0
*
Parser for JSON format.
Alan Mishchenko
2016-10-25
1
-0
/
+6
*
Changes to PDR to compute f-inf clauses and import invariant (or clauses) as ...
Alan Mishchenko
2016-01-14
1
-0
/
+4
*
New command %psinv.
Alan Mishchenko
2015-11-23
1
-2
/
+4
*
Changes to be able to compile ABC without CUDD.
Alan Mishchenko
2015-08-24
1
-1
/
+1
*
Changes to be able to compile ABC without CUDD.
Alan Mishchenko
2015-08-24
1
-1
/
+7
*
Adding commands backup/restore.
Alan Mishchenko
2014-10-21
1
-0
/
+1
*
Improvements to DSD balancing.
Alan Mishchenko
2014-08-27
1
-1
/
+4
*
Cleanup and bug fixing in hierarchy handling.
Alan Mishchenko
2014-04-09
1
-3
/
+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
1
-0
/
+4
*
Experiments with inductive don't-cares.
Alan Mishchenko
2014-02-11
1
-0
/
+1
*
Adding commands to set and print timing constraints.
Alan Mishchenko
2013-09-17
1
-0
/
+6
*
Added Python API status_get_vector() similar to cex_get_vector().
Alan Mishchenko
2013-09-04
1
-0
/
+1
*
Tuning standard-cell mapping flow.
Alan Mishchenko
2013-07-24
1
-0
/
+1
*
Adding new command &mprove for proving groups of properties.
Alan Mishchenko
2013-05-17
1
-0
/
+2
*
Adding command &filter_equiv to filter candidate equivalence classes using in...
Alan Mishchenko
2013-04-17
1
-0
/
+3
*
Added new Python API is_const_po( int iPoNum ), which returns 0/1 if current ...
Alan Mishchenko
2013-01-25
1
-0
/
+34
*
Adding box library.
Alan Mishchenko
2012-12-10
1
-0
/
+2
*
Added command 'cexsave' and 'cexload'.
Alan Mishchenko
2012-11-14
1
-0
/
+1
*
Minor bug fix.
Alan Mishchenko
2012-10-04
1
-0
/
+3
*
Bug fix: abstraction commands not properly updating status when dumping inter...
Alan Mishchenko
2012-08-28
1
-0
/
+1
*
Updating project settings to have simpler include paths.
Alan Mishchenko
2012-07-07
1
-3
/
+3
*
Making 'pdr', &gla, &vta print correctly in batch mode.
Alan Mishchenko
2012-07-07
1
-0
/
+2
*
Updating the counter of finished frames when dumping intermediate abstraction...
Alan Mishchenko
2012-04-27
1
-4
/
+5
*
Bug fix to prevent crashing when Abc_Print() is called while ABC is not initi...
Alan Mishchenko
2012-03-20
1
-2
/
+2
*
Redirecting printf messages.
Alan Mishchenko
2012-03-02
1
-1
/
+1
*
Adding features related to the communication bridge.
Alan Mishchenko
2012-03-02
1
-0
/
+3
*
Isomorphism checking code.
Alan Mishchenko
2012-02-17
1
-12
/
+15
*
Major restructuring of the code.
Alan Mishchenko
2012-01-21
1
-2
/
+3
*
Added API to access the CEX vector.
Alan Mishchenko
2011-08-02
1
-0
/
+1
*
Moved two new APIs for reading/writing CEX from/into ABC from abc.c to mainFr...
Alan Mishchenko
2011-02-19
1
-2
/
+3
*
Fixing memory leak in LTL property handling code
Alan Mishchenko
2010-12-02
1
-0
/
+1
*
Added API Abc_FrameReadGia
Alan Mishchenko
2010-11-29
1
-0
/
+16
*
initial commit of public abc
Alan Mishchenko
2010-11-01
1
-37
/
+78
*
Version abc90714
Alan Mishchenko
2015-06-22
1
-0
/
+60
*
Version abc90215
Alan Mishchenko
2009-02-15
1
-2
/
+2
*
Version abc90118
Alan Mishchenko
2009-01-18
1
-0
/
+2
*
Version abc80918
Alan Mishchenko
2008-09-18
1
-0
/
+15
*
Version abc80717
Alan Mishchenko
2008-07-17
1
-3
/
+3
*
Version abc80130_2
Alan Mishchenko
2008-01-30
1
-16
/
+46
*
Version abc80130
Alan Mishchenko
2008-01-30
1
-46
/
+16
*
Version abc71001
Alan Mishchenko
2007-10-01
1
-0
/
+503
*
Version abc70930
Alan Mishchenko
2007-09-30
1
-503
/
+0
*
Version abc70901
Alan Mishchenko
2007-09-01
1
-4
/
+5
*
Version abc70408
Alan Mishchenko
2007-04-08
1
-2
/
+2
*
Version abc70209
Alan Mishchenko
2007-02-09
1
-1
/
+1
[next]