nitlanguage / nit.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge: Not null types
2015-04-08 Jean PrivatMerge: Not null types
 commit | commitdiff | tree
2015-04-08 Jean PrivatMerge: Improve checking of virtual types
 commit | commitdiff | tree
2015-04-08 Jean PrivatMerge: Clean benches
 commit | commitdiff | tree
2015-04-08 Jean PrivatMerge: Robust keep-going
 commit | commitdiff | tree
2015-04-08 Jean Privatsrc/hightlight: hightlight and do not crash on MNotNullType
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-08 Jean Privattests: add base_not_null.nit and base_notnull_lit.nit
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-08 Jean Privatcode: remove useless `or else` now that they are detected
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-08 Jean Privattests: update test_new_native_alt1.res because line...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-08 Jean Privattests: update because resolved types are in error messages
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-08 Jean Privattyping: on type error, also indicate the resolved type
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-08 Jean PrivatUpdate tests error message on null adaptation and tests
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-08 Jean Privatlib/array: suppress a warning to be compatible with...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-08 Jean Privatmodel: rename `as_notnullable` to `undecorate`
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-08 Jean Privattyping: add `check_can_be_null` to fix and factorize...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-08 Jean Privatmodel: add new type `MNotNullType` to force that null...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-07 Jean Privattests: update sav/base_virtual_type7.res
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-07 Jean Privattests: add error_virtual_type.nit and error_virtual_type2.nit
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-06 Jean Privatmodelize_property: improve the search of circularity...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-06 Jean Privatmodelize_property: use resolve_mtype_unchecked during...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-06 Jean Privatmodelize_property: remove unused ASignature::build_signature
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-04 Jean Privatlib/ai: remove randomness in puzzle so benches can...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-04 Jean Privatmodel: extract a common proxy from MNullableType
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-04 Jean Privatsrc: use MFormalType for type checks when it makes...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-04 Jean Privatmodel: introduce MFormalType as a superclass of MVirtualType...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privatbenches/strings: add .gitignore and `make clean`
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privatbenches/engines: remove nitcc generated files for calc
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privatbenchs/markdown: add a .gitignore to avoid cruft
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privatbenchs/markdown: add a root Makefile
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privattests: update fatal error messages.
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privattoolcontext: call only `errors_info` once at the end
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privatmodelbuilder: run_global_phases do nothing for an empty...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privattyping: do not rely on `MModule.object_type` that will...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privatmodel: get_primitive_class filter classes by module
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privattyping: be more robust on missing/buggy information
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privatmodelize_class: make the class-name-conflict a warning
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privatmodelize_property: invalidate information to avoid...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privatmodelize_class: make various steps more robust if the...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privatmodelbuilder: promote `get_mclass_by_name` from typing
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privatmodelbuilder: resolve_mtype does not crash when the...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privatmodel: protect MClassDef.is_intro and provide MClass...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privatloader: build_module_importation invalidates the mmodule...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privatloader: the AModule.mmodule can be null if the mmodule...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privatvarious phases: more robust for keep-going
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privatbenchs/markdown: fix location of nitc
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean PrivatMerge: parser: add a basic sabblecc3 parser in Java
 commit | commitdiff | tree
2015-04-03 Jean PrivatMerge: Unite app.nit metadata annotations common to...
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean PrivatMerge: Updated bench scripts for strings
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privatparser: add a basic sabblecc3 parser in Java
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-02 Jean PrivatMerge: benches/markdown: add `pandoc` engine.
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-02 Jean PrivatMerge: Test compilation of OS X and iOS programs, on...
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-02 Jean PrivatMerge: lib/standard/string: Added faster to_cstring...
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-02 Jean PrivatMerge: Improve loader
 commit | commitdiff | tree
2015-04-02 Jean PrivatMerge: nitdoc: introduce Bootstrap components
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-02 Jean PrivatMerge: Bench markdown --semi-global
 commit | commitdiff | tree
