nitlanguage
/
nit.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
nit.git
2012-12-11
Jean Privat
bench: add bench_nitc_vc_nitg
commit
|
commitdiff
|
tree
|
snapshot
2012-12-11
Jean Privat
bench: replace shootout_binarytrees with bench_bintree_gen
commit
|
commitdiff
|
tree
|
snapshot
2012-12-11
Jean Privat
tests: add bench_bintree_gen
commit
|
commitdiff
|
tree
|
snapshot
2012-12-11
Jean Privat
tests: base_gen_reassign.nit
commit
|
commitdiff
|
tree
|
snapshot
2012-12-11
Jean Privat
tests: add a timeout limit to avoid blocked programs
commit
|
commitdiff
|
tree
|
snapshot
2012-12-11
Jean Privat
nitg-s&e: store class_names directly in the type/class...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-11
Jean Privat
nitg-e: make HASH a macro, not a function
commit
|
commitdiff
|
tree
|
snapshot
2012-12-10
Jean Privat
benchs: add nitg-s to benchs
commit
|
commitdiff
|
tree
|
snapshot
2012-12-10
Jean Privat
bench: factorize some benchs
commit
|
commitdiff
|
tree
|
snapshot
2012-12-10
Jean Privat
nitg-s&e: compile module in local knowledge
commit
|
commitdiff
|
tree
|
snapshot
2012-12-10
Jean Privat
Merge remote-tracking branch 'alexandre/master'
commit
|
commitdiff
|
tree
|
snapshot
2012-12-09
Alexandre Terrasa
nitg-e: avoid automatic boxing in vt resolution
commit
|
commitdiff
|
tree
|
snapshot
2012-12-09
Alexandre Terrasa
nitg-s/-e: avoid compilation of emtpy vt/ft/unanchored...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-09
Alexandre Terrasa
nitg-s: merged fts, vts and unanchored struct types...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-09
Alexandre Terrasa
nitg-s: reorder struct type fields
commit
|
commitdiff
|
tree
|
snapshot
2012-12-09
Alexandre Terrasa
nitg-s: introduce unanchored resolution tables.
commit
|
commitdiff
|
tree
|
snapshot
2012-12-09
Jean Privat
Merge remote-tracking branch 'alexandre/master'
commit
|
commitdiff
|
tree
|
snapshot
2012-12-09
Jean Privat
tests: add test_array_formal.nit
commit
|
commitdiff
|
tree
|
snapshot
2012-12-09
Jean Privat
tests: add base_virtual_type_variance.nit
commit
|
commitdiff
|
tree
|
snapshot
2012-12-09
Jean Privat
tests: add base_attr_boxing.nit
commit
|
commitdiff
|
tree
|
snapshot
2012-12-09
Jean Privat
nitg-e: add option --no-check-erasure-cast to disable...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-09
Jean Privat
nitg-e: implements erasure-cast
commit
|
commitdiff
|
tree
|
snapshot
2012-12-09
Jean Privat
typing: add CallSite::erasure_cast to indicate if a...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-09
Jean Privat
nitg: add v.compile_callsite to generate the send assoc...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-09
Jean Privat
typing: attach CallSite instances to AST nodes
commit
|
commitdiff
|
tree
|
snapshot
2012-12-09
Alexandre Terrasa
nitg-s: retrieve recursively all partial generic types
commit
|
commitdiff
|
tree
|
snapshot
2012-12-09
Jean Privat
typing: new class CallSite
commit
|
commitdiff
|
tree
|
snapshot
2012-12-09
Alexandre Terrasa
nitg-s: add cast to remove c warnings
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Alexandre Terrasa
benchs: add entry for nitg-e with inline colors, bm...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Alexandre Terrasa
tests: add goals in makefile for nitg-s/-e with --bm...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Alexandre Terrasa
tests: update option list for nitg, nitg-s & nitg-e
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Alexandre Terrasa
coloring: replace static bound of OrderedSet[nullable...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Alexandre Terrasa
nitg-s/-e: rename c variable "type" in body function...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Alexandre Terrasa
Merge remote-tracking branch 'github-privat/master'
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Alexandre Terrasa
nitg-s: introduce formal type perfect hashing
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Alexandre Terrasa
nitg-s/-e: introduce virtual type perfect hashing
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Alexandre Terrasa
nitg-s: limit table access by factoring c code
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Jean Privat
nitg-s: instantiate the right array in case of unresolv...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Alexandre Terrasa
nitg-s/-e: make typing related option names simpler
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Alexandre Terrasa
nitg-s: option --use-naive-coloring now affects FT...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Alexandre Terrasa
nitg-s/-e: always use coloration for attributes and...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Jean Privat
nitg-s: allocate HashSet[MType] for conflicts_graph_cache
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Jean Privat
bench: split and specialize "options" benchs
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Jean Privat
bench: do not crash on die, just flag the failed command
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Jean Privat
tests: upgrade nitg-s to *.nit
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Jean Privat
nitg: do not compile main during the instantiation
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Alexandre Terrasa
nitg-s/-e: add option --use-*-perfect-hashing
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Jean Privat
Merge remote branch 'alexandre/master'
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Jean Privat
tests: add base_autocast.nit
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Jean Privat
nitg: implements implicit casts for unsafe nexpr
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Jean Privat
tests: declare Bool to base_types_nullable_formal_and_v...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Jean Privat
tests: fix test_attr_easy.res for the new model.
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Jean Privat
niti: implements implicit casts for unsafe nexpr
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Jean Privat
typing: new attribute AExpr::implicit_cast_to
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Jean Privat
typing: the return of check_subtype can distinguish...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Jean Privat
lib: fix ArrayMapValues::first
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Jean Privat
model: rewrite of MType::is_subtype
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Alexandre Terrasa
nitg: refactoring
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Jean Privat
lib: rewrite Collection::rand without explicit closure
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Jean Privat
tests: test equality on Float
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Jean Privat
tests: add base_attr_init_val_raf.nit
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Jean Privat
tests: add base_gen_variance.nit
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Alexandre Terrasa
nitg-s/-e: Add option --use-naive-coloring
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Alexandre Terrasa
nitg-e: change empty slots representation in vt tables...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Alexandre Terrasa
nitg: fix tests/sav/nitg with new options added in...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Alexandre Terrasa
nitg-s: add --inline-coloring-numbers option
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Alexandre Terrasa
nitg-s/-e: refactor property coloring for use of #define
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Alexandre Terrasa
nitg-s: rename SeparateCompiler:do_global_type_coloring...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Alexandre Terrasa
nitg-s/-e: move compiler.header initialisation into...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Alexandre Terrasa
nitg/nitg-s: move MParameterType::c_name and MNullableT...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Alexandre Terrasa
Merge remote-tracking branch 'github-privat/master'
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Alexandre Terrasa
nitg-s/nitg-e: handles nullable virtual type based...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Alexandre Terrasa
niti: move base_isa_nullable2 to fixme
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Jean Privat
niti: do not output object_id (not reliable)
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Jean Privat
nitg: check_init_instance use a call CHECK_NEW_XXX
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Jean Privat
nig: localize init_expr in attributes
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Jean Privat
nitg: factorize Compiler#generate_init_attr
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Jean Privat
nitg: check_init_instance require a type
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Jean Privat
bench: compilation_time: replace nitg.bin by nitg-e
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Jean Privat
nitg: two equal C types do not imply equal Nit types
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Jean Privat
nitg: add dangerous options to disable runtime tests
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Jean Privat
nirg-sep: introduce box_kind to implements the "is...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Jean Privat
nitg-sep: add option --no-inline-intern
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Jean Privat
nitg-sep: inline primitive call on intern methods
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Jean Privat
nitg-e: fix implementation of class_name_string
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Jean Privat
nitg: move engine selection to nitg.nit
commit
|
commitdiff
|
tree
|
snapshot
2012-12-04
Alexandre Terrasa
nitg-e: better handling of virtual types.
commit
|
commitdiff
|
tree
|
snapshot
2012-12-04
Alexandre Terrasa
tests: add some tests on virtual types.
commit
|
commitdiff
|
tree
|
snapshot
2012-12-04
Alexandre Terrasa
tests: add some tests for covariant genericity.
commit
|
commitdiff
|
tree
|
snapshot
2012-12-04
Alexandre Terrasa
model: MGenericType::to_s add space between formal...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-03
Alexandre Terrasa
nitg-sep: fix calloc_array to use the live generic...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-03
Alexandre Terrasa
Merge branch 'master' of https://github.com/privat/nit
commit
|
commitdiff
|
tree
|
snapshot
2012-12-03
Alexandre Terrasa
nitg-sep: better handling of nullable types
commit
|
commitdiff
|
tree
|
snapshot
2012-12-03
Alexandre Terrasa
nitg-sep: colorize live generic types entries
commit
|
commitdiff
|
tree
|
snapshot
2012-12-03
Jean Privat
bench: add a boostrap test to generate compilers
commit
|
commitdiff
|
tree
|
snapshot
2012-12-03
Jean Privat
bench: add nitg-e as en engine
commit
|
commitdiff
|
tree
|
snapshot
2012-12-03
Jean Privat
tests: add nitg-s and nitg-e as specific engines
commit
|
commitdiff
|
tree
|
snapshot
2012-12-03
Jean Privat
tests: put stderr before stdout
commit
|
commitdiff
|
tree
|
snapshot
2012-12-03
Jean Privat
niti: write fatal error on stderr
commit
|
commitdiff
|
tree
|
snapshot
2012-12-03
Jean Privat
tests: niti skips test_mem
commit
|
commitdiff
|
tree
|
snapshot
next