#1067

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
#1067	lazaro_ommit_library_models	Merge 1be0b2c11 into 16923e56c	Pull #741	24 Feb 2023 09:03PM UTC	web-flow	github-actions	pending completion set done
#1066	master	Serialization version 3: update method serialization to exclude type use annotations and type arguments (#735) This PR updates serialization to version `3` and burns version `2`. Changes in serialization version 3: - Type arguments and Type...	push	24 Feb 2023 09:01PM UTC	web-flow	github-actions	pending completion set done
#1065	master	Refactoring tabSeparatedToString logic to prepare for serialization version 3. (#738) This PR is merely refactoring which prepares serialization logic for version `v3` implemented in #735. Changes in this PR - Uses adapter to serialize meth...	push	22 Feb 2023 07:04PM UTC	web-flow	github-actions	pending completion set done
#1064	master	Add JSpecify checking for return statements (#734) For JSpecify, this pull request adds a check that the type parameter nullability of the return type of the method matches the type of any returned expression. For example: ``` static A<@Nullab...	push	22 Feb 2023 06:53PM UTC	web-flow	github-actions	pending completion set done
#1063	master	Refactoring in symbol serialization (#736) This PR refactors the serialization logic to call a `static` method in `Serializer` to convert a `Symbol` to its corresponding `String` representation. This PR is in preparation for the update on seriali...	push	20 Feb 2023 08:43PM UTC	web-flow	github-actions	pending completion set done
#1062	master	JSpecify: initial checks for generic type compatibility at assignments (#715) This pull request adds the identical type parameter nullability checks for both sides of an assignment. for example `NullableTypeParam<@Nullable String> nullableType...	push	07 Feb 2023 06:04PM UTC	web-flow	github-actions	pending completion set done
#1061	master	Break loops when result can no longer change (#728) (Code cleanup/optimization)	push	07 Feb 2023 05:55PM UTC	web-flow	github-actions	pending completion set done
#1060	master	Model `Class.isInstance` (#732) also call `getOptLibraryModels` only once	push	06 Feb 2023 09:01PM UTC	web-flow	github-actions	pending completion set done
#1059	master	Model `Class.cast` (#731) also call `getOptLibraryModels` only once	push	06 Feb 2023 08:55PM UTC	web-flow	github-actions	pending completion set done
#1058	master	Refactor code to use Map.getOrDefault where possible (#727) Internal refactoring to get rid of overly verbose get and check pattern in favor of `getOrDefault()` where applicable.	push	02 Feb 2023 05:28PM UTC	web-flow	github-actions	pending completion set done
#1057	master	Model `Map.getOrDefault` (#724) We model the method so that the nullability of the return matches the nullability of the second argument. We also add an explicit model of `ImmutableMap.getOrDefault`, to override the annotations on that method fo...	push	01 Feb 2023 08:04PM UTC	web-flow	github-actions	pending completion set done
#1056	manu/model-mapordefault	Merge fed5314fd into 8a24aa3ba	Pull #724	01 Feb 2023 07:57PM UTC	web-flow	github-actions	pending completion set done
#1055	master	Prepare next development version.	push	01 Feb 2023 07:43PM UTC	lazaroclapp	github-actions	pending completion set done
#1054	manu/model-mapordefault	Merge 13d535750 into fc151dcaa	Pull #724	01 Feb 2023 05:53PM UTC	web-flow	github-actions	pending completion set done
#1053	manu/model-mapordefault	Merge 3adb32c21 into fc151dcaa	Pull #724	01 Feb 2023 04:59PM UTC	web-flow	github-actions	pending completion set done

← Previous
1
2
…
5
6
7
8
9
10
11
12
13
…
79
80
Next →