Question about the current state of SMT-LIB 3

[Kristoffer Norrman]

Dear SMT-LIB community,

I am PhD student at Uppsala University and is currently working on floating-point verification. Part of the project is focused on the SMT-LIB 3 proposal that came out a few years ago; specifically the introduction to dependent and polymorphic types in version 3. Since there has not been any update since 2021-12-31 on the SMT-LIB website, two main questions have come up:

1. Are there any updates on the SMT-LIB 3 that I might have missed? The only thing I have been able to dig up are some talks that has mentioned it in their abstract.

2. Do any of you know of any SMT-solvers that might have some experimental version (a git branch for example) that implements (part of) the SMT-LIB 3 standard? 

I, of course, may not have been digging deep enough or looking in the wrong direction, but any help is welcome!

It might also be worth mentioning that my supervisor and I have been working on an (unpolished) theory of floating-point numbers for SMT-LIB 3. 

Cheers,
Kristoffer