Peter Hawkins
76cda0ae07
Update flags to use the ABSL typed flag API.
...
Change flags to use the newer definition style where the flag is read via a typed FlagHolder object returned by the DEFINE_... function. The advantage of doing this is that `flag.value` has a type known to the type checker, rather than reading it as an attr out of a gigantic config dictionary.
For jax.config flags, define a typed FlagHolder object that is returned when defining a flag, matching the ABSL API.
Move a number of flags into the file that consumes them. There's no reason we're defining every flag in `config.py`.
This PR does not change the similar "state" objects in `jax.config`. Changing those is for a future PR.
PiperOrigin-RevId: 551604974
2023-07-27 12:15:58 -07:00
..
2023-07-21 14:49:44 -04:00
2023-07-21 14:49:44 -04:00
2023-07-21 14:49:44 -04:00
2023-04-21 11:51:22 -07:00
2023-07-24 19:50:33 -07:00
2023-07-26 11:20:31 -07:00
2023-07-26 03:59:30 -07:00
2023-07-21 14:49:44 -04:00
2023-07-26 08:54:54 -07:00
2023-07-21 14:49:44 -04:00
2023-07-21 14:49:44 -04:00
2023-07-21 14:49:44 -04:00
2023-06-23 15:12:14 -07:00
2022-09-22 12:27:19 -07:00
2023-07-21 14:49:44 -04:00
2023-07-21 14:49:44 -04:00
2023-07-21 14:49:44 -04:00
2023-07-24 14:38:20 -07:00
2023-07-24 14:38:20 -07:00
2023-07-24 14:38:20 -07:00
2023-03-13 11:14:41 -07:00
2023-06-23 15:12:14 -07:00
2023-07-21 14:49:44 -04:00
2023-07-21 12:27:32 -07:00
2023-06-20 14:27:08 -07:00
2023-04-17 08:35:53 -07:00
2023-07-20 17:37:19 -07:00
2023-07-27 12:15:58 -07:00
2023-07-27 12:15:58 -07:00
2022-09-22 12:27:19 -07:00
2023-04-07 07:10:09 -07:00
2023-07-21 14:49:44 -04:00
2023-06-23 15:12:14 -07:00
2023-07-21 14:49:44 -04:00
2023-05-23 14:43:38 -07:00
2023-07-27 12:15:58 -07:00
2023-07-21 14:49:44 -04:00
2023-03-29 15:07:14 -07:00
2023-07-27 12:15:58 -07:00
2023-07-21 14:49:44 -04:00
2023-03-10 12:26:05 -08:00
2023-06-21 01:41:45 -07:00
2023-04-04 11:41:40 -07:00
2023-06-14 08:07:22 +08:00
2023-03-23 15:50:16 -07:00
2023-07-21 14:49:44 -04:00
2023-07-21 14:49:44 -04:00
2023-07-21 14:49:44 -04:00
2023-07-21 14:49:44 -04:00
2023-06-23 15:12:14 -07:00
2023-07-21 14:49:44 -04:00
2023-04-06 11:43:25 -07:00
2022-10-12 21:16:48 +00:00
2023-06-09 13:34:43 -07:00
2023-07-21 14:49:44 -04:00
2023-07-27 12:15:58 -07:00
2023-07-24 14:38:20 -07:00
2023-03-10 11:38:46 -08:00
2023-07-27 12:15:58 -07:00
2023-07-21 12:27:32 -07:00
2023-07-24 17:36:36 -07:00
2023-07-21 14:49:44 -04:00
2023-07-21 14:49:44 -04:00
2023-07-21 14:49:44 -04:00
2023-07-21 14:49:44 -04:00
2023-07-27 12:15:58 -07:00
2023-07-26 03:59:30 -07:00
2023-06-23 15:12:14 -07:00
2023-07-21 14:49:44 -04:00
2023-07-24 14:38:20 -07:00
2023-07-21 14:49:44 -04:00
2023-07-27 12:15:58 -07:00