Ernesto García 7bb5592ad5 Bump minimum pragma version to 0.8.19 (#4288)

2023-05-29 21:37:37 +02:00

..

templates

Bump minimum pragma version to 0.8.19 (#4288)

2023-05-29 21:37:37 +02:00

format-lines.js

Use Prettier for JS files (#3913)

2023-01-04 15:03:40 +01:00

run.js

Move the Checkpoints library to utils/structs (#4275)

2023-05-26 16:19:27 -03:00