2015-04-01 Jean Privatloader: get_mgroup can be given the root directory...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-01 Jean Privatloader: get_mgroup search README in src first then...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-01 Jean Privatloader: parse_full look inside directories of projects
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-31 Jean Privatversion 0.7.3
 commit | commitdiff | tree
2015-03-31 Jean Privatbench_markdown: add a new engine, nitmd-o that is nitmd...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-31 Jean Privatbench_markdown: increase $s so that times are more...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-31 Jean PrivatMerge: lib/std/union_find: make DisjointSet Cloneable
 commit | commitdiff | tree
2015-03-31 Jean PrivatMerge: Rewrite the coloration for properties and types.
 commit | commitdiff | tree
2015-03-31 Jean PrivatMerge: Misc for lib
 commit | commitdiff | tree
2015-03-31 Jean PrivatMerge: iOS support
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-31 Jean PrivatMerge: sepcomp: fixup trampoline with tagged primitive...
commit | commitdiff | tree
2015-03-31 Jean PrivatMerge: Fix escape to c
 commit | commitdiff | tree
2015-03-31 Jean PrivatMerge: Fix warnings from clang on OS X
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-31 Jean Privatlib/template: migrate the example to new constructors
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-31 Jean Privatlib/geometry: document ILine
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-31 Jean Privatlib: move privileges.nit to its subdirectory
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-31 Jean Privatlib/standard: document FileReader::from_fd
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-31 Jean Privatlib/standard: factorize File*::close
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-31 Jean Privatlib/standard: add Collection::not_empty
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-31 Jean Privatlib/sorter: add `MapRead::keys_sorted_by_values` and...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-30 Jean Privatlib/sorter: add `MapRead::values_sorted_by_key`
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-30 Jean Privattest_phase: use parse_full
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-29 Jean Privatlib/std/union_find: make DisjointSet Cloneable
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-29 Jean Privatsepcomp: fixup trampoline with tagged primitive values
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-29 Jean Privattests: update sav/test_parser_args1.res for escape_to_c...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-29 Jean Privatlib/string: escape_to_c uses 3 digits in the octal...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-29 Jean Privatlib/string: escape_to_c transforms `"\t"` to `"\\t"`
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-28 Jean Privatsepcomp: do not generate class tables for dead classes
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-28 Jean Privatsepcomp: use the new `POSetGroupColorer` to color types...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-28 Jean PrivatMerge: Fast benches
 commit | commitdiff | tree
2015-03-28 Jean PrivatMerge: Fast super strings
 commit | commitdiff | tree
2015-03-28 Jean PrivatMerge: lib/std/file: do not flush on each write
 commit | commitdiff | tree
2015-03-28 Jean PrivatMerge: Some cleaning in vm files
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-28 Jean PrivatMerge: nitc: fix closing manifest writer, should fix...
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-28 Jean Privattests: remove sav/nitg-e/error_needed_method_alt4.res...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-24 Jean PrivatMerge: Fix --no-union-attributes
 commit | commitdiff | tree
2015-03-24 Jean Privatcompiler: prefill the native array with the literal...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-24 Jean Privatcompiler: `ASuperstringExpr` store the native array...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-24 Jean Privatcompiler: compile ASuperstringExpr using `native_to_s`
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-24 Jean Privatlib: introduce `NativeArray::native_to_s`
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-23 Jean Privatcompiler: add native_array_get and native_array_set
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-23 Jean Privatlib/string_exp: initialize an uninitialized attribute
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-23 Jean Privatsepcomp: initialize lazy guards to 'false' if opt_no_union_a...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-23 Jean Privatsepcomp: isset is implemented on tagged attributes
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-23 Jean Privatsepcomp: tag values when storing it with opt_no_union_attribute
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-23 Jean PrivatMerge: compiler: introduce and use `MType::is_c_primitive`
 commit | commitdiff | tree
next
Nit language project; an oo programing language and its tool suite.