jeltz
/
heptagon
1
0
Fork 0
Code Issues Pull Requests Releases Activity
1,177 Commits
2 Branches
0 Tags
7.3 MiB
async
master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Commit Graph

26 Commits (master)

Author SHA1 Message Date
Adrien Guatto e83a4f343b Tests: memalloc 13 years ago
Léonard Gérard 76109b553a Add -O option to enable optims. 13 years ago
Léonard Gérard fd40bcefcf Correct check to compile the java 
Note that it is really slow compared to something like :

javac -cp ../../../lib/java */*.java

which compiles everything together instead of relaunching the compiler by hand in each subdir.
 13 years ago
Léonard Gérard ffe2b23a82 new sheduler by default 13 years ago
Gwenaël Delaval c57b71b6aa Merge branch 'bzr' into decade 
- Added Boolean module (enum types to boolean vectors)
- Added Hept_clocking analysis, called before Boolean
- Added z3z target from minils (sigali format)
- Bug corrections in Normalize, Normalize_mem

Conflicts:
	compiler/heptagon/analysis/typing.ml
	compiler/heptagon/heptagon.ml
	compiler/heptagon/parsing/hept_parser.mly
	compiler/heptagon/parsing/hept_parsetree.ml
	compiler/heptagon/parsing/hept_scoping.ml
	compiler/main/hept2mls.ml
	compiler/main/heptc.ml
	compiler/main/mls2seq.ml
	compiler/minils/minils.ml
	compiler/minils/transformations/normalize_mem.ml
	test/check
 13 years ago
Cédric Pasteur 7d95b95ed7 Merge branch 'memalloc' into decade 
Conflicts:
	compiler/global/signature.ml
	compiler/heptagon/analysis/typing.ml
	compiler/heptagon/hept_printer.ml
	compiler/heptagon/hept_utils.ml
	compiler/heptagon/heptagon.ml
	compiler/heptagon/parsing/hept_parser.mly
	compiler/heptagon/parsing/hept_parsetree.ml
	compiler/heptagon/parsing/hept_scoping.ml
	compiler/heptagon/transformations/switch.ml
	compiler/main/hept2mls.ml
	compiler/minils/minils.ml
	compiler/minils/mls_printer.ml
	compiler/obc/c/cgen.ml
	compiler/obc/control.ml
	compiler/utilities/misc.mli
 13 years ago
Adrien Guatto 7d9e31a83b Tomato checking in check.sh 13 years ago
Adrien Guatto fd0b3efd2c Fixed helper scripts. 13 years ago
Cédric Pasteur 285abc48bf Fixed some bugs 13 years ago
Adrien Guatto b0a0100ad7 Fixed check script: we now see that our C backend isn't bug-free... 13 years ago
Gwenal Delaval 70e2ce08a2 Correction of check script 13 years ago
Gwenal Delaval eb164f4268 More complete check script 
Added options to check scrit:
test of boolean pass, deadcode, tomato
added caml compilation test
 13 years ago
Léonard Gérard 46ed02416b Convolutions and pip working. 13 years ago
Léonard Gérard 8f4411e145 Recursives Qualnames. 
In order to have a correct handling of inner classes in Java, and to prepare for modules inside modules.
 14 years ago
Léonard Gérard 09419a77a5 again 14 years ago
Léonard Gérard 82250b7536 check cleaned up. 14 years ago
Léonard Gérard 1ed4941101 Cleaner check. 14 years ago
Léonard Gérard c2d172af48 check changes. 14 years ago
Léonard Gérard aa3923cb56 Small 'check' cosmetic. 
debugger_script updated.
 14 years ago
Léonard Gérard a9066fc1f9 $id$ removed. 14 years ago
Léonard Gérard 5e737d0094 location change. Heptc works with menhir. 14 years ago
Adrien Guatto 312f8085ce Test runner: fixed missing C99 option 14 years ago
Adrien Guatto b5ba524c3e Test runner: bug-fixes and updates 14 years ago
Adrien Guatto 6b4881ccd0 Revamped testing framework 14 years ago
Cédric Pasteur 5f1b63b33a Fix bug with locations 14 years ago
Léonard Gérard 12251f960e Add lib/pervasives.epi, tests, tools 14 years ago