summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Add -with-frame-pointers to ./configurewith-frame-pointersFabrice Le Fessant2013-06-0317-42/+142
* Create a branch for frame-pointersFabrice Le Fessant2013-05-140-0/+0
* trying to figure out what goes wrong on the Windows test machinesDamien Doligez2013-05-131-1/+15
* Fix error message.Alain Frisch2013-05-131-0/+2
* [arm] Fix code generation bug with "mod 1" (PR#5910).Benedikt Meurer2013-05-082-1/+2
* PR#6010 continued: more tests.Xavier Leroy2013-05-082-1/+7
* PR#6010: Big_int.extract_big_int gives wrong results on negative argumentsXavier Leroy2013-05-084-5/+18
* ignore *.exe.manifest filesDamien Doligez2013-05-071-0/+1
* still porting testsuite to msvc64Damien Doligez2013-05-078-7/+8
* ignore .obj and .lib filesDamien Doligez2013-05-071-0/+1
* remove debug messageDamien Doligez2013-05-071-1/+1
* porting to MSVC64; some cleanup; ignore .obj and .lib filesDamien Doligez2013-05-074-0/+26
* porting to MSVC64; some cleanup; ignore .obj and .lib filesDamien Doligez2013-05-0712-140/+172
* fix broken bswap on MSVC64Damien Doligez2013-05-071-3/+3
* fix testsuite for cygwinDamien Doligez2013-05-061-0/+4
* protect against Ctype.equal changing the representativeJacques Garrigue2013-05-041-0/+2
* More clever handling of constrained parameters:Jacques Garrigue2013-05-043-33/+66
* Fix PR#6004Jacques Garrigue2013-05-045-34/+90
* testsuite: general cleanup of makefilesDamien Doligez2013-05-0318-110/+162
* Fix PR#6005Jacques Garrigue2013-05-034-10/+17
* Fix PR#6005Jacques Garrigue2013-05-033-0/+20
* Fix PR#5985 for constrained parameters too.Jacques Garrigue2013-05-0318-209/+360
* testsuite: porting to mingw64Damien Doligez2013-05-032-17/+23
* typo in -short-pathsJacques Garrigue2013-05-021-2/+2
* For -short-paths, lookup the whole environment, but avoid recomputationJacques Garrigue2013-05-024-9/+27
* port testsuite to mingw64Damien Doligez2013-04-301-1/+6
* config/Makefile.mingw: bug in definition of ASPPDamien Doligez2013-04-301-1/+1
* Makefile.nt: make clean in the testsuite alsoDamien Doligez2013-04-301-0/+5
* last fixes to make the testsuite work under mingwDamien Doligez2013-04-304-91/+91
* Take ambiguity into account when using -short-paths option.Jacques Garrigue2013-04-307-20/+155
* Fix PR#5985; compute injectivity of types but no new syntaxJacques Garrigue2013-04-3023-223/+366
* testsuite: use the right assembler for tests/asmcompDamien Doligez2013-04-291-1/+1
* tests/utils: add quotes in MakefileDamien Doligez2013-04-291-1/+1
* testsuite: better error messageDamien Doligez2013-04-291-1/+4
* ignore .dll filesDamien Doligez2013-04-290-0/+0
* tests/lib-threads: skip test3 on windowsDamien Doligez2013-04-291-0/+13
* tests/typing-poly: round a float to avoid failed tests due to different displ...Damien Doligez2013-04-293-3/+3
* config/Makefile.mingw: additions to make the testsuite workDamien Doligez2013-04-291-0/+5
* ignore also .dll filesDamien Doligez2013-04-291-0/+1
* ignore .dll and generated filesDamien Doligez2013-04-291-0/+2
* tests/lib-threads: scale back sieve.ml to avoid problems under Windows on a s...Damien Doligez2013-04-292-74/+1
* testsuite: many small fixes to make it work for mingwDamien Doligez2013-04-2927-40/+202
* tests/utils/Makefile: port to mingwDamien Doligez2013-04-291-2/+1
* tests/makefiles/Makefile.toplevel: do not stop after a failed testDamien Doligez2013-04-291-1/+2
* tests/lib-printf: allow for small variations in float formatsDamien Doligez2013-04-291-37/+61
* Fix #5965.Alain Frisch2013-04-296-5/+42
* #5832: patch to improve 'wrong file naming' error messages.Alain Frisch2013-04-298-29/+33
* testsuite: better reporting of failed testsDamien Doligez2013-04-292-8/+98
* tests/callback: do not run when libunix is not configuredDamien Doligez2013-04-291-1/+4
* update reference file for tests/lib-printfDamien Doligez2013-04-291-2/+4
View Lorry Controller Status