Giovanni Bajo 385d936fb2 cmd/compile: in prove, fail fast when unsat is found ... When an unsatisfiable relation is recorded in the facts table, there is no need to compute further relations or updates additional data structures. Since we're about to transitively propagate relations, make sure to fail as fast as possible to avoid doing useless work in dead branches. Passes toolstash -cmp. Change-Id: I23eed376d62776824c33088163c7ac9620abce85 Reviewed-on: https://go-review.googlesource.com/100275 Reviewed-by: Austin Clements <austin@google.com>		2018-03-24 03:06:01 +00:00
..
archive	…
bufio	…
builtin	…
bytes	internal/bytealg: move short string Index implementations into bytealg	2018-03-04 19:49:44 +00:00
cmd	cmd/compile: in prove, fail fast when unsat is found	2018-03-24 03:06:01 +00:00
compress	compress/bzip2: remove bit-tricks	2018-03-21 21:57:15 +00:00
container	…
context	…
crypto	crypto/rc4: optimize generic implementation slightly	2018-03-23 15:47:48 +00:00
database/sql	database/sql: fix typo in comment	2018-03-07 15:42:31 +00:00
debug	debug/pe: use bytes.IndexByte instead of a loop	2018-03-07 16:12:08 +00:00
encoding	all: fix non-standard "DO NOT EDIT" comments for generated files	2018-03-10 17:50:11 +00:00
errors	…
expvar	…
flag	…
fmt	…
go	go/internal/srcimporter: simplify and fix package file lookup	2018-03-20 22:46:00 +00:00
hash	crypto: remove hand encoded amd64 instructions	2018-03-01 19:20:53 +00:00
html	…
image	all: fix non-standard "DO NOT EDIT" comments for generated files	2018-03-10 17:50:11 +00:00
index/suffixarray	…
internal	Revert "bytes: add optimized Compare for arm64"	2018-03-20 00:10:24 +00:00
io	…
log	…
math	math/big: reduce amount of copying in Montgomery multiplication	2018-03-19 21:40:56 +00:00
mime	mime/multipart: test for presence of filename instead of content-type	2018-03-10 00:33:10 +00:00
net	net/url: fix contradiction in PathUnescape docs	2018-03-21 20:46:13 +00:00
os	os: use WIN32_FIND_DATA.Reserved0 to identify symlinks	2018-03-07 08:51:04 +00:00
path	path/filepath: use a temp dir in path_test.go	2018-03-05 23:38:39 +00:00
plugin	…
reflect	reflect: sort exported methods first	2018-03-15 21:56:08 +00:00
regexp	…
runtime	runtime: fix AT_HWCAP auxv parsing on freebsd	2018-03-23 19:51:25 +00:00
sort	sort: fix typo, was a mixup between identifiers 'unsorted' and 'data'	2018-03-19 13:09:29 +00:00
strconv	strconv: make code formatting more consistent in doc.go	2018-03-19 12:53:16 +00:00
strings	internal/bytealg: move short string Index implementations into bytealg	2018-03-04 19:49:44 +00:00
sync	cmd/compile/internal/ppc64, runtime internal/atomic, sync/atomic: implement faster atomics for ppc64x	2018-03-22 14:13:01 +00:00
syscall	syscall: use Android O friendly fstatat syscall to implement Stat on linux/amd64	2018-03-15 10:07:57 +00:00
testing	testing: gracefully handle subtest failing parent’s T	2018-03-01 10:17:22 +00:00
text	text/scanner: add examples	2018-03-10 02:01:58 +00:00
time	time: add support for parsing timezones denoted by sign and offset	2018-03-08 17:15:35 +00:00
unicode	…
unsafe	…
vendor/golang_org/x	vendor: update golang.org/x/net/dns/dnsmessage from upstream	2018-03-18 05:48:38 +00:00
Make.dist	…
all.bash	…
all.bat	…
all.rc	…
androidtest.bash	androidtest.bash: don't require GOARCH set	2018-03-07 14:01:43 +00:00
bootstrap.bash	…
buildall.bash	…
clean.bash	…
clean.bat	…
clean.rc	…
cmp.bash	…
iostest.bash	iostest.bash: don't build std library twice	2018-03-06 16:08:20 +00:00
make.bash	…
make.bat	…
make.rc	…
naclmake.bash	…
nacltest.bash	…
race.bash	…
race.bat	…
run.bash	…
run.bat	…
run.rc	…