Changes in verification en Copyright 2015 Java 975aab079dc62b99c1b75f8cbababd3f57ffdf88 - Drop asan/ubsan entry, implemented as MKSANITIZER and MKLIBCSANITIZER http://src.rcs.uwaterloo.ca:8080/history/netbsd-src/doc/roadmaps/verification#975aab079dc62b99c1b75f8cbababd3f57ffdf88 Drop asan/ubsan entry, implemented as MKSANITIZER and MKLIBCSANITIZER List of files: /netbsd-src/doc/roadmaps/verification Mon, 17 Jun 2019 17:45:18 +0000 kamil <kamil@NetBSD.org> 298a4bfa9a348daebfe7d148081af698623dc001 - Update roadmaps, unilaterally, because most of these hadn't been touched http://src.rcs.uwaterloo.ca:8080/history/netbsd-src/doc/roadmaps/verification#298a4bfa9a348daebfe7d148081af698623dc001 Update roadmaps, unilaterally, because most of these hadn't been touchedsince the pre-6.0 period and nobody else has been doing the work. There'sa lot of things whose current state I don't know; please fill in. Also thestuff I've added is necessarily biased towards projects I think about, soplease add more. List of files: /netbsd-src/doc/roadmaps/verification Fri, 13 Jan 2017 10:14:58 +0000 dholland <dholland@NetBSD.org>