nitlanguage / nit.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
lib/ai/backtrack: add a missing assert
2015-04-14 Jean Privatlib/ai/backtrack: add a missing assert
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-14 Jean Privatlib/a_star: avoid bad autocast
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-14 Jean Privatcompiler: consider untyped expressions and statement...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-14 Jean Privattyping: handle `a == null` when `a` is null
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-14 Jean Privattyping: shortcut `get_variable` on never-adapted variables
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-11 Jean Privattyping: ensure monotony on literal arrays
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-11 Jean Privattyping: revisit on type-adaptation, until there is...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-11 Jean Privattyping: mark variable dirty on type_adaptation
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-11 Jean Privattyping: compute FlowContext::collect_types without...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-11 Jean Privattyping: remove cache in FlowContext
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-11 Jean Privatflow: improve dot-rendering for debugging
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-11 Jean Privatflow: fix loop links on continue
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-10 Jean PrivatMerge: Sys is top
 commit | commitdiff | tree
2015-04-10 Jean PrivatMerge: Robust IO
 commit | commitdiff | tree
2015-04-10 Jean PrivatMerge: miniclean quadtrees
 commit | commitdiff | tree
2015-04-10 Jean Privattests: remove fixme sav/nitg-g/fixme/test_deriving_alt1.res
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-10 Jean Privattests: ffi use `Sys_` instead of `Object_` prefix
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-10 Jean Privattests: update tests results related to top-level or...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-10 Jean Privatcode: remove `protected` from top-level methods (now...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-10 Jean Privattyping: remove most top-level things
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-10 Jean Privatlib/md5: do not import `print` in FFI
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-10 Jean Privatmixin: look for top-level methods in `Sys`.
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-10 Jean Privatmodelize_classes: top-level methods are defined in...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-10 Jean Privatengines: implement special fall-back to sys
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-10 Jean Privattyping: look for method in `sys` when they are not...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-10 Jean Privatmodelize classes: process AStdClassdef before
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-10 Jean Privatniti: implements native `chdir` and `mkdir` with a...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-09 Jean Privattests: update sav related to ligne changes in kernel
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-09 Jean Privatcontrib/nitester: no more free to call
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-09 Jean Privatlib: move errno and strerror to legacy FFI
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-09 Jean Privatlib/file: once some global constants
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-09 Jean Privatlib/file: some methods return a nullable Error on error
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-09 Jean Privatlib/file: String::files does not exist on error
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-09 Jean Privatlib/file: remove useless protected for top-level methods
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-09 Jean Privatlib/file: expose FileStat instead of NativeFileStat
Signed-off-by: Jean Privat <jean@pryen.org>
 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 Privatlib/file: add some doc and nitunits
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2015-04-06 Jean Privatclib/gc_chooser: add a default for a switch to silent...
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
next
Nit language project; an oo programing language and its tool suite.