Closed
Description
The PR #37 was merged hastily without removing the ADTypes v0.2 compat bound, and so ADTypes v0.2 is the one used for tests.
If you removed it, you would see that ADTypes v1 is not actually supported: for instance, AutoModelingToolkit
no longer exists (it is now AutoSymbolics
).
@Vaibhavdixit02 perhaps this can be fixed before #31 lands?