Activity for Joachim Schimpf
-
Joachim Schimpf updated merge request #1
Small but important fixes to CPP headers
-
Ready for build 5.10 #27
-
Ready for build 5.10 #26
-
Ready for build 5.10 #29
-
Pack COIN CLP/CBC solver in Windows installer
-
removed obsolete notice
-
Removed temporary workaround
-
Enabled cross compilation for Windows version
-
Merged the last missing patches form 5.9 branch (merge_2006_07_08
-
Converted CR to CRLF, seemingly lost in earlier edit.
-
Fixed launching of documentation browser, at least
-
Improved error reporting in processing of the comment/2 directive
-
Actually build the mysql interface for Windows (corresponding changes
-
Fixed bug 539 - interrupt button not working on Windows
-
Ready for build 5.10 #31
-
Simplified the packing scheme:
-
Added back LGPL'd contributed libraries
-
If a gmp library is installed as standard, use it instead
-
Ready for build 5.10 #30
-
Updated build script to work with current configure/make setup.
-
dbi_final() returned undefined value - fixed
-
Ready for build 5.10 #35
-
Added cplex90 rule for x86_64_linux
-
Ready for build 5.10 #36
-
Ready for build 5.10 #40
-
Ready for build 5.10 #37
-
Added references to newline-generating output predicates
-
Corrected rule for building internals docs
-
Added missing configuration parameter (avoids having
-
Ready for build 5.10 #39
-
fixed illegal comment syntax
-
Ready for build 5.10 #38
-
Ready for build 5.10 #33
-
Improved Java detection rule
-
Extended and revised Internals Manual
-
see_also lists don't have to be ground, module or arity
-
Ready for build 5.10 #34
-
Ready for build 5.10 #43
-
Ready for build 5.10 #44
-
Remote interface robustness:
-
Updated this library following renaming of kernel support predicate
-
removed obsolete file
-
Fixed a number of 64-bit problems and warnings, in
-
Ready for build 5.10 #42
-
Ready for build 5.10 #45
-
Fixed bug 555 - apparently caused by a linker conflict
-
Ready for build 5.10 #48
-
Fixed bug 547 - ccompile fails if a directory with
-
Fixed problem with previous change - defer events in the correct place.
-
Ready for build 5.10 #46
-
Added missing module argument to saros predicates, which also fixes the
-
Ready for build 5.10 #47
-
documentation updates
-
Fixed typo and out-of-date information
-
Added a link(Url,Text) specifier for the see_also comment field.
-
Rewritten exec/3 and wait/3 for Windows, using CreateProcess() etc.
-
Inserted casts to make setbit/getbit work on 64-bit
-
Hopefully more robust and systematic approach to make
-
Ready for build 5.10 #41
-
Throw exception when encountering unsupported platform.
-
Renamed statistics/1 to avoid name clash with new definition
-
Fixed bug 554 - set/clr/getbit all had problems related to sign bits.
-
Corrected errors in comment documentation
-
Extra volatile declarations to prevent code reordering. The problem
-
Build script updates:
-
Updated code using deprecated construct
-
Ready for build 5.10 #52
-
Fixed bug 557 - shelves didn't get marked correctly in dictionary gc.
-
Corrected spec of remote protocol version
-
Changed error message, as it can occur for reasons other than missing file, e.g.
-
Fixed bug #561 - get_domain_as_list/2 with ground argument
-
Ready for build 5.10 #55
-
Ready for build 5.10 #54
-
Implemented heap release functions to free all heap
-
Ready for build 5.10 #51
-
Free the stacks in one go (needed for Windows), and fixed some
-
Added gcd/5 (adapted from a contribution by Benjamin Blanc)
-
Ready for build 5.10 #50
-
Ready for build 5.10 #56
-
Exploited some opportunities to use string_code/3 instead
-
Ready for build 5.10 #57
-
More complete ec_cleanup(), trying to free all resource and reset
-
Added a note about generating eclipse.lib
-
Ready for build 5.10 #53
-
Fixed remaining problems with re-inits on Windows.
-
Ready for build 5.10 #49
-
Bug 556 - made sure seed for frandom/1 is not 0 or 2^31-1 because these
-
Free the remaining part of the heap admin structures
-
Previous modification broke i386_nt build, fixed.
-
Ready for build 5.10 #63
-
Added --without-gmp option, to make initial porting easier.
-
Initial support for building i386_nt on cygwin, and for i386_maxosx.
-
Ready for build 5.10 #60
-
Fixed bug 565: erase_module/1 left a choice point since the recent
-
Ready for build 5.10 #65
-
Initial support for building i386_nt on cygwin, and for i386_maxosx.
-
Fixed bug 566 - implemented profiler support for x86_64_linux.
-
Set GMP_LIBDIR to something, even when building without-gmp
-
Ready for build 5.10 #64
-
Fixed MacOS compilation problems reported by Malcolm
1 >
