Peter Johnson 98f933eca5 Merge branch 'main' into 2027

2025-02-20 00:26:23 -08:00

..

logging

[datalog] Move all DataLog functionality to new datalog library (#7641)

2025-02-19 21:08:17 -08:00

CustomLoggerFor.java

[epilogue] Add an annotation-based logging framework for Java programs (#6584)

2024-07-16 17:25:43 -07:00

EpilogueConfiguration.java

[epilogue] Rename DataLogger to EpilogueBackend for clarity (#7453)

2024-11-29 22:10:51 -08:00

Logged.java

[epilogue] Make nonloggable type warnings configurable (#7792)

2025-02-18 21:48:51 -08:00

NotLogged.java

[epilogue] Add an annotation-based logging framework for Java programs (#6584)

2024-07-16 17:25:43 -07:00