1.0-rc4

Also drop s390

Codex RC3

This release follows our OOPSLA'2024 paper https://codex.top/papers/2024-oopsla-typedc-dependent-nominal-physical-type-system.html with the latest Codex version

Release 1.0rc1 (first beta)

This is the first public version of Codex.