Tim 'mithro' Ansell
93ffa6f827
fuzzers: Fix including Makefiles.
...
Fixes #593 .
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
2019-01-31 18:24:33 -08:00
Keith Rothman
741715851a
Initial cascade pip fuzzer.
...
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-30 14:53:05 -08:00
litghost
0b788e8b7b
Merge pull request #535 from litghost/increase_n_per_loop
...
Increase solved PIPs per loop to 50.
2019-01-17 12:18:11 -08:00
litghost
1e2f1c6ae1
Merge pull request #533 from antmicro/05x-piplist
...
Generate piplist once
2019-01-17 12:16:09 -08:00
Alessandro Comodi
11d42757bf
fuzzers/int_loop.mk: fixed dependency in makefile
...
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-01-16 17:43:51 +01:00
Karol Gugala
a2fa9fe7cc
fuzzers: int_loop: always copy db files to local db
...
Those files should always exist - environment script creates missing ones.
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-16 17:39:36 +01:00
Keith Rothman
21ffca87d2
Increase solved PIPs per loop to 50.
...
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-16 07:53:35 -08:00
Alessandro Comodi
5b7575bdd2
fuzzers/Makefiles: pips_int_*.txt now directed to piplist folder
...
All the fuzzers that made use of the pips_int_*.txt files now seek for
those dependencies in the fuzzers/piplist/build folder so there is no
need to regenerate them if already present
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-01-16 12:07:00 +01:00
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