nitlanguage / nit.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
friendz: add solver_cmd for solve from command line
2014-08-11 Jean Privatfriendz: add solver_cmd for solve from command line
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-08-11 Jean Privatfriendz: use ai::backtrack instead of the ad-hoc solver
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-08-11 Jean Privatlib/ai: add the eight-queen problem as an example
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-08-11 Jean Privatlib/ai: introduce the ai library with `backtrack` as...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-08-05 Jean Privatlib/realtime: Add Timespec::to_f (and to_s) so one...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-08-04 Jean PrivatMerge: sendmail & detect programs in path (also used...
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-08-04 Jean PrivatMerge: lib/standard: rework and factorise queues and...
commit | commitdiff | tree
2014-08-04 Jean PrivatMerge: introduce and use MModuleData
 commit | commitdiff | tree
2014-08-04 Jean Privattests: base_user_annotation4 for multiple annotation...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-08-04 Jean Privatcheck_annotation: warn if a module declares again annotation
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-08-04 Jean Privattests: updates for user-declated annotations
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-08-04 Jean Privatlib: add user-declared annotations on some modules
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-08-04 Jean Privatsrc: new phase check_annotation
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-08-04 Jean Privatandroid: remove priority_annotation_on_modules and...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-08-04 Jean Privatannotation: add lookup_annotation_on_modules and related...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-08-04 Jean Privatlib/standard: rework and factorise queues and heaps.
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-08-04 Jean Privatversion 0.6.7
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-08-04 Jean PrivatMerge: Add and icon, an app name and a version for...
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-08-04 Jean PrivatMerge: Minor fixes to the Android support
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-31 Jean PrivatMerge: Tnitter
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-31 Jean Privatannotation: move collect_annotations_on_modules from...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-31 Jean Privatsrc: use `get_annotations` instead of `collect_annotations_b...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-31 Jean Privatmodel: add mmodule_data
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-31 Jean PrivatMerge: Icons on Android
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-31 Jean PrivatMerge: Clean some imports
 commit | commitdiff | tree
2014-07-31 Jean Privatposet: add select_smallest and select_greatest
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-30 Jean PrivatMerge: Toplevel for sys and exit
 commit | commitdiff | tree
2014-07-30 Jean PrivatMerge: Android annotations and longs
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-30 Jean PrivatMerge: The Web server nitcorn, libevent and others
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-30 Jean Privatpnacl: redef exit as a top-level
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-30 Jean Privattests: update sav/base_gen_reassign because line changes...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-30 Jean Privatsrc: remove some useless import
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-30 Jean Privatmodelbuilder: TODO, check for useless importation
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-30 Jean Privatparser: do not export tables
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-30 Jean Privatlib: string does not need anymore to intrude array
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-30 Jean PrivatMerge: Utf8 strings
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-30 Jean PrivatMerge: Ropes optimizations
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-30 Jean PrivatMerge: Benchmarks string
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-29 Jean PrivatMerge: mnit_simple: rename FDROID metadata to match...
commit | commitdiff | tree
2014-07-29 Jean PrivatMerge: gitignore: some update
 commit | commitdiff | tree
2014-07-29 Jean PrivatMerge: c_src: update
 commit | commitdiff | tree
2014-07-29 Jean Privattyping: no more special case for `sys` and `exit`
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-29 Jean Privatlib: `sys` and `exit` are toplevel
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-29 Jean Privatc_src: update
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-28 Jean PrivatMerge: model: add `MType::as_notnullable` to remove...
commit | commitdiff | tree
2014-07-28 Jean PrivatMerge: type works: handle implicitly fixed formal parameters
 commit | commitdiff | tree
2014-07-28 Jean PrivatMerge: Magic configuration for bash completion
 commit | commitdiff | tree
2014-07-28 Jean Privatmnit_simple: rename FDROID metadata to match the java_package
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-25 Jean Privatbash_completion: add a magic script that do the bash_complet...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-25 Jean Privattests: update test_toolcontext
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-25 Jean Privattool_context: do not need an attribute bash_completion
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-25 Jean Privattool_context: just print the bash_completion, let the...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-25 Jean Privattool_context: correct default for bashcompletion
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-24 Jean PrivatMerge: Bufferized ropes
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-24 Jean Privatsrc: use `as_notnullable` in code
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-24 Jean Privatmodel: add `MType::as_notnullable` to remove the `nullable...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-24 Jean Privattests: update existing savs (new warning or updates)
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-24 Jean Privattests: add base_gen_final_bound.nit
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-24 Jean Privatmodelize_classes: warn on parameter types bounded on...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-24 Jean Privatmodel: MParameterType.resolve_for handle the case of...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-24 Jean Privattyping: generalize warning on useless type tests.
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-24 Jean Privattests: fix a typing error in some tests
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-24 Jean Privattool_context: bashcompletion use the basename of sys...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-24 Jean Privatgitignore: some update
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-23 Jean PrivatMerge: lib/standard: assert "/home/../".simplify_path...
commit | commitdiff | tree
2014-07-23 Jean PrivatMerge: Tired of having to remember all the Nit options...
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-23 Jean PrivatMerge: rename Sys::args
 commit | commitdiff | tree
2014-07-23 Jean PrivatMerge: Opts: small improvement
 commit | commitdiff | tree
2014-07-23 Jean PrivatMerge: Add annotation `fixed` for virtual types
 commit | commitdiff | tree
2014-07-23 Jean PrivatMerge: Introduce `neo`: a model saver/loader from/to...
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-23 Jean Privatlib/standard: assert "/home/../".simplify_path == "/"
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-23 Jean Privattests: extends test_opts for grouped single options
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-23 Jean Privattests: add base_virtual_type_fixed.nit
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-23 Jean Privatmodel: introduce `MVirtualType::is_fixed` used indirectly...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-23 Jean Privattyping: remove hack for top-level method `args`
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-23 Jean Privatlib/standard: distinguish `args` and `sys.args`
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-23 Jean Privatopts: fix crash on grouped single options
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-23 Jean Privattests: extends base_virtual_type_redef for `is fixed`
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-23 Jean Privatmodel: add annotation `fixed` on virtual types
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-23 Jean Privattests: update for VT check
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-22 Jean PrivatMerge: Fix Android app name
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-22 Jean PrivatMerge: Serialization: use model to get attribute types...
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-22 Jean PrivatMerge: mnit_simple : Refactoring of android modules...
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-22 Jean PrivatMerge: nitmetrics: fix typo in usage text
Reviewed-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-22 Jean Privatmodelize_properties: check redef types in ATypePropdef
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-22 Jean PrivatMerge: fix Int#to_s and migrate Java FFI Int to longs
 commit | commitdiff | tree
2014-07-22 Jean PrivatMerge: Add annotation lazy on attributes
 commit | commitdiff | tree
2014-07-22 Jean Privattests: add base_attr_lazy
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-22 Jean Privatniti: implements lazy in the getter using isset
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-22 Jean Privatniti: extract attribute expr evaluation in its own...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-22 Jean Privatniti: Interpretor provides a service isset_attribute
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-22 Jean Privatniti: clean AAttrPropdef#call
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-22 Jean Privatcomp: compile `lazy` in the getter
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-22 Jean Privatcomp: clean AAttrPropdef#compile_to_c
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-22 Jean Privatmodelize_property: add a guard for lazy attributes
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-22 Jean Privatmodelize_property: add annotation `lazy`
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-22 Jean Privatlib/android: update to Java `long` to represent a Nit...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2014-07-22 Jean PrivatMerge: add the annotation `readonly` on attributes
 commit | commitdiff | tree
2014-07-22 Jean PrivatMerge: understand writable as an annotation
 commit | commitdiff | tree
2014-07-22 Jean PrivatMerge: add attribute annotation `noinit` to skip the...
commit | commitdiff | tree
next
Nit language project; an oo programing language and its tool suite.