summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2009-01-22[petitcaml] Fix indenttempGuillaume Seguin1-1/+1
2009-01-22[petitcaml] Improve motif string rebuildingGuillaume Seguin1-1/+5
2009-01-22[petitcaml] Remove now-done TODOGuillaume Seguin1-2/+1
2009-01-22[petitcaml] Make vicious test even more vicious (add typing problem)Guillaume Seguin1-2/+3
2009-01-22[petitcaml] Update tests expected errorsGuillaume Seguin2-2/+2
2009-01-22[petitcaml] Add top level types printing optionGuillaume Seguin2-1/+31
2009-01-22[petitcaml] Improve type printing a little bitGuillaume Seguin1-10/+18
2009-01-22[petitcaml] Improve motif_tuple_folderGuillaume Seguin1-3/+6
2009-01-22[petitcaml] Remove dead codeGuillaume Seguin1-2/+0
2009-01-15[petitcaml] Fix integer overflow test for 64 bits archsGuillaume Seguin1-1/+1
2009-01-15[petitcaml] Finalize make releaseGuillaume Seguin1-1/+5
2009-01-15[petitcaml] Fix make cleanGuillaume Seguin1-2/+2
2009-01-15[petitcaml] Fix Makefile and add release targetGuillaume Seguin1-1/+9
2009-01-15[petitcaml] Fix Not boolean operatorGuillaume Seguin1-1/+1
2009-01-15[petitcaml] Add another localisation testGuillaume Seguin1-0/+9
2009-01-15[petitcaml] Improve a few (should-be unreachable) errorsGuillaume Seguin2-5/+5
2009-01-15[petitcaml] Fix another bunch of error localisation bugsGuillaume Seguin4-24/+33
2009-01-15[petitcaml] Fix even more error localisation problemsGuillaume Seguin3-4/+12
2009-01-15[petitcaml] Fix localisation of errors inside callsGuillaume Seguin3-4/+17
2009-01-15[petitcaml] Add test target to MakefileGuillaume Seguin1-0/+3
2009-01-15[petitcaml] Add test for integer overflow and update tests runnerGuillaume Seguin2-1/+11
2009-01-15[petitcaml] Handle invalid integersGuillaume Seguin1-1/+4
2009-01-14[petitcaml] Update .gitignoreGuillaume Seguin1-0/+2
2009-01-14[petitcaml] Comment utils.mlGuillaume Seguin1-1/+6
2009-01-14[petitcaml] Comment typing.mlGuillaume Seguin1-3/+102
2009-01-14[petitcaml] mips* : comment and fix strings supportGuillaume Seguin2-1/+19
2009-01-14[petitcaml] optimize.ml : comment & add some rough optimizationsGuillaume Seguin1-1/+11
2009-01-14[petitcaml] Fix primitives testGuillaume Seguin1-3/+5
2009-01-14[petitcaml] Add annoying strings testGuillaume Seguin1-0/+7
2009-01-14[petitcaml] Fix typos in compile.mlGuillaume Seguin1-4/+4
2009-01-14[petitcaml] Add .gitignoreGuillaume Seguin1-0/+12
2009-01-14[petitcaml] Make it actually workGuillaume Seguin22-208/+913
2009-01-12[petitcaml] compile.ml : Compile most expressions but closures and callsGuillaume Seguin1-9/+298
2009-01-12[petitcaml] mips.ml : update assembly and programs formatGuillaume Seguin1-39/+151
2009-01-12[petitcaml] parser.mly : update operators and improve errorsGuillaume Seguin1-15/+15
2009-01-12[petitcaml] typing.ml : Update and fix a bad bunch of bugsGuillaume Seguin1-105/+162
2009-01-12[petitcaml] closure.ml : fix imports and improve errorsGuillaume Seguin1-3/+5
2009-01-12[petitcaml] Update operatorsGuillaume Seguin1-14/+14
2009-01-12[petitcaml] Reindent ast.mliGuillaume Seguin1-44/+50
2009-01-12[petitcaml] Update Makefile, use --infer for menhir and fix consequencesGuillaume Seguin1-4/+7
2009-01-10[petitcaml] Add new test (ackermann function)Guillaume Seguin1-0/+7
2009-01-10[petitcaml] Import unit testsGuillaume Seguin25-0/+275
2009-01-10[petitcaml] Import current backend (almost nothing, broken, etc)Guillaume Seguin3-0/+237
2009-01-10[petitcaml] Import compiler frontendGuillaume Seguin7-0/+979