search

Copilot-Language / copilot

A stream-based runtime-verification framework for generating hard real-time C code.
http://copilot-language.github.io
618 stars 49 forks source link

`copilot-core`: Rename functions to comply with style guide. Refs #457. #464

Closed ivanperez-keera closed 7 months ago

ivanperez-keera commented 7 months ago

Deprecate Copilot.Core.Type.typename, Copilot.Core.Type.tylength, Copilot.Core.Type.tysize, Copilot.Core.Type.fieldname, Copilot.Core.Type.accessorname, Copilot.Core.Type.Array.arrayelems, define corresponding functions with lowerCamelCase names, and update all uses across all copilot libraries, as described in the solution proposed for #457.