Karol Gugala
e525def48c
fuzzers: Copy all the db files to build/database
...
Local copy of the database is used to generate todo files.
Since we were not copying all the DB files, the generated
todo files contained previously solved PIPs.
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-15 18:14:02 +01:00
Karol Gugala
47f8f6e30b
fuzzers: int_loop: create empty DB also in seeded target
...
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-15 09:58:58 +01:00
John McMaster
4c4e17f380
Merge pull request #502 from mcmasterg/pip-quick
...
pip (especially imuxlout) quick
2019-01-11 19:18:22 +01:00
Karol Gugala
c9ced5ea47
fuzzers: int: create empty DB if it doesn't exist
...
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-11 10:46:54 +01:00
John McMaster
3585d98b99
int_loop: QUICK reduce TODO N
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2019-01-11 10:45:59 +01:00
Felix Held
0d6e327229
introduce vivado wrapper
...
This fixes the problem that when sourcing the vivado settings file the
library search path is modified resulting in non-vivado binaries not working
due to being dynamically linked against the vivado libraries instead of the
system ones.
Signed-off-by: Felix Held <felix-github@felixheld.de>
2018-12-28 19:05:49 +01:00
John McMaster
2a5c85f315
int_loop: dont push until end, reducing db conflicts
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-12-24 09:38:00 -08:00
John McMaster
7b272b89ef
int_loop: unify SEGMATCH_FLAGS
...
Signed-off-by: John McMaster <JohnDMcMaster@gmail.com>
2018-12-21 20:14:37 -08:00
John McMaster
160b5fc8b1
masks: tidy up
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-12-19 18:25:09 -08:00
John McMaster
ba5a155464
todo: clean up file names
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-12-19 17:34:18 -08:00
John McMaster
b568052d9d
int_loop: mv todo build/todo
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-12-19 17:05:20 -08:00
John McMaster
c68ee2f004
Merge pull request #364 from mcmasterg/dbfixup_fix
...
Dbfixup fix
2018-12-19 15:22:19 -08:00
John McMaster
0c23cf3cca
int_loop: copy iter db before dbfixup
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-12-19 15:06:53 -08:00
John McMaster
71e90747d7
int_loop: move todo copy to makefile so it always exists
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-12-19 14:35:28 -08:00
John McMaster
010edc4829
int_loop.mk: fix old variable name
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-12-12 11:57:53 -08:00
John McMaster
38ab9a7d1c
int_loop: write db per iter for easier tracking
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-12-12 11:57:49 -08:00
John McMaster
c63f47198a
Remove MAKEFLAGS
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-12-11 21:36:42 -08:00
John McMaster
e183464f38
bipips: use int_loop
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-12-11 21:13:10 -08:00
John McMaster
24039e1922
int_loop: consolidate maketodo.py, tweaks
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-12-11 20:48:21 -08:00
John McMaster
3d50e89dcd
intpips: correct pushdb at end
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-12-11 16:46:05 -08:00
John McMaster
e2149d065f
int_loop: --merge
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-12-11 16:37:36 -08:00
John McMaster
4d81a436d4
int_loop: more aggressive default termination
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-12-11 14:50:44 -08:00
John McMaster
7669859c1a
int_loop_check: finer grained termination
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-12-11 14:45:29 -08:00
John McMaster
26be7408f7
int_loop: move into .sh for easier editing
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-12-11 14:45:23 -08:00
John McMaster
a0432fb6eb
int_loop: dbfixup correct db dir
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-12-05 18:29:06 -08:00
John McMaster
c37c1082de
quick: merge into main makefile
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-12-05 17:36:51 -08:00
John McMaster
277be8d7ca
looping int fuzzers: combine common makefiles, piplist
...
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-12-05 16:08:24 -08:00