cjdb/constexpr-contracts
Pre-conditions, post-conditions, and assertions, all available at compile-time
C++Apache-2.0
Stargazers
- aminyaAbacus AI
- ArekPiekarz
- Cons-CatSanta Clara, California
- dani-who-likes-engineering
- dvirtz
- gauravssnllocalhost
- GavinRay97@hasura
- HaxyM
- inter1965
- jfalcouUniversity Paris Sud XI, CNRS
- joydoJoySec
- k-pypinBelgrade
- karnkaulBlizzard
- loopunitUSA
- LordAlbiorGood Dog Games
- malytomasPrague, Czech Republic
- mguludagLuxoft
- omasanoriJapan
- przempore
- reiner2403Antaro GmbH
- schwarzschild-radiusNvidia
- sv1990
- WmbatUndergrad Student