Compile in `dev` mode by default.

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

MIT License

321 stars 49 forks source link

Compile in `dev` mode by default. #481

Closed strub closed 11 months ago

strub commented 11 months ago

Until now, make was building EasyCrypt in release mode.

The set of warning flags in release mode is weaker then in development mode. Switching to dev mode caused the apparition of some warnings. This commit fixes them.