Commit Graph

35 Commits

Author SHA1 Message Date
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