summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2009-01-23[petitcaml] Improve type printingHEADmasterGuillaume Seguin1-7/+14
2009-01-23[petitcaml] Check whether petit-caml is available before runnint testsGuillaume Seguin1-0/+5
2009-01-23[petitcaml] Add new mini additionnal test for lists of tuplesGuillaume Seguin1-0/+2
2009-01-23[petitcaml] Improve list types printingGuillaume Seguin2-2/+7
2009-01-23[petitcaml] Add partial call typing testGuillaume Seguin1-0/+9
2009-01-23[petitcaml] Fix indentGuillaume Seguin1-38/+40
2009-01-23[petitcaml] Verify expected types in unit testsGuillaume Seguin8-8/+78
2009-01-23[petitcaml] Fix typoGuillaume Seguin1-1/+1
2009-01-23[petitcaml] Fix an obnoxious bug in environment free vars updateGuillaume Seguin1-7/+5
2009-01-23[petitcaml] Fix stupid typosGuillaume Seguin1-6/+3
2009-01-23[petitcaml] Fix identifiers listingGuillaume Seguin1-1/+4
2009-01-23[petitcaml] Don't generalize recursive function names bindingsGuillaume Seguin1-1/+1
2009-01-23[petitcaml] Cleanup products unificationGuillaume Seguin1-11/+2
2009-01-23[petitcaml] Rename print_type to format_typeGuillaume Seguin1-7/+7
2009-01-23[petitcaml] Simplify function name handling through motifs usageGuillaume Seguin5-36/+26
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