index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
Makefile
Commit message (
Expand
)
Author
Age
Files
Lines
*
Bug fix for big-endiang architectures (plus adding -lm in Makefile).
Alan Mishchenko
2015-04-04
1
-1
/
+1
*
Scalable SOP manipulation package.
Alan Mishchenko
2015-03-18
1
-2
/
+2
*
Change to Makefile to speedup compilation.
Alan Mishchenko
2015-02-05
1
-1
/
+3
*
Change to Makefile to speedup compilation.
Alan Mishchenko
2015-02-05
1
-1
/
+1
*
Fixing reported memory alignment issue.
Alan Mishchenko
2015-01-27
1
-1
/
+4
*
New parser and framework.
Alan Mishchenko
2014-11-29
1
-1
/
+1
*
Changing LIBS in Makefie.
Alan Mishchenko
2014-11-03
1
-1
/
+1
*
Changes to enable building external code.
Alan Mishchenko
2014-10-28
1
-1
/
+1
*
Changes to enable building external code.
Alan Mishchenko
2014-10-27
1
-1
/
+1
*
Disabling MiniSAT 2.2 for now.
Alan Mishchenko
2014-10-21
1
-1
/
+1
*
Compiler problems.
Alan Mishchenko
2014-10-21
1
-1
/
+2
*
Adding code of MiniSAT 2.2.
Alan Mishchenko
2014-10-21
1
-1
/
+9
*
New word-level representation package.
Alan Mishchenko
2014-09-12
1
-1
/
+1
*
Adding message prefix.
Alan Mishchenko
2014-07-24
1
-8
/
+9
*
undo an accidental change to the Makefile
Baruch Sterin
2014-06-10
1
-3
/
+1
*
add an option to the pyabc packaging scripts
Baruch Sterin
2014-06-10
1
-1
/
+3
*
Reverting to Makefile with suppressed printouts.
Alan Mishchenko
2014-06-05
1
-1
/
+1
*
merge unfold2
Jiang Long
2014-06-04
1
-1
/
+1
*
Initial new interpolation code.
Alan Mishchenko
2014-01-28
1
-2
/
+2
*
reverting an accidental change to Makefile
Baruch Sterin
2013-12-11
1
-2
/
+0
*
fixes for simple_livness
Baruch Sterin
2013-12-07
1
-0
/
+2
*
Patching ABC for Yosys.
Alan Mishchenko
2013-11-27
1
-8
/
+10
*
Remove unncessary use of PWD in CPP include option.
Aaron Tomb
2013-11-06
1
-1
/
+1
*
Allow ARCHFLAGS and OPTFLAGS to be overridden.
Aaron Tomb
2013-11-06
1
-2
/
+2
*
Small changes to compile on Mac.
Alan Mishchenko
2013-08-15
1
-1
/
+5
*
New technology mapper.
Alan Mishchenko
2013-07-12
1
-1
/
+1
*
Limiting runtime limit checks in 'pdr'.
Alan Mishchenko
2013-06-22
1
-1
/
+2
*
Suggested changes to counting time in Abc_Clock()
Alan Mishchenko
2013-06-18
1
-1
/
+1
*
Updated Makefile as suggested by Mark Jarvin.
Alan Mishchenko
2013-05-19
1
-1
/
+1
*
Updated Makefile as suggested by Mark Jarvin.
Alan Mishchenko
2013-05-19
1
-8
/
+28
*
Making changes suggested by Mark Jarvin.
Alan Mishchenko
2013-05-05
1
-2
/
+1
*
Temporarily disabling one change to Makefile.
Alan Mishchenko
2013-05-04
1
-2
/
+2
*
Making changes suggested by Mark Jarvin.
Alan Mishchenko
2013-05-04
1
-6
/
+21
*
SAT sweeping under constraints.
Alan Mishchenko
2013-04-25
1
-1
/
+1
*
New MFS package.
Alan Mishchenko
2013-04-02
1
-1
/
+1
*
Shrink for 6-LUTs.
Alan Mishchenko
2013-03-31
1
-1
/
+1
*
Retiring old 'fpga' command and package.
Alan Mishchenko
2012-12-10
1
-1
/
+1
*
Isolating BMC code into a separate package.
Alan Mishchenko
2012-11-14
1
-1
/
+1
*
Replaced printfs with Abc_Print
Niklas Een
2012-10-29
1
-1
/
+1
*
New AIG optimization package.
Alan Mishchenko
2012-10-06
1
-1
/
+1
*
Experiments with mini AIG manager.
Alan Mishchenko
2012-09-29
1
-0
/
+1
*
Improving printouts in &gla.
Alan Mishchenko
2012-09-16
1
-1
/
+1
*
Created new abstraction package from the code that was all over the place.
Alan Mishchenko
2012-09-15
1
-0
/
+1
*
Suppressed warning 'unused-but-set-variable', which is now enabled by -Wall.
Alan Mishchenko
2012-08-29
1
-1
/
+1
*
New package to read/write a subset of Liberty for STA.
Alan Mishchenko
2012-08-24
1
-1
/
+1
*
Compiler warnings.
Alan Mishchenko
2012-08-09
1
-1
/
+1
*
Updating project settings to have simpler include paths.
Alan Mishchenko
2012-07-07
1
-1
/
+1
*
Makefile updated to print less information.
Alan Mishchenko
2012-02-17
1
-1
/
+1
*
Makefile updated to print less information.
Alan Mishchenko
2012-02-16
1
-9
/
+21
*
minor changes to Makefile: (1) use CC instead of gcc to compile arch_flags, a...
Baruch Sterin
2012-01-21
1
-3
/
+3
[next]