Jean Privat
Jean Privat
It could be useful to define about a syntax to explicit contract for methods (pre and post conditions). Such contracts can then be semantically checked by the frontend, asserted by...
The C code is generated naively and we do not try to remove dead parts. Thus silent C compiler warnings about unreachable things. Close #2780
A logo or something could be used for some identity and be used as file icon and other
so, when keep-going is activated, mproperty.intro and other related services wont crashes. Thus fixes #2599 moreover, the mpropdefs attempts are registered in the model (if one need them?). This might...
The search bar will be likely on of the most used features of nitweb. - [x] smart case-insensitivity - [x] sort with textual proximity - [x] click on the card,...
The tool should create (update?) some stub files: - [x] package.ini (maybe feed info from the git repo?) - [ ] src subdirectory - [x] makefile (comon build rules or...
When I try to authenticate myself, benitlux says > Deserialization Error: Doesn't know how to deserialize class "TenenitError" Tried with the last release on nitdroid: http://nitlanguage.org/fdroid/net.xymus.benitlux_1706191107.apk