nitlanguage / nit.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge: miniclean quadtrees
2015-04-10 Jean PrivatMerge: miniclean quadtrees
 commit | commitdiff | tree
2015-04-09 Jean Privatquatree: cleaup indentation
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-09 Jean Privatquadtree: use new constructors
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-09 Jean PrivatMerge: Misc AST
 commit | commitdiff | tree
2015-04-09 Jean PrivatMerge: new `with` statement
 commit | commitdiff | tree
2015-04-08 Jean Privattests: update nitlight and test_parser
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-08 Jean Privathightlight: remove two asserts that make #1247 crashes
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-08 Jean Privattest_parser: add option `-x` to output XML
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-08 Jean Privathighlight: add infoboxes with messages
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-08 Jean Privathighlight: factorize the creation of tags
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-08 Jean Privattoolcontext: error methods return the messages, to...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-08 Jean Privattoolcontext: attach errors message to their location
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-08 Jean Privatparser: reuse child location when possible
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-08 Jean Privatlexer: do not create useless location (for whitespaces)
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-08 Jean PrivatMerge: Parallelization phase introduction
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
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 Privattests: add base_with.nit
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privatcode: rename identifiers `with` since it is a keyword now
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privatinterpreter: interpret `with` statement
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-03 Jean Privattransform: transform the `with` statement
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-30 Jean Privatsemantize: handle the with statement
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-30 Jean Privatparser: regenerate with the `with` statement
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-03-30 Jean Privatgrammar: new `with` statement
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
next
Nit language project; an oo programing language and its tool suite.