But they borrowed $1.4 billion from the IMF in December last year, so I feel that they used the loan money to buy bitcoins, even though they promised the IMF not to use public funds to buy bitcoins.
They never promised IMF on anything unrelated to that, IMF only warned them to be cautioned regarding any kind of investment like bitcoin that could be volatile, though there may be terms to the granting of the loan, but I don't think buying bitcoin is part of what could be termed as breach of law according to their agreement, this only shows how El-Salvador is been logical in their investments and IMF may only borrow them money, but not to dictate for them.
You are right. People need to read the articles about El Salvador and IMF to really check the details of the deal.
Anyway, IMF and El Salvador know more than anyone the details of their contract so they must know all the ins and the outs more than us and if they think everything is still according to the agreement then we should trust them.