Is this project still actively developed?

[Piedone]

Because it seems that it didn't see any activity in the last 1.5 years.

[matjin]

Right now, the project is currently tabled, though Infer# itself to-date has quite complete coverage of the CIL (which doesn't change) so in some sense it is "done". The underlying Infer static analysis, which can always evolve further, is still being developed

[Piedone]

I see, thank you for explaining.