index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
base
/
main
/
main.h
Commit message (
Expand
)
Author
Age
Files
Lines
*
Adding parameters and improvements to %blast.
Alan Mishchenko
2018-02-28
1
-0
/
+1
*
Adding API to dump MiniAIG into a Verilog file and other small changes.
Alan Mishchenko
2017-10-22
1
-0
/
+2
*
Moving global declarations into 'abcapi.h' and moving it into 'main' package.
Alan Mishchenko
2017-03-02
1
-5
/
+3
*
Parser for JSON format.
Alan Mishchenko
2016-10-25
1
-0
/
+4
*
Changes to PDR to compute f-inf clauses and import invariant (or clauses) as ...
Alan Mishchenko
2016-01-14
1
-0
/
+2
*
New command %psinv.
Alan Mishchenko
2015-11-23
1
-0
/
+1
*
Improvements to DSD balancing.
Alan Mishchenko
2014-08-27
1
-0
/
+2
*
Cleanup and bug fixing in hierarchy handling.
Alan Mishchenko
2014-04-09
1
-1
/
+0
*
Changes to LUT mappers.
Alan Mishchenko
2014-02-28
1
-0
/
+3
*
Adding commands to set and print timing constraints.
Alan Mishchenko
2013-09-17
1
-0
/
+5
*
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
/
+6
*
Adding command &filter_equiv to filter candidate equivalence classes using in...
Alan Mishchenko
2013-04-17
1
-0
/
+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
1
-2
/
+1
*
Adding box library.
Alan Mishchenko
2012-12-10
1
-0
/
+2
*
Experiments with mini AIG manager.
Alan Mishchenko
2012-09-29
1
-4
/
+0
*
Experiments with mini AIG manager.
Alan Mishchenko
2012-09-29
1
-0
/
+4
*
Bug fix: abstraction commands not properly updating status when dumping inter...
Alan Mishchenko
2012-08-28
1
-2
/
+1
*
Updating project settings to have simpler include paths.
Alan Mishchenko
2012-07-07
1
-6
/
+6
*
Making 'pdr', &gla, &vta print correctly in batch mode.
Alan Mishchenko
2012-07-07
1
-0
/
+1
*
Updating the counter of finished frames when dumping intermediate abstraction...
Alan Mishchenko
2012-04-27
1
-0
/
+1
*
Adding features related to the communication bridge.
Alan Mishchenko
2012-03-02
1
-0
/
+2
*
Isomorphism checking code.
Alan Mishchenko
2012-02-17
1
-1
/
+2
*
Major restructuring of the code.
Alan Mishchenko
2012-01-21
1
-11
/
+10
*
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
-1
/
+3
*
Added API Abc_FrameReadGia
Alan Mishchenko
2010-11-29
1
-0
/
+2
*
initial commit of public abc
Alan Mishchenko
2010-11-01
1
-16
/
+30
*
Version abc90215
Alan Mishchenko
2009-02-15
1
-19
/
+8
*
Version abc90118
Alan Mishchenko
2009-01-18
1
-4
/
+7
*
Version abc80918
Alan Mishchenko
2008-09-18
1
-0
/
+1
*
Version abc80717
Alan Mishchenko
2008-07-17
1
-4
/
+0
*
Version abc80516
Alan Mishchenko
2008-05-16
1
-38
/
+48
*
Version abc80508
Alan Mishchenko
2008-05-08
1
-1
/
+1
*
Version abc80130_2
Alan Mishchenko
2008-01-30
1
-16
/
+24
*
Version abc80130
Alan Mishchenko
2008-01-30
1
-24
/
+16
*
Version abc71001
Alan Mishchenko
2007-10-01
1
-0
/
+122
*
Version abc70930
Alan Mishchenko
2007-09-30
1
-122
/
+0
*
Version abc70901
Alan Mishchenko
2007-09-01
1
-2
/
+2
*
Version abc60820
Alan Mishchenko
2006-08-20
1
-0
/
+2
*
Version abc60407
Alan Mishchenko
2006-04-07
1
-0
/
+1
*
Version abc60303
Alan Mishchenko
2006-03-03
1
-2
/
+10
*
Version abc60220
Alan Mishchenko
2006-02-20
1
-8
/
+1
*
Version abc60211
Alan Mishchenko
2006-02-11
1
-1
/
+1
*
Version abc51012
Alan Mishchenko
2005-10-12
1
-2
/
+2
*
Version abc50908
Alan Mishchenko
2005-09-08
1
-1
/
+5
*
Version abc50905
Alan Mishchenko
2005-09-05
1
-15
/
+16
*
Version abc50902
Alan Mishchenko
2005-09-02
1
-0
/
+3
[next]