#887

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
#887	lazaro_fix_restrictive_annotations_inconsistency	Merge d095d6884 into 4fc0693e5	Pull #618	05 Jul 2022 12:15AM UTC	web-flow	github-actions	pending completion set done
#886	master	Fix empty contract arguments (#616) Fixes a bug where empty contract arguments would return a singleton array of the contract arguments (empty).	push	04 Jul 2022 03:25AM UTC	web-flow	github-actions	pending completion set done
#885	master	Add a microbenchmark for type inference / dataflow (#617) This will help us to identify performance issues in our dataflow analysis that could improve NullAway's performance on large methods. The benchmark was generated with a script.	push	01 Jul 2022 09:13PM UTC	web-flow	github-actions	pending completion set done
#884	master	Prepare next development version.	push	24 Jun 2022 07:08PM UTC	lazaroclapp	github-actions	pending completion set done
#883	master	Generalize support for castToNonNull methods, using library models (#614) This allows for `castToNonNull` methods taking additional arguments, such as a custom message or a specific logger object to be monitored, in order to detect and warn abou...	push	24 Jun 2022 04:42PM UTC	web-flow	github-actions	pending completion set done
#882	lazaro_improved_castnonnull_spec	Merge 6a7927975 into da7e81fca	Pull #614	22 Jun 2022 06:59PM UTC	web-flow	github-actions	pending completion set done
#881	master	Treat Void formal arguments as @Nullable (#613) This is a follow up on #595. See that PR for some of the soundness caveats related to method overriding and the nullability of Void in our current implementation. This does, however, avoid some...	push	21 Jun 2022 10:35PM UTC	web-flow	github-actions	pending completion set done
#880	lazaro_cast_null_to_void	Merge 7622bcdc4 into 0fcb8740a	Pull #613	21 Jun 2022 05:20PM UTC	web-flow	github-actions	pending completion set done
#879	master	Clean-up: Remove unused fix suggestion code. (#615) This code has laid untouched and `@SuppressWarnings("unused")` since 2018 (see e.g. #149). At this point, even if we wanted to incorporate auto-fixing capabilities into NullAway directly, se...	push	21 Jun 2022 05:20PM UTC	web-flow	github-actions	pending completion set done
#878	lazaro_cast_null_to_void	Merge 639ecd988 into 3b90d3b01	Pull #613	21 Jun 2022 05:17PM UTC	web-flow	github-actions	pending completion set done
#877	lazaro_unused_cleanup	Merge 2a4821aa4 into 3b90d3b01	Pull #615	20 Jun 2022 10:36PM UTC	web-flow	github-actions	pending completion set done
#876	lazaro_improved_castnonnull_spec	Merge 1f8624dad into 3b90d3b01	Pull #614	20 Jun 2022 10:20PM UTC	web-flow	github-actions	pending completion set done
#875	lazaro_cast_null_to_void	Merge 8cf7f05d9 into 3b90d3b01	Pull #613	20 Jun 2022 08:44PM UTC	web-flow	github-actions	pending completion set done
#874	master	Add support for Preconditions.checkArgument through custom CFG translation (#608) See #47 for discussion. This PR adds support for `Preconditions.checkArgument(...)` and `Preconditions.checkState(...)` throw a new `PreconditionsHandler` handl...	push	17 Jun 2022 08:03PM UTC	web-flow	github-actions	pending completion set done
#873	lazaro_support_preconditions_checkarg_2	Merge 43a670016 into 08c50cf5c	Pull #608	16 Jun 2022 10:16PM UTC	web-flow	github-actions	pending completion set done

← Previous
1
2
…
17
18
19
20
21
22
23
24
25
…
79
80
Next →