nitlanguage.org >> Repos - nit.git/shortlog

2019-10-02	Jean Privat	Merge: contracts: fix usage of contract with `--erasure`	commit \| commitdiff \| tree \| snapshot
2019-10-01	Florian Deljarry	contracts: fix usage of contract with `--erasure`	commit \| commitdiff \| tree \| snapshot
2019-09-30	Jean Privat	Merge: Contract: bug fix	commit \| commitdiff \| tree \| snapshot
2019-09-30	Florian Deljarry	tests: Add tests for generic and virtual types	commit \| commitdiff \| tree \| snapshot
2019-09-30	Florian Deljarry	src/contracts: Fix contracts on virtual and generic...	commit \| commitdiff \| tree \| snapshot
2019-09-27	Jean Privat	Merge: Contract implementation	commit \| commitdiff \| tree \| snapshot
2019-09-26	Florian Deljarry	src/toolcontext: Provide contract options	commit \| commitdiff \| tree \| snapshot
2019-09-26	Florian Deljarry	share/man/nitc: Adding the man explication to disable...	commit \| commitdiff \| tree \| snapshot
2019-09-26	Florian Deljarry	contracts: Adding all contract generation mechanism	commit \| commitdiff \| tree \| snapshot
2019-09-25	Florian Deljarry	tests: adding contract testing files	commit \| commitdiff \| tree \| snapshot
2019-09-16	Jean Privat	Merge: astbuilder: First implementation of clonable...	commit \| commitdiff \| tree \| snapshot
2019-09-16	Jean Privat	Merge: Callref types	commit \| commitdiff \| tree \| snapshot
2019-09-12	Louis-Vincent...	typing: Added typing resolution for `ACallrefExpr`	commit \| commitdiff \| tree \| snapshot
2019-09-11	Florian Deljarry	tests: Add test_astbuilder to the skip list of nitcg...	commit \| commitdiff \| tree \| snapshot
2019-09-11	Florian Deljarry	test_astbuilder: Add a testing tool for the astbuilder	commit \| commitdiff \| tree \| snapshot
2019-09-11	Florian Deljarry	astbuilder: First implementation of clonable for ast...	commit \| commitdiff \| tree \| snapshot
2019-09-05	Jean Privat	Merge: Can comment annotations	commit \| commitdiff \| tree \| snapshot
2019-09-05	Jean Privat	Merge: model: Add `mpackage` importation hierarchy	commit \| commitdiff \| tree \| snapshot
2019-09-05	Jean Privat	Merge: Functional api	commit \| commitdiff \| tree \| snapshot
2019-08-28	Florian Deljarry	check_annotation: adding no_contract	commit \| commitdiff \| tree \| snapshot
2019-08-28	Florian Deljarry	check_annotation: Adding ensures annotation	commit \| commitdiff \| tree \| snapshot
2019-08-28	Florian Deljarry	check_annotation: Adding expects annotation	commit \| commitdiff \| tree \| snapshot
2019-08-28	Florian Deljarry	code_gen: Adding contracts phase	commit \| commitdiff \| tree \| snapshot
2019-08-28	Florian Deljarry	scope: Adding variable verification	commit \| commitdiff \| tree \| snapshot
2019-08-28	Florian Deljarry	modelize_property: Adding unsafe method to register...	commit \| commitdiff \| tree \| snapshot
2019-08-28	Louis-Vincent...	functional: Added universal types to callref	commit \| commitdiff \| tree \| snapshot
2019-08-28	Louis-Vincent...	functional: Added functional lib	commit \| commitdiff \| tree \| snapshot
2019-08-28	Florian Deljarry	nitweb: Update to use packages importation graph	commit \| commitdiff \| tree \| snapshot
2019-08-28	Florian Deljarry	nitdoc: Update to use packages importation graph	commit \| commitdiff \| tree \| snapshot
2019-08-28	Florian Deljarry	test_commands_catalog: Update to use packages importati...	commit \| commitdiff \| tree \| snapshot
2019-08-27	Florian Deljarry	doc/static_structure: Update package importation graph	commit \| commitdiff \| tree \| snapshot
2019-08-27	Florian Deljarry	nitx: Remove the construction of packages importation...	commit \| commitdiff \| tree \| snapshot
2019-08-27	Florian Deljarry	nitcatalog: Update to use the package graph	commit \| commitdiff \| tree \| snapshot
2019-08-27	Florian Deljarry	catalog: Update to use the package graph	commit \| commitdiff \| tree \| snapshot
2019-08-27	Florian Deljarry	digraph: Add feature to get all successors and predecessors	commit \| commitdiff \| tree \| snapshot
2019-08-27	Florian Deljarry	mmodule: Added support of package importation	commit \| commitdiff \| tree \| snapshot
2019-08-27	Florian Deljarry	mpackage: Add `mpackage` importation graph	commit \| commitdiff \| tree \| snapshot
2019-08-26	Jean Privat	tests: add comments in syntax_annotations2.nit	commit \| commitdiff \| tree \| snapshot
2019-08-26	Jean Privat	parser: regenerate with comments in line annotations	commit \| commitdiff \| tree \| snapshot
2019-08-26	Jean Privat	grammar: enable full comments in line annotations ...	commit \| commitdiff \| tree \| snapshot
2019-08-26	Jean Privat	Merge: digraph: Implementation of a reflexive directed...	commit \| commitdiff \| tree \| snapshot
2019-08-23	Jean Privat	Merge: Proposal for lambda expression syntax	commit \| commitdiff \| tree \| snapshot
2019-08-23	Jean Privat	Merge: Wrapper of ICU's UTF-16 encoded strings and...	commit \| commitdiff \| tree \| snapshot
2019-08-23	Jean Privat	Merge: Adding a Windows build test	commit \| commitdiff \| tree \| snapshot
2019-08-23	Jean Privat	Merge: Abstract_text: Add a method to get string repres...	commit \| commitdiff \| tree \| snapshot
2019-08-22	Florian Deljarry	digraph: Implementation of a reflexive directed graph	commit \| commitdiff \| tree \| snapshot
2019-08-22	Florian Deljarry	abstract_text: Refactorisation of the to_s method	commit \| commitdiff \| tree \| snapshot
2019-08-22	Florian Deljarry	abstract_text: Add the `to_sci` to get the string repre...	commit \| commitdiff \| tree \| snapshot
2019-08-20	Ana Daouda	.gitlab-ci.yml: adding a Windows build test	commit \| commitdiff \| tree \| snapshot
2019-08-20	Ana Daouda	lib/core/text: Wrapper of ICU's UTF-16 encoded strings...	commit \| commitdiff \| tree \| snapshot
2019-08-19	Jean Privat	Merge: mongodb: Fixed failing test for `aggregate`...	commit \| commitdiff \| tree \| snapshot
2019-08-19	Jean Privat	Merge: compiler: Refactored `AbstractRuntimeFunction`	commit \| commitdiff \| tree \| snapshot
2019-08-19	Jean Privat	tests: update error message of test_parser_args7.res	commit \| commitdiff \| tree \| snapshot
2019-08-19	Jean Privat	tests: add syntax_lambda to check various forms	commit \| commitdiff \| tree \| snapshot
2019-08-19	Jean Privat	parser: regenerate with lambda	commit \| commitdiff \| tree \| snapshot
2019-08-19	Jean Privat	syntax: add lambda construction with the fun keyword	commit \| commitdiff \| tree \| snapshot
2019-08-16	Louis-Vincent...	mongodb: Fixed failing test for `aggregate` method.	commit \| commitdiff \| tree \| snapshot
2019-08-15	Louis-Vincent...	compiler: Refactor `AbstractRuntimeFunction`	commit \| commitdiff \| tree \| snapshot
2019-08-14	Jean Privat	Merge: abstract_compiler: Replace the use of `n_float...	commit \| commitdiff \| tree \| snapshot
2019-08-14	Jean Privat	Merge: MModule: new method `add_mclassdef` to avoid...	commit \| commitdiff \| tree \| snapshot
2019-08-14	Jean Privat	Merge: Callref syntax	commit \| commitdiff \| tree \| snapshot
2019-08-14	Jean Privat	Merge: fix nitcc assert failure and nitcc continuous...	commit \| commitdiff \| tree \| snapshot
2019-08-13	Florian Deljarry	text/abstract_text: Adds the float conversion in expone...	commit \| commitdiff \| tree \| snapshot
2019-08-13	Florian Deljarry	astbuilder: Add a `create_callsite` method	commit \| commitdiff \| tree \| snapshot
2019-08-13	Florian Deljarry	astbuilder: Make the construction of the `AMethPropdef...	commit \| commitdiff \| tree \| snapshot
2019-08-13	Jean Privat	tests: add syntax_callref.nit	commit \| commitdiff \| tree \| snapshot
2019-08-13	Jean Privat	typing: stub to handle callrefs	commit \| commitdiff \| tree \| snapshot
2019-08-13	Jean Privat	scope: refuse `&x` where x is a local variable	commit \| commitdiff \| tree \| snapshot
2019-08-13	Jean Privat	parser: regenerate with callrefs	commit \| commitdiff \| tree \| snapshot
2019-08-13	Jean Privat	syntax: add call reference (funref+recv capture) `...	commit \| commitdiff \| tree \| snapshot
2019-08-12	Florian Deljarry	abstract_compiler: Replace the use of `n_float` by...	commit \| commitdiff \| tree \| snapshot
2019-08-12	Louis-Vincent...	MModule: new method `add_mclassdef` to avoid incoherent...	commit \| commitdiff \| tree \| snapshot
2019-07-19	Jean Privat	CI: nitunit_some skips contrib since some code might...	commit \| commitdiff \| tree \| snapshot
2019-07-18	Jean Privat	Merge: Safe call operator	commit \| commitdiff \| tree \| snapshot
2019-07-18	Jean Privat	nitcc: tests script return non-zero on failure (print...	commit \| commitdiff \| tree \| snapshot
2019-07-18	Jean Privat	nitcc: trim also remove tags on bad states	commit \| commitdiff \| tree \| snapshot
2019-07-15	Jean Privat	Merge: ci: generate metrics output in an artifact file	commit \| commitdiff \| tree \| snapshot
2019-07-15	Jean Privat	Merge: fix ci nitunit some	commit \| commitdiff \| tree \| snapshot
2019-07-15	Jean Privat	Merge: Introduce `test_frontend`	commit \| commitdiff \| tree \| snapshot
2019-07-15	Jean Privat	Merge: doc: Rename `synopsys` into `synopsis`	commit \| commitdiff \| tree \| snapshot
2019-07-15	Jean Privat	Merge: metrics: ReadmeMetrics uses markdown2	commit \| commitdiff \| tree \| snapshot
2019-07-15	Jean Privat	Merge: Update basic requirements and document them	commit \| commitdiff \| tree \| snapshot
2019-07-15	Jean Privat	Merge: Move back manual to the main repo	commit \| commitdiff \| tree \| snapshot
2019-07-15	Jean Privat	Merge: Clean old projects from `contrib`	commit \| commitdiff \| tree \| snapshot
2019-07-15	Jean Privat	Merge: github: Summer cleaning	commit \| commitdiff \| tree \| snapshot
2019-07-15	Jean Privat	ci: generate metrics output in an artifact file	commit \| commitdiff \| tree \| snapshot
2019-07-15	Jean Privat	tests: error_syntax errors on `? now	commit \| commitdiff \| tree \| snapshot
2019-07-14	Alexandre Terrasa	indexing: Use `test_frontend`	commit \| commitdiff \| tree \| snapshot
2019-07-14	Alexandre Terrasa	doc: Commands tests use `test_frontend`	commit \| commitdiff \| tree \| snapshot
2019-07-14	Alexandre Terrasa	frontend: Introduce `test_frontend` to easily test...	commit \| commitdiff \| tree \| snapshot
2019-07-14	Alexandre Terrasa	doc: Rename `synopsys` into `synopsis`	commit \| commitdiff \| tree \| snapshot
2019-07-14	Alexandre Terrasa	metrics: ReadmeMetrics uses markdown2	commit \| commitdiff \| tree \| snapshot
2019-07-12	Jean Privat	Merge: ci: basic bench with old branch	commit \| commitdiff \| tree \| snapshot
2019-07-12	Jean Privat	Merge: typing: get_method refactoring	commit \| commitdiff \| tree \| snapshot
2019-07-12	Jean Privat	Merge: nitc: fix --keep-going in the compiler broken...	commit \| commitdiff \| tree \| snapshot
2019-07-12	Jean Privat	ci: compile the manual	commit \| commitdiff \| tree \| snapshot
2019-07-12	Jean Privat	ci: do not error when nothing with nitunit_some	commit \| commitdiff \| tree \| snapshot
2019-07-12	Jean Privat	ci: tests that requirements for tools are still OK	commit \| commitdiff \| tree \| snapshot
2019-07-12	Jean Privat	README: update the state of requirements	commit \| commitdiff \| tree \| snapshot
2019-07-12	Jean Privat	tools: move nitpm to more_tools since it requires libcurl	commit \| commitdiff \| tree \| snapshot
next

Nit language project; an oo programing language and its tool suite.

RSS Atom