- Oct 01, 2018
-
-
Anh Nguyen-Tuong authored
-
- Sep 27, 2018
-
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
- Sep 21, 2018
-
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
- Sep 18, 2018
-
-
Anh authored
push/jmp pairs exit blocks with only 1 instruction known functions
-
Anh Nguyen-Tuong authored
-
- Sep 17, 2018
-
-
Anh Nguyen-Tuong authored
-
- Sep 16, 2018
-
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
- Sep 12, 2018
-
-
Anh Nguyen-Tuong authored
-
- Sep 13, 2018
-
-
Anh Nguyen-Tuong authored
-
- Sep 12, 2018
-
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
- Sep 11, 2018
-
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
- Sep 09, 2018
-
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
Also rida now the default
-
- Sep 08, 2018
-
-
Anh Nguyen-Tuong authored
Merge branch 'origin/17-elide-instrumentation-for-basic-blocks-with-1-incoming-or-outgoing-edge' into 'master' Origin/17 elide instrumentation for basic blocks with 1 incoming or outgoing edge See merge request allzp/zfuzz!1
-
Anh Nguyen-Tuong authored
-
- Sep 07, 2018
-
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
- Sep 04, 2018
-
-
Anh Nguyen-Tuong authored
-
- Aug 29, 2018
-
-
Anh Nguyen-Tuong authored
Conflicts: test/bench/binutils.spec
-
Anh Nguyen-Tuong authored
-
- Aug 27, 2018
-
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-