nitlanguage
/
nit.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
oldmm: add MMtype#has_formal
2013-03-14
Jean Privat
oldmm: add MMtype#has_formal
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-03-14
Jean Privat
tests: add args to nitg.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-03-14
Jean Privat
tests: add post-args to nitc
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-03-14
Jean Privat
tests: add post-args execution
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-03-14
Jean Privat
tests: add a basic interpretation
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-03-14
Jean Privat
niti: add extern method atof
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-03-08
Jean Privat
nitg: remove VISITOR in ANode
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-03-08
Jean Privat
tests: really removed generic tree option from Makefile
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-03-07
Jean Privat
nitg: add missing final new-line
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-03-07
Jean Privat
nitg: reintroduce 61f51486b07b14 (method supercall)
commit
|
commitdiff
|
tree
2013-03-07
Jean Privat
nitg: reintroduce 12d65b1df22 (use lookup_first_definition)
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-03-07
Jean Privat
layout: temporally rename method linearize_mclasses...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-03-07
Jean Privat
Merge remote-tracking branch 'alexandre/master' into...
commit
|
commitdiff
|
tree
2013-02-12
Jean Privat
update c_src (now with ffi)
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-02-11
Jean Privat
Merge branch 'al-libs'
commit
|
commitdiff
|
tree
2013-02-11
Jean Privat
lib: add missing #include<stdio.h>
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-02-07
Jean Privat
Merge remote-tracking branch 'alexis/ffi-in-nitc'
commit
|
commitdiff
|
tree
2013-02-05
Jean Privat
tests: add base_adaptive.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-02-05
Jean Privat
flow: force the creation of a specific merge after...
commit
|
commitdiff
|
tree
2013-02-05
Jean Privat
flow: AProxyExpr do not lose true/false context information
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-02-05
Jean Privat
flow: fix dot file---forgot the closing }
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-02-05
Jean Privat
flow: use the correct entry point in visit_expr
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-02-05
Jean Privat
flow: rewrite AOrExpr to be symmetric with AAndExpr
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-02-05
Jean Privat
flow: do not lose the after_expr context in AAssertExpr
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-31
Jean Privat
tests: propose alternate and fixme for base_super_linext_*
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-31
Jean Privat
typing: remove NOT YET IMPLEMENTED in ASuperExpr
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-31
Jean Privat
model: implements lookup_*_definition with linearization
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-31
Jean Privat
model: add linearize_mclasses, linearize_mclassdefs...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-31
Jean Privat
POSet is an AbstractSorter
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-31
Jean Privat
lib: make AbstractSorter#compare public
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-26
Jean Privat
tests: force live methods in base_*_variance to helps...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-26
Jean Privat
tests: update nitg-s base_attr_gen_alt1
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-25
Jean Privat
nitg: new complier service supercall
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-25
Jean Privat
model: implements lookup_next_definition
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-25
Jean Privat
typing: enable calls on a conflicting local property...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-25
Jean Privat
niti, nitg & rta: use lookup_first_definition
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-25
Jean Privat
model: implements lookup_first_definition with a default...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-25
Jean Privat
modelbuilder: check inheritance loops
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-25
Jean Privat
tests: cleanup files from sav/fixme
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-24
Jean Privat
tests: fig base_isa_nullable_vt.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-24
Jean Privat
niti: disable interpretor_type_test
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-23
Jean Privat
niti: test null receiver on attribute access
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-23
Jean Privat
niti: add covariance checks
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-17
Jean Privat
lib: modify lib/pipeline to work on collection instead...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2013-01-17
Jean Privat
lib: new module pipeline
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-17
Jean Privat
bench: forgot ".dat" on some prepare_res
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-17
Jean Privat
fix: bench: ad --no-cc for nitg test on run_compiler
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-17
Jean Privat
bench: better order in options-typing and policy
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-17
Jean Privat
bench: store count on plot file
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-17
Jean Privat
bench: ad --no-cc for nitg test on run_compiler
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-16
Jean Privat
nitg-s&e: clean nullable management on type_test
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-16
Jean Privat
bench: add bench_typetest_languages
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-16
Jean Privat
nitg: add GlobalCompiler::new_file
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-15
Jean Privat
model: semi-fixed bounds for VirtualType
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-14
Jean Privat
tests: forgot to add base_gen_variance2.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-14
Jean Privat
bench: add --fast and reorganize bench
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-14
Jean Privat
shoot: add option for headless run
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-14
Jean Privat
benchs: add bench_policy
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-14
Jean Privat
nitg-s: skip some easy-case tests
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-14
Jean Privat
nitg: add option --typing-test-metrics
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-14
Jean Privat
nitg: shortcut 'for' loops on explicit ranges
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-14
Jean Privat
nitg: autoadapt expression on exit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-14
Jean Privat
nitg: protect for additional arguments
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-14
Jean Privat
tests: add base_gen_variance2.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-13
Jean Privat
nitg: use GC_MALLOC_ATOMIC for calloc_string
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-13
Jean Privat
nitg-s: shortcut the == invocation
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-13
Jean Privat
nitg-s: fix opt_generic_tree with opt_hardening
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-13
Jean Privat
fix opt_no_union_attribute
commit
|
commitdiff
|
tree
2012-12-13
Jean Privat
nitg-s&e: implements attributes in a C union
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-12
Jean Privat
tests: nitg-s can bootstrap!
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-12
Jean Privat
tests: add base_formal_isa
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-12
Jean Privat
tests: add base_vararg2.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-12
Jean Privat
nitg: better creation of varargs instances
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-12
Jean Privat
niti: *_class_name use the full type name
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-12
Jean Privat
nitg-s: add hardening on initialization
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-12
Jean Privat
nitg-s: implements unanchored_table correctly
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-11
Jean Privat
nitg-s: implements calloc_array by calling native_array_instance
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-11
Jean Privat
nitg-s: remove superfluous autobox
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-11
Jean Privat
nitg-s: add primitive types to the set of mtypes
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-11
Jean Privat
nitg-s: rename fields Xts to types to be consistant...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-11
Jean Privat
nitg: disable Boehm's GC by defining the macro NOBOEHM
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-11
Jean Privat
bench: compare nitg-e with various compiler and -O...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-11
Jean Privat
nitg: add option --make-flags to pass options to make
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-11
Jean Privat
bench: add bench_nitc_vc_nitg
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-11
Jean Privat
bench: replace shootout_binarytrees with bench_bintree_gen
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-11
Jean Privat
tests: add bench_bintree_gen
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-11
Jean Privat
tests: base_gen_reassign.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-11
Jean Privat
tests: add a timeout limit to avoid blocked programs
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-11
Jean Privat
nitg-s&e: store class_names directly in the type/class...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-11
Jean Privat
nitg-e: make HASH a macro, not a function
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-10
Jean Privat
benchs: add nitg-s to benchs
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-10
Jean Privat
bench: factorize some benchs
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-10
Jean Privat
nitg-s&e: compile module in local knowledge
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-10
Jean Privat
Merge remote-tracking branch 'alexandre/master'
commit
|
commitdiff
|
tree
2012-12-09
Jean Privat
Merge remote-tracking branch 'alexandre/master'
commit
|
commitdiff
|
tree
2012-12-09
Jean Privat
tests: add test_array_formal.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-09
Jean Privat
tests: add base_virtual_type_variance.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-09
Jean Privat
tests: add base_attr_boxing.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-09
Jean Privat
nitg-e: add option --no-check-erasure-cast to disable...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-09
Jean Privat
nitg-e: implements erasure-cast
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
next
nitlanguage / nit.git / search