mirror of https://github.com/Wilfred/difftastic/
Åryd, Viktor. "AST Differencing for Solidity." (2024).
Pientka iD, Brigitte. "Modernizing SMT-Based Type Error Localization." PROCEEDINGS OF THE 24TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2024. Vol. 5. TU Wien Academic Press, 2024.