37 Commits (master)

Author	SHA1	Message	Date
Gwenaël Delaval	c5c5654068	Added bzreax script ; added uninstall target in Makefiles	9 years ago
Adrien Guatto	fc08800be6	Improved Emacs mode	12 years ago
Adrien Guatto	b00eab153c	heptc script: compile C code in addition to Java.	12 years ago
Adrien Guatto	6afb0a4f52	Heptagon mode for GNU/Emacs.	12 years ago
Léonard Gérard	0aad3ac466	eclipse stuff	13 years ago
Léonard Gérard	da3147151d	Better check signature error message	13 years ago
Léonard Gérard	646cfab82b	Enforce style : no tab, no trailing whitespace.	13 years ago
Léonard Gérard	25ce5edbd0	debugger_script_gen	13 years ago
Léonard Gérard	8ebb75f8bf	New debugger script with a partial generator.	13 years ago
Léonard Gérard	83b0182874	Merge branch 'clocked_inputs' into decade ... Conflicts: compiler/heptagon/analysis/typing.ml compiler/heptagon/parsing/hept_scoping.ml compiler/heptagon/parsing/hept_static_scoping.ml compiler/main/mls2obc.ml compiler/obc/c/cmain.ml	13 years ago
Léonard Gérard	d0ad427a92	stricter enforce_style	13 years ago
Adrien Guatto	fd0b3efd2c	Fixed helper scripts.	13 years ago
Léonard Gérard	1d6feeef54	some more tests	13 years ago
Adrien Guatto	a15276f053	Compile with proper include to pervasives.h.	13 years ago
Cédric Pasteur	747c2aaad5	New convention: 100 columns per line ... Please follow this rule	13 years ago
Léonard Gérard	b8b16a7355	blop	13 years ago
Léonard Gérard	159bab2a55	async constants.	13 years ago
Léonard Gérard	c2d172af48	check changes.	14 years ago
Léonard Gérard	207de4d6e7	Added some tests.	14 years ago
Léonard Gérard	93f2c8bceb	debugger_script updated.	14 years ago
Adrien Guatto	405edd8649	Smart(er) heptc-c.sh script	14 years ago
Léonard Gérard	c677738903	enforce_style.sh now deals with parsing files.	14 years ago
Adrien Guatto	f15a6c528e	Better syntax highlighting for VHDL and Heptagon.	14 years ago
Léonard Gérard	1e6ec0a7d0	improved tools/enforce_style.	14 years ago
Léonard Gérard	aa3923cb56	Small 'check' cosmetic. ... debugger_script updated.	14 years ago
Léonard Gérard	aad7b29c30	small print debugging tweaks.	14 years ago
Adrien Guatto	34b7533d86	Syntax highlighter: << and >>	14 years ago
Léonard Gérard	a5b0a8ab9e	A script to use when debugging. ... It allows pretty printing of nearly anything inside the debugger. If raw data printing is needed (and possible) just comment the line of the printer you want to disable.	14 years ago
Adrien Guatto	3160855158	Added missing syntax highlighting for arrays.	14 years ago
Cédric Pasteur	ab5de4e769	Compatibility with Mac OS X ... Default wc command in Mac OS X does not have a '-L' option	14 years ago
Léonard Gérard	d44cd3571b	enforce_style fix.	14 years ago
Adrien Guatto	7ab2efea40	Cleaning tool	14 years ago
Adrien Guatto	4159845401	Added manual style checking script.	14 years ago
Adrien Guatto	04fcf5a826	C compilation script: tell GCC to use C99 mode.	14 years ago
Adrien Guatto	a7cb44532b	Updated helper scripts.	14 years ago
Adrien Guatto	7323c83f79	Added git hooks for lexical syntax checking.	14 years ago
Léonard Gérard	12251f960e	Add lib/pervasives.epi, tests, tools	14 years ago