Hadrien Croubois 00cbf5a236 Update pragma to 0.8.20 (#4489) ...

Co-authored-by: Francisco Giordano <fg@frang.io>
Co-authored-by: ernestognw <ernestognw@gmail.com>

2023-07-31 17:25:45 -03:00

..

templates

Update pragma to 0.8.20 (#4489)

2023-07-31 17:25:45 -03: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