Merge: Contract: Change mpropdef driving
[nit.git] / src / frontend / check_annotation.nit
2019-10-09 Florian Deljarrycontracts: change the contract syntax
2019-08-28 Florian Deljarrycheck_annotation: adding no_contract
2019-08-28 Florian Deljarrycheck_annotation: Adding ensures annotation
2019-08-28 Florian Deljarrycheck_annotation: Adding expects annotation
2017-11-28 Alexandre Terrasafrontend: parse examples annotations
2017-11-28 Alexandre Terrasafrontend: move annotations to check_annotation
2017-02-10 Jean Privatnitc: add new module annotation `is generated`
2016-04-18 Alexis Laferrièreinterpreter: the annotation light_ffi identifies a...
2016-02-26 Jean Privatmodelize: new attribute annotation `is optional`
2015-07-21 Jean Privatloader: basic implementation of conditional importations
2015-05-27 Jean Privatmodelize: rename annotation `autoinit` on attributes...
2015-04-15 Jean Privatsrc: improve messages (and sometime location) of errors...
2015-04-03 Jean Privatvarious phases: more robust for keep-going
2015-03-18 Jean Privatfrontend: new phase `deriving` to derive things
2015-02-26 Jean Privatfrontend: remove deprecated cached annotation and phase
2015-02-20 Jean Privatmodelize: accepts `noautoinit` the new name of `noinit`.
2015-01-24 Alexis Laferrièrenitc: rename `c_compiler_option` and cie to `cflags...
2014-12-20 Jean PrivatMerge: More documentation in src
2014-12-20 Jean Privatsrc: finish documenting some module
2014-12-19 Jean Privatfrontend: new phase and annotation `no_warning` to...
2014-09-29 Jean Privatmodelize: new annotation `autoinit` for manual setters
2014-09-19 Jean Privatsrc: add tag to existing warnings
2014-09-09 Jean Privatmodelize: works if abstract, intern and extern are...
2014-09-06 Jean Privatmodelize: introduce annotation
2014-09-03 Jean Privatsrc: create groups for related things