index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
base
/
cmd
/
cmdUtils.c
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge remote-tracking branch 'upstream/master' into yosys-experimental
Miodrag Milanovic
2022-07-04
1
-1
/
+86
|
\
|
*
Making command &kissat not look for the binary in the current dir.
Alan Mishchenko
2022-06-23
1
-2
/
+9
|
*
Integrated Kissat, by Armin Biere, as an external binary.
Alan Mishchenko
2022-06-02
1
-0
/
+78
|
*
Adding switch to dsd_match to skip small functions.
Alan Mishchenko
2022-05-18
1
-1
/
+1
*
|
Add support for WASI platform in cmdCheckShellEscape.
whitequark
2020-05-01
1
-1
/
+4
|
/
*
Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...
Alan Mishchenko
2019-03-05
1
-2
/
+2
*
Preparing to work with C++ code.
Alan Mishchenko
2014-10-21
1
-0
/
+8
*
Patching ABC for Yosys.
Alan Mishchenko
2013-11-27
1
-2
/
+4
*
Patching ABC for Yosys.
Alan Mishchenko
2013-11-27
1
-2
/
+35
*
Added command 'starter' to call ABC concurrently.
Alan Mishchenko
2012-10-02
1
-2
/
+3
*
Replacing 'st_table' by 'st__table' to resolve linker problems.
Alan Mishchenko
2012-09-29
1
-12
/
+12
*
Updating project settings to have simpler include paths.
Alan Mishchenko
2012-07-07
1
-2
/
+2
*
Added warning when a command is missing
Alan Mishchenko
2012-06-15
1
-0
/
+2
*
Silencing some of the gcc warnings.
Alan Mishchenko
2012-02-16
1
-2
/
+4
*
Major restructuring of the code.
Alan Mishchenko
2012-01-21
1
-2
/
+2
*
completely silence the "source" command when the -s option is given
Baruch Sterin
2011-10-24
1
-1
/
+1
*
Printing out the path/name of the resource file that is being sourced.
Alan Mishchenko
2011-07-02
1
-0
/
+7
*
initial commit of public abc
Alan Mishchenko
2010-11-01
1
-22
/
+38
*
Version abc90215
Alan Mishchenko
2009-02-15
1
-19
/
+20
*
Version abc80705
Alan Mishchenko
2008-07-05
1
-4
/
+39
*
Version abc80307
Alan Mishchenko
2008-03-07
1
-3
/
+3
*
Version abc80130_2
Alan Mishchenko
2008-01-30
1
-15
/
+15
*
Version abc80130
Alan Mishchenko
2008-01-30
1
-15
/
+15
*
Version abc71001
Alan Mishchenko
2007-10-01
1
-0
/
+649
*
Version abc70930
Alan Mishchenko
2007-09-30
1
-649
/
+0
*
Version abc60220
Alan Mishchenko
2006-02-20
1
-13
/
+13
*
Version abc51222
Alan Mishchenko
2005-12-22
1
-1
/
+1
*
Version abc51012
Alan Mishchenko
2005-10-12
1
-1
/
+1
*
Version abc50905
Alan Mishchenko
2005-09-05
1
-7
/
+58
*
Version abc50729
Alan Mishchenko
2005-07-29
1
-0
/
+598