index
:
petitcaml.git
master
temp
Unnamed repository; edit this file to name it for gitweb.
Guillaume Seguin
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
Files
Lines
2009-01-23
[petitcaml] Improve type printing
HEAD
master
Guillaume Seguin
1
-7
/
+14
2009-01-23
[petitcaml] Check whether petit-caml is available before runnint tests
Guillaume Seguin
1
-0
/
+5
2009-01-23
[petitcaml] Add new mini additionnal test for lists of tuples
Guillaume Seguin
1
-0
/
+2
2009-01-23
[petitcaml] Improve list types printing
Guillaume Seguin
2
-2
/
+7
2009-01-23
[petitcaml] Add partial call typing test
Guillaume Seguin
1
-0
/
+9
2009-01-23
[petitcaml] Fix indent
Guillaume Seguin
1
-38
/
+40
2009-01-23
[petitcaml] Verify expected types in unit tests
Guillaume Seguin
8
-8
/
+78
2009-01-23
[petitcaml] Fix typo
Guillaume Seguin
1
-1
/
+1
2009-01-23
[petitcaml] Fix an obnoxious bug in environment free vars update
Guillaume Seguin
1
-7
/
+5
2009-01-23
[petitcaml] Fix stupid typos
Guillaume Seguin
1
-6
/
+3
2009-01-23
[petitcaml] Fix identifiers listing
Guillaume Seguin
1
-1
/
+4
2009-01-23
[petitcaml] Don't generalize recursive function names bindings
Guillaume Seguin
1
-1
/
+1
2009-01-23
[petitcaml] Cleanup products unification
Guillaume Seguin
1
-11
/
+2
2009-01-23
[petitcaml] Rename print_type to format_type
Guillaume Seguin
1
-7
/
+7
2009-01-23
[petitcaml] Simplify function name handling through motifs usage
Guillaume Seguin
5
-36
/
+26
2009-01-22
[petitcaml] Fix indent
temp
Guillaume Seguin
1
-1
/
+1
2009-01-22
[petitcaml] Improve motif string rebuilding
Guillaume Seguin
1
-1
/
+5
2009-01-22
[petitcaml] Remove now-done TODO
Guillaume Seguin
1
-2
/
+1
2009-01-22
[petitcaml] Make vicious test even more vicious (add typing problem)
Guillaume Seguin
1
-2
/
+3
2009-01-22
[petitcaml] Update tests expected errors
Guillaume Seguin
2
-2
/
+2
2009-01-22
[petitcaml] Add top level types printing option
Guillaume Seguin
2
-1
/
+31
2009-01-22
[petitcaml] Improve type printing a little bit
Guillaume Seguin
1
-10
/
+18
2009-01-22
[petitcaml] Improve motif_tuple_folder
Guillaume Seguin
1
-3
/
+6
2009-01-22
[petitcaml] Remove dead code
Guillaume Seguin
1
-2
/
+0
2009-01-15
[petitcaml] Fix integer overflow test for 64 bits archs
Guillaume Seguin
1
-1
/
+1
2009-01-15
[petitcaml] Finalize make release
Guillaume Seguin
1
-1
/
+5
2009-01-15
[petitcaml] Fix make clean
Guillaume Seguin
1
-2
/
+2
2009-01-15
[petitcaml] Fix Makefile and add release target
Guillaume Seguin
1
-1
/
+9
2009-01-15
[petitcaml] Fix Not boolean operator
Guillaume Seguin
1
-1
/
+1
2009-01-15
[petitcaml] Add another localisation test
Guillaume Seguin
1
-0
/
+9
2009-01-15
[petitcaml] Improve a few (should-be unreachable) errors
Guillaume Seguin
2
-5
/
+5
2009-01-15
[petitcaml] Fix another bunch of error localisation bugs
Guillaume Seguin
4
-24
/
+33
2009-01-15
[petitcaml] Fix even more error localisation problems
Guillaume Seguin
3
-4
/
+12
2009-01-15
[petitcaml] Fix localisation of errors inside calls
Guillaume Seguin
3
-4
/
+17
2009-01-15
[petitcaml] Add test target to Makefile
Guillaume Seguin
1
-0
/
+3
2009-01-15
[petitcaml] Add test for integer overflow and update tests runner
Guillaume Seguin
2
-1
/
+11
2009-01-15
[petitcaml] Handle invalid integers
Guillaume Seguin
1
-1
/
+4
2009-01-14
[petitcaml] Update .gitignore
Guillaume Seguin
1
-0
/
+2
2009-01-14
[petitcaml] Comment utils.ml
Guillaume Seguin
1
-1
/
+6
2009-01-14
[petitcaml] Comment typing.ml
Guillaume Seguin
1
-3
/
+102
2009-01-14
[petitcaml] mips* : comment and fix strings support
Guillaume Seguin
2
-1
/
+19
2009-01-14
[petitcaml] optimize.ml : comment & add some rough optimizations
Guillaume Seguin
1
-1
/
+11
2009-01-14
[petitcaml] Fix primitives test
Guillaume Seguin
1
-3
/
+5
2009-01-14
[petitcaml] Add annoying strings test
Guillaume Seguin
1
-0
/
+7
2009-01-14
[petitcaml] Fix typos in compile.ml
Guillaume Seguin
1
-4
/
+4
2009-01-14
[petitcaml] Add .gitignore
Guillaume Seguin
1
-0
/
+12
2009-01-14
[petitcaml] Make it actually work
Guillaume Seguin
22
-208
/
+913
2009-01-12
[petitcaml] compile.ml : Compile most expressions but closures and calls
Guillaume Seguin
1
-9
/
+298
2009-01-12
[petitcaml] mips.ml : update assembly and programs format
Guillaume Seguin
1
-39
/
+151
2009-01-12
[petitcaml] parser.mly : update operators and improve errors
Guillaume Seguin
1
-15
/
+15
[next]