# This ChangeLog was generated on Mon Oct 13 07:33:02 BST 2008 # from repository eclipse-clp.cvs.sourceforge.net:/cvsroot/eclipse-clp 2008-10-10 06:45 jschimpf * Eclipse/Kernel/lib/version.pl (1.43): Ready for build 6.0 #45 2008-10-09 19:28 kish_shen * Eclipse/: configure (1.23), configure.ac (1.22): removed -fforce-mem flag for gcc -- not supported in gcc 4. 2008-10-02 18:12 jschimpf * Eclipse/Kernel/lib/version.pl (1.42): Ready for build 6.0 #44 2008-10-02 11:45 jschimpf * Eclipse/Kernel/lib/: dynamic.pl (1.7), kernel.eco (1.29): More straightforward fix for bug 606 - corrected, needs to succeed with meanwhile erased clauses 2008-09-30 08:01 jschimpf * Eclipse/Kernel/lib/: dynamic.pl (1.6), kernel.eco (1.28): More straightforward fix for bug 606 (code review) 2008-09-24 06:50 jschimpf * Eclipse/Kernel/lib/version.pl (1.41): Ready for build 6.0 #43 2008-09-23 14:07 kish_shen * Eclipse/documents/internal/SetupGuide.doc (1.9): added description of compiling for older MS Windows, and made proper headings and updated ToC. 2008-09-23 11:00 kish_shen * Eclipse/Contrib/: Makefile.in (1.4), max_flow_eplex.ecl (1.1), max_flow.ecl (1.1), all_min_cuts_eplex.ecl (1.1), all_min_cuts.ecl (1.1): added CrossCore's max_flow and all_min_cuts libraries, from Helmut 2008-09-22 00:46 kish_shen * Eclipse/Contrib/: Makefile.in (1.3), ic_global_gac.ecl (1.1): added initial version of Helmut's gac version of alldifferent for ic 2008-09-18 06:49 jschimpf * Eclipse/Kernel/lib/version.pl (1.40): Ready for build 6.0 #42 2008-09-17 18:13 kish_shen * Eclipse/documents/embedding/embremote.tex (1.2): remove out-dated information 2008-09-16 06:49 jschimpf * Eclipse/Kernel/lib/version.pl (1.39): Ready for build 6.0 #41 2008-09-16 00:02 kish_shen * Eclipse/documents/userman/umsterm.tex (1.2): corrected typo 2008-09-15 14:10 kish_shen * Eclipse/INSTALL (1.7): updated INSTALL from Helmut's feedback on building on Cygwin 2008-09-15 12:35 jschimpf * Eclipse/icparc_solvers/Makefile.in (1.12): Extra quotes, needed for cygwin build 2008-09-13 17:26 jschimpf * Eclipse/Kernel/lib/version.pl (1.38): Ready for build 6.0 #40 2008-09-13 11:01 jschimpf * Eclipse/Kernel/src/emu.c (1.9): Fixed bug 605 - use an offset-based scheme to access the parameters of the bi_xxx instructions for debugging (rather than the label-based scheme that provoked code rearrangement and duplication in the peephole optimizer). 2008-09-13 10:46 jschimpf * Eclipse/: Compiler/compiler_codegen.ecl (1.24), Kernel/lib/compiler_codegen.eco (1.13): Register descriptors were still incorrect, fixed. 2008-09-13 00:20 jschimpf * Eclipse/Kernel/lib/version.pl (1.37): Removed beta-qualifier 2008-09-13 00:16 jschimpf * Eclipse/: Compiler/compiler_codegen.ecl (1.23), Kernel/lib/compiler_codegen.eco (1.12): Correction to previous change: make sure nothings goes between the label and following debug_call_simple instruction, because the label is used to mark the instruction, not to branch there. 2008-09-12 23:34 jschimpf * Eclipse/documents/bips/kernel/: database.eci (1.11), directives.eci (1.5): Updated pragma and compiler option docs. 2008-09-12 22:54 jschimpf * Eclipse/: Kernel/lib/asm.eco (1.8), Kernel/lib/asm.pl (1.5), Kernel/lib/compiler_codegen.eco (1.11), Compiler/compiler_codegen.ecl (1.22): Fixed bug 605 - use an offset-based scheme to access the parameters of the bi_xxx instructions for debugging (rather than the label-based scheme that provoked code rearrangement and duplication in the peephole optimizer). 2008-09-12 20:40 kish_shen * Eclipse/documents/internal/SetupGuide.doc (1.8): updated SetupGuide mainly from feedbacks from Helmut 2008-09-12 00:44 kish_shen * Eclipse/icparc_solvers/: colgen_.ecl (patches_5_10.1), colgen_.ecl (1.2): fix code to avoid compiler warning 2008-09-12 00:41 kish_shen * Eclipse/icparc_solvers/eplex_s.ecl (patches_5_10.1): try to add more helpful warning about posting constraints that may be due to missing brackets around constraints 2008-09-12 00:32 kish_shen * Eclipse/: icparc_solvers/eplex_s.ecl (1.6), documents/libman/eplex.tex (1.6): try to add more helpful warning about posting constraints that may be due to missing brackets around constraints 2008-09-11 17:36 jschimpf * Eclipse/Kernel/lib/version.pl (1.36): Ready for build 6.0 #39 2008-09-11 01:17 jschimpf * Eclipse/: Compiler/compiler_compound.ecl (1.12), Compiler/test.ref (1.32), Compiler/testo.ref (1.30), Kernel/lib/asm.eco (1.7), Kernel/lib/compiler_analysis.eco (1.6), Kernel/lib/compiler_codegen.eco (1.10), Kernel/lib/compiler_common.eco (1.10), Kernel/lib/compiler_indexing.eco (1.6), Kernel/lib/compiler_map.eco (1.5), Kernel/lib/compiler_normalise.eco (1.9), Kernel/lib/compiler_peephole.eco (1.6), Kernel/lib/compiler_regassign.eco (1.7), Kernel/lib/compiler_varclass.eco (1.8), Kernel/lib/ecl_compiler.eco (1.13), Kernel/lib/eclipse_language.eco (1.6), Kernel/lib/hash.eco (1.4), Kernel/lib/kernel.eco (1.27), Kernel/lib/module_options.eco (1.4), Kernel/lib/source_processor.eco (1.7), Kernel/lib/suspend.eco (1.4): Don't generate xxx_local_value instructions while we do not put variables on the local stack. 2008-09-11 01:15 jschimpf * Eclipse/Compiler/ecl_compiler.ecl (1.15): Added pragma(opt_level(N)) 2008-09-11 00:49 kish_shen * Eclipse/Kernel/lib/: asm.eco (1.6), asm.pl (1.4): workaround use of -2147483648 (-2^31), which can't be read without bignums, because the sign and the actual number are read separately, and 2^31 does not fit into 32 bit. 2008-09-09 06:43 jschimpf * Eclipse/Kernel/lib/version.pl (1.35): Ready for build 6.0 #38 2008-09-08 17:08 kish_shen * Eclipse/Kernel/lib/: dynamic.pl (1.5), kernel.eco (1.26): fix for bug b606 -- get a copy of the matching clauses for retract/1, allowing it to retract subsequent clauses and obeying logical update semantics. 2008-09-04 15:04 kish_shen * Eclipse/documents/bips/kernel/typetest.eci (1.4): corrected a typo 2008-09-04 10:47 jschimpf * Eclipse/Kernel/lib/: quintus.pl (1.6), cprolog.pl (1.6): Made sure lib(cprolog/quintus/sicstus) have the right operator definitions after canges in ECLiPSe default. 2008-09-04 06:38 jschimpf * Eclipse/Kernel/lib/version.pl (1.34): Ready for build 6.0 #37 2008-09-03 14:13 kish_shen * Eclipse/lib_tcl/tkeclipse.tcl (1.9): fix for a problem noticed by Helmut for Windows tkeclipse: the focus on the query entry is lost after every query. Apparently the focus needs to be explicitly specified for Windows each time. 2008-09-03 13:05 jschimpf * Eclipse/Kernel/lib/version.pl (1.33): Ready for build 6.0 #36 2008-09-02 09:58 kish_shen * Eclipse/documents/libman/eplex.tex (1.5): updated doc with more information on OSI/CLP-CBC solvers 2008-09-02 09:33 kish_shen * Eclipse/Kernel/src/main.c (1.4): changed the raising of invalid command line options for Windows as well 2008-09-02 08:27 jschimpf * Eclipse/Kernel/lib/version.pl (1.32): Ready for build 6.0 #35 2008-09-02 00:13 jschimpf * Eclipse/documents/bips/kernel/control.eci (1.3): Updated description of cut scope 2008-09-01 23:56 jschimpf * Eclipse/Kernel/src/bip_db.c (1.6): Fixed a bug that caused get_flag/3 not to return port_line information for compile_term'd predicates, which lead to breakport indicators not being displayed in tkeclipse in do-loops. 2008-09-01 11:44 jschimpf * Eclipse/Kernel/: src/bip_control.c (1.3), src/bip_db.c (1.5), src/code.c (1.9), src/dict.h (1.3), src/emu.c (1.8), src/emu_export.h (1.6), src/main.c (1.3), src/proc_desc.c (1.3), src/sepia.h (1.4), src/types.h (1.4), lib/kernel.eco (1.25), lib/kernel.pl (1.16), lib/setof.pl (1.2): Improved tracing of metacallees: trace when inside tools with trace_meta flag set. This is not perfect (i doubt there is a perfect solution) but hopefully usable. I had to redo the mechanism for tracing delays that happen inside externals. 2008-08-31 23:10 jschimpf * Eclipse/Kernel/lib/lips.pl (1.2): Remove deprecated nodbgcomp 2008-08-31 22:06 jschimpf * Eclipse/Kernel/lib/: asm.eco (1.5), compiler_analysis.eco (1.5), compiler_codegen.eco (1.9), compiler_common.eco (1.9), compiler_indexing.eco (1.5), compiler_map.eco (1.4), compiler_normalise.eco (1.8), compiler_peephole.eco (1.5), compiler_regassign.eco (1.6), compiler_varclass.eco (1.7), ecl_compiler.eco (1.12), hash.eco (1.3), kernel.eco (1.24), module_options.eco (1.3), source_processor.eco (1.6), suspend.eco (1.3): Update all bootfiles, following recent compiler changes 2008-08-31 21:57 jschimpf * Eclipse/Compiler/: compiler_indexing.ecl (1.8), compiler_test.ecl (1.18), test.ref (1.31), testo.ref (1.29): Fixed bug 604, in fact an omission in the implementation. Weaken the guard conditions after guards that may cause unification of guard variables. 2008-08-31 21:51 jschimpf * Eclipse/Compiler/README (1.4): Expanded on what needs to be done on compiler changes 2008-08-31 20:47 jschimpf * Eclipse/Kernel/lib/debug.pl (1.6): fixed error checking in spy/nospy 2008-08-29 17:50 kish_shen * Eclipse/Kernel/src/main.c (1.2): Removed backwards compatibility of silently igoring non-valid command line arguments. Arguments that are to be passed to ECLiPSe must now be after '--'. This also fixes bug 548 2008-08-29 15:34 kish_shen * Eclipse/Kernel/lib/: compiler_analysis.eco (1.4), compiler_codegen.eco (1.8), compiler_common.eco (1.8), compiler_indexing.eco (1.4), compiler_normalise.eco (1.7), compiler_peephole.eco (1.4), compiler_regassign.eco (1.5), compiler_varclass.eco (1.6), ecl_compiler.eco (1.11), kernel.eco (1.23): Changed the chunk joining algorithm (with opt_level = 1) to try to preserve the original branch structure rather than creating a long first branch. This leads to some improvement in performance 2008-08-29 15:26 kish_shen * Eclipse/Compiler/: compiler_peephole.ecl (1.26), testo.ref (1.28): Changed the chunk joining algorithm (with opt_level = 1) to try to preserve the original branch structure rather than creating a long first branch. This leads to some improvement in performance 2008-08-24 00:04 jschimpf * Eclipse/Kernel/lib/version.pl (1.31): Ready for build 6.0 #34 2008-08-23 17:42 jschimpf * Eclipse/documents/bips/kernel/: database.eci (1.10), dynamic.eci (1.3), obsolete.eci (1.4): updated retractall/1 and assert?/1 docs 2008-08-22 15:04 jschimpf * Eclipse/Kernel/lib/: environment.pl (1.6), kernel.eco (1.22): get_flag(all_dynamic,X) always failed after recent change - fixed 2008-08-22 14:05 kish_shen * Eclipse/documents/userman/exthsusp.tex (1.2): fixed a typo found by Helmut 2008-08-22 10:03 jschimpf * Eclipse/Kernel/lib/kernel.eco (1.21): removed accidentally checked in tracer diagnostics 2008-08-21 18:08 jschimpf * Eclipse/Kernel/lib/: environment.pl (1.5), events.pl (1.5), io.pl (1.2), kernel.eco (1.20), suspend.eco (1.2), suspend.pl (1.2), tconv.pl (1.2), dynamic.pl (1.4): Removed singleton variables 2008-08-21 18:07 jschimpf * Eclipse/Kernel/lib/kernel.pl (1.15): Stripped variable names from source annotation for do-loop base clause to suppress singleton warnings. 2008-08-21 17:54 jschimpf * Eclipse/Kernel/lib/fd_arith.pl (1.2): Removed singleton variables 2008-08-21 17:36 jschimpf * Eclipse/Kernel/lib/atts.pl (1.2): Don't use deprecated retract_all/1 2008-08-21 11:28 jschimpf * Eclipse/Kernel/lib/version.pl (1.30): Ready for build 6.0 #33 2008-08-20 23:07 jschimpf * Eclipse/Kernel/lib/: kernel.eco (1.19), kernel.pl (1.14): Added retractall/1 and assertz/1 aliases 2008-08-20 22:57 jschimpf * Eclipse/Kernel/lib/: cprolog.pl (1.5), dynamic.pl (1.3), eclipse_language.ecl (1.3), eclipse_language.eco (1.5), elipsys.pl (1.2), iso.pl (1.5), megalog.pl (1.2), quintus.pl (1.5): Added retractall/1 and assertz/1 aliases 2008-08-20 18:03 jschimpf * Eclipse/Kernel/lib/: tracer_tty.pl (1.4), document.ecl (1.2), iso.pl (1.4), fd_domain.pl (1.2): Renamed singleton variables 2008-08-20 17:48 jschimpf * Eclipse/Kernel/lib/sepia.pl (1.3): Fixed delay/3 which didn't use module argument 2008-08-20 17:46 jschimpf * Eclipse/Kernel/lib/quintus.pl (1.4): Removed unnecessary tool-property 2008-08-16 11:27 jschimpf * Eclipse/Kernel/lib/version.pl (1.29): Ready for build 6.0 #32 2008-08-15 22:49 kish_shen * Eclipse/: icparc_solvers/coinplex.cpp (1.7), icparc_solvers/s_eplex_comments.ecl (1.8), icparc_solvers/seplex.c (1.11), icparc_solvers/seplex.h (1.4), documents/libman/eplex.tex (1.4): return information on actual solver used for COIN-OSI solvers. Also return information about any extra package used, such as AMD 2008-08-15 18:57 jschimpf * Eclipse/Kernel/lib/version.pl (1.28): Ready for build 6.0 #31 2008-08-15 17:19 kish_shen * Eclipse/documents/bips/kernel/externals.eci (1.3): corrected typo 2008-08-15 17:08 kish_shen * Eclipse/Kernel/lib/tracer_tcl.pl (1.7): A workaround to avoid incompatible change in the tracer protocols for Saros 2008-08-15 16:43 kish_shen * Eclipse/lib_tcl/eclipse_tools.tcl (1.30): removed a typo introduced in last update 2008-08-14 15:01 kish_shen * Eclipse/documents/internal/SetupGuide.doc (1.7): minor update from checking if the build for UFL's AMD (for COIN-OR's CLP) is up-to-date or not. Also added note that some of the standard configure options are not supported by ECLiPSe's configure 2008-08-14 02:48 kish_shen * Eclipse/icparc_solvers/seplex.c (patches_5_10.11): more workaround for __eprintf problem with COIN-OR solvers: the last change of always defining _eprintf() does not work with ppc_macosx, at least on Mac OS 10.4 we have access to. This is because __eprintf() is defined in libstdc++, and Mac OS X's linker does not allow multiple definitions of symbols (for flat_namespace). 2008-08-14 02:42 kish_shen * Eclipse/icparc_solvers/seplex.c (1.10): more workaround for __eprintf problem with COIN-OR solvers: the last change of always defining _eprintf() does not work with ppc_macosx, at least on Mac OS 10.4 we have access to. This is because __eprintf() is defined in libstdc++, and Mac OS X's linker does not allow multiple definitions of symbols (for flat_namespace). 2008-08-13 01:53 kish_shen * Eclipse/documents/userman/umsdebug.tex (1.6): expanded and updated the source tracing a bit 2008-08-12 23:20 kish_shen * Eclipse/documents/bips/kernel/iostream.eci (1.3): removed spurious examples for connect/2 (bug b#546) 2008-08-12 15:13 kish_shen * Eclipse/JavaInterface/src/com/parctechnologies/eclipse/Platform.java (1.5): undo last change that include amd64 for 32 bit Linux platform -- we run 32 bit Java on 64 bit Windows, and apparentl 64 bit Java is not binary compatible with 32 bit Java 2008-08-12 15:07 kish_shen * Eclipse/JavaInterface/src/com/parctechnologies/eclipse/Platform.java (patches_5_10.4): undo last change that include amd64 for 32 bit Linux platform -- we run 32 bit Java on 64 bit Windows, and apparentl 64 bit Java is not binary compatible with 32 bit Java 2008-08-12 11:25 jschimpf * Eclipse/Kernel/lib/version.pl (1.27): Ready for build 6.0 #30 2008-08-12 01:48 kish_shen * Eclipse/: lib_tcl/eclipse_tools.tcl (1.29), lib_tcl/tracerhelp.txt (1.10), documents/tutorial/tktracersource.fig (1.3), documents/tutorial/tktracersourceann.eps (1.3): changed left click to view source context in stack trace to the the left hand side (information) side of the line only, and double click to inspect the goal to the goal only. This is because a double click is also seen as two single clicks. 2008-08-10 08:03 jschimpf * Eclipse/Kernel/lib/version.pl (1.26): Ready for build 6.0 #29 2008-08-09 23:47 jschimpf * Eclipse/: Compiler/compiler_common.ecl (1.22), Compiler/compiler_normalise.ecl (1.16), Kernel/lib/compiler_common.eco (1.7), Kernel/lib/compiler_normalise.eco (1.6): Do not try to reconstruct source name information in the compiler - it leads to unwanted warnings. 2008-08-09 00:40 jschimpf * Eclipse/: Compiler/compiler_common.ecl (1.21), Compiler/compiler_normalise.ecl (1.15), Compiler/compiler_varclass.ecl (1.13), Compiler/ecl_compiler.ecl (1.14), Compiler/test.ref (1.30), Compiler/testo.ref (1.27), Kernel/lib/compiler_analysis.eco (1.3), Kernel/lib/compiler_common.eco (1.6), Kernel/lib/compiler_normalise.eco (1.5), Kernel/lib/compiler_peephole.eco (1.3), Kernel/lib/compiler_codegen.eco (1.7), Kernel/lib/compiler_indexing.eco (1.3), Kernel/lib/compiler_map.eco (1.3), Kernel/lib/compiler_regassign.eco (1.4), Kernel/lib/compiler_varclass.eco (1.5), Kernel/lib/ecl_compiler.eco (1.10), Kernel/lib/source_processor.eco (1.5): Report head singletons in normalisation phase, because later the information is lost. Variable ids are now assigned per clause, which allows for the warnings to be made, and allows us to get rid of the ugly unification of clause head arguments. Temporarily reinstated test of global check_singletons flag for supressing warnings. 2008-08-08 17:33 kish_shen * Eclipse/lib_tcl/eclipse_tools.tcl (patches_5_10.3): fixed bug # b512: treat the full printdepth flag specially, as it is not displayed in the same way as the other flags, and the generic code ignored it. 2008-08-08 17:26 kish_shen * Eclipse/lib_tcl/eclipse_tools.tcl (1.28): fixed bug # b512: treat the full printdepth flag specially, as it is not displayed in the same way as the other flags, and the generic code ignored it. 2008-08-08 15:37 kish_shen * Eclipse/Kernel/src/bip_misc.c (1.3): modifications suggested by Joachim: fall through to cleanup code when environment variable is already set to the new value 2008-08-08 14:20 kish_shen * Eclipse/Kernel/src/bip_misc.c (1.2): Fix for bug# b600: malloc the memory needed for the environment string used by putenv() instead of storing it in the ECLiPSe dictionary. This is because in an embedded ECLiPSe, the environment changes have to persist after ECLiPSe is unloaded. 2008-08-06 16:32 kish_shen * Eclipse/Kernel/lib/: kernel.eco (1.18), debug.pl (1.5): fixed two problems with toggling breakpoints introduced by previous changes: 1. Refresh file at start of tracing instead of setting it to "" -- setting it to "" is a problem because the tracing may not stop at any port, and so not update the file name from "", and we need a valid file name for operations such as setting of breakpoints. 2. Fixed the problem with trying to set a breakpoint on the last port in a file. Also fixed the file name used for the error message when no ports are found 2008-08-06 16:12 kish_shen * Eclipse/lib_tcl/: eclipse_tools.tcl (1.27), example_multi.ecl (1.2): fixed two problems with toggling breakpoints introduced by previous changes: 1. Refresh file at start of tracing instead of setting it to "" -- setting it to "" is a problem because the tracing may not stop at any port, and so not update the file name from "", and we need a valid file name for operations such as setting of breakpoints. 2. Fixed the problem with trying to set a breakpoint on the last port in a file. Also fixed the file name used for the error message when no ports are found 2008-08-06 15:16 kish_shen * Eclipse/documents/tutorial/debugdemo.ecl (1.6): fixed a singleton variable warning 2008-08-06 15:05 kish_shen * Eclipse/documents/tutorial/: tktracersource.fig (1.2), tktracersourceann.eps (1.2), tktracersourceann.gif (1.2): removed popup display of callee's source 2008-08-06 14:25 kish_shen * Eclipse/: lib_tcl/eclipse_tools.tcl (1.26), lib_tcl/tracerhelp.txt (1.9), Kernel/lib/tracer_tcl.pl (1.6): removed popup display of callee's source 2008-08-05 14:11 kish_shen * Eclipse/lib_tcl/eclipse_tools.tcl (1.25): Fixed a problem noticed by Joachim with files with no terminating newlines in the source context view -- previous fix got the line number calculation right, but still inserted terminating new lines into the line number and status text windows, which should not have them to match the source context view. 2008-08-05 02:13 kish_shen * Eclipse/lib_tcl/eclipse_tools.tcl (1.24): Added the Control-Button-1 alternative for the Source Context popup menu. These have been provided as alternatives to functionality invoked using Button-3 (right mouse button), for mouse that have only one button (e.g. the standard Mac mouse). 2008-08-05 02:08 kish_shen * Eclipse/documents/userman/umsdebug.tex (1.5): removed an old footnote 2008-08-05 02:05 kish_shen * Eclipse/documents/userman/umsdebug.tex (1.4): added breakpoint description 2008-08-05 00:57 kish_shen * Eclipse/documents/tutorial/: eplex.tex (1.2), tkdebug.tex (1.3), tkfilter.ps (1.2), tkfiltercond.ps (1.2), tkrefreshedgs.ps (1.2), tksoucontext.ps (1.1), tktracer.fig (1.2), tktracer.ps (1.2), tktracerann.eps (1.2), tktracerpopup.ps (1.2), tktracersource.fig (1.1), tktracersourceann.eps (1.1), tktracersourceann.gif (1.1): update the debug and eplex chapters for ECLiPSe 6.0 2008-08-05 00:22 kish_shen * Eclipse/documents/tutorial/: tktopsum.gif (1.2), tktracerann.gif (1.2), tkdelayedann.gif (1.2), tkfiltercond.gif (1.2), tkinspectann.gif (1.2), tkpredann.gif (1.2): updated the gif files with binary flag for CVS 2008-08-04 17:55 jschimpf * Eclipse/Kernel/lib/tracer_tty.pl (1.3): Removed singleton variable occurrences 2008-08-04 17:49 jschimpf * Eclipse/Compiler/testo.ref (1.26): Update after fixing auxiliary pred name problem 2008-08-04 17:48 jschimpf * Eclipse/: Compiler/ecl_compiler.ecl (1.13), Kernel/lib/ecl_compiler.eco (1.9), Kernel/lib/kernel.pl (1.13), Kernel/lib/kernel.eco (1.17): Avoid auxiliary predicate name clashes in do/2 2008-08-04 17:46 jschimpf * Eclipse/: Compiler/compiler_codegen.ecl (1.21), Kernel/lib/compiler_codegen.eco (1.6): Prevent singleton warnings 2008-08-04 11:40 jschimpf * Eclipse/Kernel/lib/compiler_varclass.eco (1.4): Ignore global check_singleton setting 2008-08-04 11:12 jschimpf * Eclipse/Compiler/compiler_varclass.ecl (1.12): Ignore global check_singleton setting 2008-08-04 10:28 jschimpf * Eclipse/Kernel/lib/paddy.pl (1.2): Disabled singleton warnings (there are lots) 2008-08-04 07:59 jschimpf * Eclipse/Kernel/lib/version.pl (1.25): Ready for build 6.0 #28 2008-08-04 01:52 kish_shen * Eclipse/: Kernel/lib/debug.pl (1.4), Kernel/lib/kernel.eco (1.16), Kernel/lib/tracer_tcl.pl (1.5), lib_tcl/eclipse_tools.tcl (1.23): changed setting of breakpoints so that if the same source is used for different modules, the breakpoint are set/reset for all the modules. apply canonical_path_name to the file name obtained from debug_call, in case the canonical path is different on the machine running the program from the one where it was compiled (on a shared file system like NFS). 2008-08-04 01:13 kish_shen * Eclipse/Kernel/lib/development_support.pl (1.2): fixed an old problem where the source predicate veiwr does not recognise clauses of the form H ?- T. 2008-08-03 22:13 jschimpf * Eclipse/Kernel/src/procedure.c (1.2): Incremented binary eco version number, so trying to load old eco files will give proper error message. Also removed dead code. 2008-08-03 14:13 jschimpf * Eclipse/Kernel/src/bip_db.c (1.4): Fixed ancient bug in type-macros which for some reason caused test failures now... 2008-08-03 09:57 jschimpf * Eclipse/Kernel/src/bip_delay.c (1.3): Fixed check for leftover woken goals. 2008-08-03 08:02 jschimpf * Eclipse/Kernel/lib/version.pl (1.24): Ready for build 6.0 #27 2008-08-02 23:58 kish_shen * Eclipse/JavaInterface/src/com/parctechnologies/eclipse/: Platform.java (patches_5_10.3), Platform.java (1.4): added check for amd64 in returning Platform_i386_nt 2008-08-02 11:26 jschimpf * Eclipse/Kernel/lib/version.pl (1.23): Ready for build 6.0 #26 2008-08-01 15:53 jschimpf * Eclipse/: Kernel/src/bip_delay.c (1.2), Kernel/src/error.c (1.3), Compiler/compiler_codegen.ecl (1.20): Added internal call_relaxed_prio/2 and employed it in compiler to make sure compile_term/1,2 works also in high-priority context. This is a quick workaround and should be thought though more carefully. 2008-08-01 15:44 jschimpf * Eclipse/Kernel/lib/: compiler_codegen.eco (1.5), kernel.eco (1.15), kernel.pl (1.12): Added internal call_relaxed_prio/2 and employed it in compiler to make sure compile_term/1,2 works also in high-priority context. This is a quick workaround and should be thought though more carefully. 2008-08-01 10:46 kish_shen * Eclipse/lib_tcl/eclipse_tools.tcl (1.22): removed the "show source while tracing" preference option -- seems rather pointless. 2008-08-01 08:03 jschimpf * Eclipse/Kernel/lib/version.pl (1.22): Ready for build 6.0 #25 2008-08-01 02:08 jschimpf * Eclipse/Kernel/lib/kernel.eco (1.14): Better backward compatibility by not removing all_dynamic flag completely. Also hidden a number of other obsolete flags from showing up with env/0. 2008-08-01 01:34 jschimpf * Eclipse/Kernel/lib/version.pl (1.21): classified as beta release 2008-08-01 01:31 jschimpf * Eclipse/documents/bips/kernel/opsys.eci (1.6): Added missing escapes 2008-08-01 01:30 jschimpf * Eclipse/documents/bips/kernel/: database.eci (1.9), directives.eci (1.4): Updates to compiler and directives 2008-08-01 01:27 jschimpf * Eclipse/documents/userman/: umscompiler.tex (1.3), umsroot.tex (1.2): Updated compiler chapter 2008-07-31 21:45 jschimpf * Eclipse/: Compiler/source_processor.ecl (1.9), Kernel/lib/source_processor.eco (1.4): Track current module (and created modules) correctly when returning from an included file. 2008-07-31 16:55 jschimpf * Eclipse/Kernel/lib/environment.pl (1.4): Better backward compatibility by not removing all_dynamic flag completely. Also hidden a number of other obsolete flags from showing up with env/0. 2008-07-31 11:27 jschimpf * Eclipse/Kernel/lib/version.pl (1.20): Ready for build 6.0 #24 2008-07-31 03:24 kish_shen * Eclipse/documents/bips/kernel/database.eci (1.8): added port_calls option to get_flag/3, to allow the goal information for the ports to be extracted. This is used to allow some hyperlink-like movement between source files (click on a goal at a port to display it), and also reused the code to display a predicate to show the call and the source for the called goal at the same time. also added a work-around for Helmut's problem -- check if a file is readable before erasing the old source listing. 2008-07-31 03:18 kish_shen * Eclipse/: Kernel/lib/kernel.eco (1.13), Kernel/lib/tracer_tcl.pl (1.4), Kernel/lib/debug.pl (1.3), Kernel/lib/kernel.pl (1.11), lib_tcl/eclipse_tools.tcl (1.21), lib_tcl/tracerhelp.txt (1.8): added port_calls option to get_flag/3, to allow the goal information for the ports to be extracted. This is used to allow some hyperlink-like movement between source files (click on a goal at a port to display it), and also reused the code to display a predicate to show the call and the source for the called goal at the same time. also added a work-around for Helmut's problem -- check if a file is readable before erasing the old source listing. 2008-07-31 03:13 kish_shen * Eclipse/Kernel/src/bip_db.c (1.3): added port_calls option to get_flag/3, to allow the goal information for the ports to be extracted. This is used to allow some hyperlink-like movement between source files (click on a goal at a port to display it), and also reused the code to display a predicate to show the call and the source for the called goal at the same time. also added a work-around for Helmut's problem -- check if a file is readable before erasing the old source listing. 2008-07-30 22:46 jschimpf * Eclipse/Kernel/lib/version.pl (1.19): Ready for build 6.0 #23 2008-07-30 12:13 jschimpf * Eclipse/Contrib/listut.pl (1.3): Worked around currently missing determinacy detection to avoid choicepoint. 2008-07-29 17:59 jschimpf * Eclipse/: Kernel/lib/compiler_normalise.eco (1.4), Kernel/lib/ecl_compiler.eco (1.8), Compiler/compiler_normalise.ecl (1.14), Compiler/ecl_compiler.ecl (1.12): Removed consistency check that slowed down compilation of large claues dramatically. Also added further log messages. 2008-07-29 17:13 jschimpf * Eclipse/Compiler/source_processor.ecl (1.8): Corrected description of ignore_conditionals option 2008-07-29 13:57 jschimpf * Eclipse/Kernel/lib/version.pl (1.18): Ready for build 6.0 #22 2008-07-28 23:54 jschimpf * Eclipse/: Kernel/lib/compiler_common.eco (1.5), Compiler/compiler_common.ecl (1.20): Print relative filename in redefinition messages again so we don't get diffs in tests. 2008-07-28 19:01 kish_shen * Eclipse/Kernel/lib/: kernel.eco (1.12), kernel.pl (1.10): added check for var for annotated arg in tr_colon/5, and removed a workaround for old compiler bug 2008-07-28 14:32 kish_shen * Eclipse/Kernel/lib/kernel.pl (1.9): fix for bug# b601 2008-07-27 23:20 jschimpf * Eclipse/: Compiler/ecl_compiler.ecl (1.11), Kernel/lib/ecl_compiler.eco (1.7): Print relative filename in redefinition messages again so we don't get diffs in tests. Also caught aborts in handlers, should they happen. 2008-07-27 12:25 jschimpf * Eclipse/Kernel/lib/: bsi.pl (1.2), cprolog.pl (1.4), ecl_compiler.eco (1.6), iso.pl (1.3), kernel.eco (1.11), kernel.pl (1.8), sepia.pl (1.2), swi.ecl (1.2): Changed +,-, prefix operators to be iso compatible (and more intuitive) 2008-07-26 16:45 jschimpf * Eclipse/Kernel/src/bip_module.c (1.5): Corrected size of tool interface code block 2008-07-25 15:01 kish_shen * Eclipse/documents/bips/kernel/opsys.eci (1.5): updated description for canonical_path_name/2 (for Windows) 2008-07-25 02:22 kish_shen * Eclipse/documents/userman/umsmacros.tex (1.4): added source annotation aware transformation to user manual 2008-07-24 16:26 jschimpf * Eclipse/Kernel/lib/t_all.pl (1.2): Write LF-style result files even on Windows 2008-07-24 16:21 jschimpf * Eclipse/Kernel/: src/code.c (1.8), src/emu.c (1.7), src/error.c (1.2), src/error.h (1.2), lib/events.pl (1.4): Made metacall consistent with new compiler behaviour and allowed cut within condition. 2008-07-24 15:45 jschimpf * Eclipse/lib_tcl/tkeclipse.tcl (1.8): Newly created warning stream did not flush eagerly enough 2008-07-24 15:22 kish_shen * Eclipse/icparc_solvers/seplex.c (1.9): define __eprintf generally, because Cisco's sparc_sunos5 machine, which has older libraries, does not define __eprintf() -- this caused the loadsing of clpcbc built at that machine to fail 2008-07-24 13:56 jschimpf * Eclipse/: Kernel/lib/compiler_common.eco (1.4), Kernel/lib/ecl_compiler.eco (1.5), Kernel/lib/source_processor.eco (1.3), Kernel/src/bip_module.c (1.4), Compiler/compiler_common.ecl (1.19), Compiler/compiler_normalise.ecl (1.13), Compiler/ecl_compiler.ecl (1.10), Compiler/source_processor.ecl (1.7): Corrected and improved error reporting 2008-07-24 11:06 jschimpf * Eclipse/Kernel/lib/version.pl (1.17): Ready for build 6.0 #21 2008-07-24 03:51 kish_shen * Eclipse/icparc_solvers/seplex.c (patches_5_10.10): define __eprintf generally, because Cisco's sparc_sunos5 machine, which has older libraries, does not define __eprintf() -- this caused the loadsing of ckpcbc built at that machine to fail 2008-07-23 20:37 kish_shen * Eclipse/Kernel/src/os_support.c (1.5): removed the C level removing of trailing . for Windows -- this is done by GetLongPathName() for existing paths, and non-existing paths is not passed to the C level, so no editing of the '.' is done there. No normalisation is done for non-existing path for anything else, so tolerate extra '.' seems reasonable. 2008-07-23 06:58 jschimpf * Eclipse/Kernel/lib/version.pl (1.16): Ready for build 6.0 #20 2008-07-23 02:49 kish_shen * Eclipse/Kernel/src/: config.h.in (1.3), os_support.c (1.4): fix for bug# 596: use GetLongPathName() to normalise case for characters in file path. This only works for Windows NT version > 4 (Windows 2000 prof and newer) also removed any trailing '.' in file names -- they are ignored by Windows. done for getcwd/1 -- this is used by canonical_path_name/2 to normalise existing paths 2008-07-23 02:43 kish_shen * Eclipse/: configure (1.22), configure.ac (1.21): fix for bug# 596: use GetLongPathName() to normalise case for characters in file path. This only works for Windows NT version > 4 (Windows 2000 prof and newer) also removed any trailing '.' in file names -- they are ignored by Windows. done for getcwd/1 -- this is used by canonical_path_name/2 to normalise existing paths 2008-07-22 16:00 kish_shen * Eclipse/Kernel/lib/: kernel.eco (1.10), tracer_tcl.pl (1.3): 1. merged predicate source display into tracer's source display 2. GUI now informed of start of tracing. Use this to clear the debug source file info, so that the file is reloaded on new trace. 3. Various minor changes suggested by Joachim. 2008-07-22 15:44 kish_shen * Eclipse/lib_tcl/: eclipse_tools.tcl (1.20), predprophelp.txt (1.2), tracerhelp.txt (1.7): 1. merged predicate source display into tracer's source display 2. GUI now informed of start of tracing. Use this to clear the debug source file info, so that the file is reloaded on new trace. 3. Various minor changes suggested by Joachim. 2008-07-22 14:37 kish_shen * Eclipse/lib_tcl/eclipse.tcl (1.2): some error catching when eclipse is killed 2008-07-22 11:07 jschimpf * Eclipse/Kernel/lib/version.pl (1.15): Ready for build 6.0 #19 2008-07-22 04:45 kish_shen * Eclipse/documents/internal/: debugger_interface.txt (1.3), tracer.txt (1.3): updated documentation for debugger changes (source tracing, breakpoints) 2008-07-21 00:32 jschimpf * Eclipse/Kernel/lib/version.pl (1.14): Ready for build 6.0 #18 2008-07-20 18:22 jschimpf * Eclipse/: eclipse_rt.lst (1.5), Compiler/Makefile.in (1.5), Compiler/compiler_test.ecl (1.17), Compiler/ecl_compiler.ecl (1.9), Compiler/source_processor.ecl (1.6), Compiler/test.ref (1.29), Compiler/testo.ref (1.25): Revised dynamic/discontiguous/multifile compilation. Changed directives such that they are executed at compile time and load time, queries only at load time. Fixed expand pragmas, which were ignored, and several other minor problems. 2008-07-20 18:16 jschimpf * Eclipse/Kernel/: lib/asm.eco (1.4), lib/compiler_analysis.eco (1.2), lib/compiler_codegen.eco (1.4), lib/compiler_common.eco (1.3), lib/compiler_indexing.eco (1.2), lib/compiler_map.eco (1.2), lib/compiler_normalise.eco (1.3), lib/compiler_peephole.eco (1.2), lib/compiler_regassign.eco (1.3), lib/compiler_varclass.eco (1.3), lib/ecl_compiler.eco (1.4), lib/eclipse_language.eco (1.4), lib/environment.pl (1.3), lib/events.pl (1.3), lib/hash.eco (1.2), lib/iso.pl (1.2), lib/kernel.eco (1.9), lib/kernel.pl (1.7), lib/meta.pl (1.3), lib/modes.pl (1.2), lib/module_options.eco (1.2), lib/multifile.ecl (1.1), lib/quintus.pl (1.3), lib/source_processor.eco (1.2), src/Makefile.in (1.3): Revised dynamic/discontiguous/multifile compilation. Changed directives such that they are executed at compile time and load time, queries only at load time. Fixed expand pragmas, which were ignored, and several other minor problems. 2008-07-20 17:06 jschimpf * Eclipse/Kernel/src/bip_db.c (1.2): Don't return break/port_lines property when no source information 2008-07-20 17:05 jschimpf * Eclipse/Kernel/src/operator.c (1.2): Ignore duplicate operator definitions (better for compiling loaded module to .eco) 2008-07-19 10:46 jschimpf * Eclipse/Kernel/lib/version.pl (1.13): Ready for build 6.0 #17 2008-07-18 17:17 kish_shen * Eclipse/documents/: userman/umsdynamic.tex (1.2), userman/umslanguage.tex (1.2), userman/umsmacros.tex (1.3), bips/kernel/control.eci (1.2), bips/kernel/dynamic.eci (1.2): updated documentation for dynamic code changes 2008-07-18 17:14 kish_shen * Eclipse/Kernel/src/code.c (1.7): corrected a mistake in previous change noticed by Joachim 2008-07-18 13:38 kish_shen * Eclipse/Kernel/lib/: kernel.pl (1.6), eclipse_language.eco (1.3), kernel.eco (1.8), eclipse_language.ecl (1.2): 1. added dummy -->/2 and ?-/2 predicates to sepia_kernel to prevent their use in dynamic code 2. changed the tr_match (for ?-/2) and tr_with (for named structures) macro transformation to be annotation aware so that source tracer works better for them 2008-07-18 11:32 jschimpf * Eclipse/Compiler/Makefile.in (1.4): Replaced single with double quotes because line continuations don't work under cygwin otherwise 2008-07-18 06:42 jschimpf * Eclipse/Kernel/lib/version.pl (1.12): Ready for build 6.0 #16 2008-07-18 02:13 kish_shen * Eclipse/Kernel/lib/: debug.pl (1.2), environment.pl (1.2), kernel.eco (1.7): corrected some singleton variable warnings 2008-07-17 15:32 kish_shen * Eclipse/Kernel/: lib/dynamic.pl (1.2), lib/kernel.eco (1.6), src/code.c (1.6): implemented call_with_cut and use it in call_dynamic_/4 2008-07-17 13:06 jschimpf * Eclipse/Kernel/lib/version.pl (1.11): Ready for build 6.0 #15 2008-07-16 23:58 kish_shen * Eclipse/Kernel/src/: intervals.c (1.2), rounding_control.h (1.2), bip_arith.c (1.2), config.h.in (1.2): merge workaround for Intel Mac OS X ceil() bug from patch branch to main branch 2008-07-16 23:51 kish_shen * Eclipse/: configure (1.21), configure.ac (1.20): merge workaround for Intel Mac OS X ceil() bug from patch branch to main branch 2008-07-16 18:07 kish_shen * Eclipse/documents/bips/kernel/record.eci (1.4): added filtering to recorded/2,3. This speeds up recorded/2,3 by reducing the length of the list of possible matches for the term being retrieved. In particular, this speeds up the execution of dynamic code 2008-07-16 17:38 kish_shen * Eclipse/Kernel/lib/kernel.eco (1.5): added filtering to recorded/2,3. This speeds up recorded/2,3 by reducing the length of the list of possible matches for the term being retrieved. In particular, this speeds up the execution of dynamic code 2008-07-16 17:17 kish_shen * Eclipse/Kernel/lib/kernel.pl (1.5): added filtering to recorded/2,3. This speeds up recorded/2,3 by reducing the length of the list of possible matches for the term being retrieved. In particular, this speeds up the execution of dynamic code 2008-07-16 17:12 kish_shen * Eclipse/Kernel/src/bip_record.c (1.2): added filtering to recorded/2,3. This speeds up recorded/2,3 by reducing the length of the list of possible matches for the term being retrieved. In particular, this speeds up the execution of dynamic code 2008-07-15 10:44 jschimpf * Eclipse/Kernel/lib/version.pl (1.10): Ready for build 6.0 #14 2008-07-13 13:50 jschimpf * Eclipse/Compiler/: compiler_codegen.ecl (1.19), compiler_common.ecl (1.18), compiler_test.ecl (1.16), ecl_compiler.ecl (1.8), test.ref (1.28), testo.ref (1.24): Improvements to tracing of inlined builtins, albeit without arguments. A couple of small compiler-toplevel problems fixed. 2008-07-13 13:40 jschimpf * Eclipse/Kernel/: src/code.c (1.5), src/emu.c (1.6), src/emu_export.h (1.5), lib/compiler_codegen.eco (1.3), lib/compiler_common.eco (1.2), lib/compiler_regassign.eco (1.2), lib/compiler_varclass.eco (1.2), lib/ecl_compiler.eco (1.3), lib/eclipse_language.eco (1.2), lib/events.pl (1.2), lib/kernel.eco (1.4), lib/kernel.pl (1.4): Improvements to tracing of inlined builtins, albeit without arguments. A couple of small compiler-toplevel problems fixed. 2008-07-12 10:46 jschimpf * Eclipse/Kernel/lib/version.pl (1.9): Ready for build 6.0 #13 2008-07-12 00:25 jschimpf * Eclipse/documents/bips/kernel/: database.eci (1.7), env.eci (1.5), termmanip.eci (1.3): Edited compiler docs plus some minor corrections 2008-07-11 15:16 kish_shen * Eclipse/: README_MACOSX (1.6), README_UNIX (1.6): updated Tcl/Tk 8.4 -> 8.5 2008-07-11 06:38 jschimpf * Eclipse/Kernel/lib/version.pl (1.8): Ready for build 6.0 #12 2008-07-10 18:37 jschimpf * Eclipse/Kernel/src/os_support.c (1.3): Fixed bug 597 - protected expand_filename against buffer overflow 2008-07-10 15:02 jschimpf * Eclipse/RUNME (1.3): Changed tcl default to 8.5 2008-07-10 10:51 jschimpf * Eclipse/Kernel/lib/version.pl (1.7): Ready for build 6.0 #11 2008-07-10 01:12 jschimpf * Eclipse/Kernel/lib/: asm.eco (1.3), asm.pl (1.3): Allow breakpoints at simple call ports as well. 2008-07-10 01:08 jschimpf * Eclipse/Kernel/src/: bip_comp.c (1.2), dict.c (1.3), names.h (1.3), opcode.h (1.4), printam.c (1.4), sepia.h (1.3): Removed unused tags and instruction names. 2008-07-10 00:33 jschimpf * Eclipse/Kernel/src/: code.c (1.4), ec_public.h (1.2), emu.c (1.5), emu_c_env.c (1.2), emu_export.h (1.4), emu_util.c (1.3), gc_stacks.c (1.2), gencode.h (1.3), printam.c (1.3), sepia.h (1.2), types.h (1.3): Increased size of argument register array according to requirements of new compilation scheme (need to be able to hold regular and simple arguments at the same time, see register allocator). Also removed unused code generation macros leftover from old compiler. 2008-07-09 17:42 jschimpf * Eclipse/Kernel/lib/version.pl (1.6): Ready for build 6.0 #10 2008-07-09 16:52 jschimpf * Eclipse/Kernel/src/os_support.c (1.2): Workaround for drive letter case inconsistency when compiling under cygwin 2008-07-09 15:13 kish_shen * Eclipse/lib_tcl/eclipse_tools.tcl (1.19): fixed a problem that display one less line number if the last line of the source file does not have a newline 2008-07-08 22:33 jschimpf * Eclipse/Compiler/compiler_normalise.ecl (1.12): Recognise ?-/2 syntax for matching clauses directly 2008-07-08 22:31 jschimpf * Eclipse/: Kernel/lib/asm.eco (1.2), Kernel/lib/asm.pl (1.2), Kernel/lib/compiler_codegen.eco (1.2), Kernel/lib/compiler_normalise.eco (1.2), Kernel/lib/ecl_compiler.eco (1.2), Kernel/lib/kernel.eco (1.3), Kernel/lib/meta.pl (1.2), Kernel/lib/tracer.pl (1.2), Compiler/compiler_codegen.ecl (1.18): Tracing support for new inlined builtins 2008-07-08 22:24 jschimpf * Eclipse/Kernel/src/: bip_control.c (1.2), bip_module.c (1.3), code.c (1.3), dict.c (1.2), emu.c (1.4), emu_export.h (1.3), emu_op_addr.h (1.2), gencode.h (1.2), handlers.c (1.2), names.h (1.2), opcode.h (1.3), printam.c (1.2), types.h (1.2): Tracing support for new inlined builtins 2008-07-08 20:05 jschimpf * Eclipse/Kernel/lib/: cprolog.pl (1.3), kernel.pl (1.3): removed obsolete references to db_reference data type 2008-07-08 20:04 jschimpf * Eclipse/Kernel/lib/tracer_tty.pl (1.2): Some changes for source line printing 2008-07-08 19:40 jschimpf * Eclipse/Compiler/ecl_compiler.ecl (1.7): Always write .eco files using LF newline convention, even on Windows. 2008-07-08 17:21 kish_shen * Eclipse/: lib_tcl/eclipse_tools.tcl (1.18), Kernel/lib/tracer_tcl.pl (1.2): implemented suggestion from Joachim: do not always update source position. Source position will now not be updated at a next or else port, which showed the parent goal and may be confusing. 2008-07-08 16:08 kish_shen * Eclipse/: configure, configure.ac (patches_5_10.[44,42]): workaround for Intel Mac OS X bug with ceil() [in 10.5 and probably older versions of Mac OS X] 2008-07-07 06:39 jschimpf * Eclipse/Kernel/lib/version.pl (1.5): Ready for build 6.0 #9 2008-07-06 13:22 jschimpf * Eclipse/lib_tcl/eclipse_tools.tcl (1.17): Hide ugly boxes when displaying source files containing CR characters. 2008-07-06 07:17 kish_shen * Eclipse/lib_tcl/eclipse_tools.tcl (1.16): changes due to Joachim's code review 2008-07-06 06:39 jschimpf * Eclipse/Kernel/lib/version.pl (1.4): Ready for build 6.0 #8 2008-07-04 21:24 kish_shen * Eclipse/lib_tcl/eclipse_tools.tcl (1.15): fix a problem introduced by using list quote in last checkin 2008-07-04 17:14 kish_shen * Eclipse/lib_tcl/: eclipse_tools.tcl (1.14), widget/combobox.tcl (1.2): fixes to allow spaces in file names for source debug, including a fix to combobox to allow spaces in the implicit argument for -command 2008-07-04 06:38 jschimpf * Eclipse/Kernel/lib/version.pl (1.3): Ready for build 6.0 #7 2008-07-03 10:29 jschimpf * Eclipse/ecl_inst.js (patches_5_10.3): corrected version number 2008-07-02 16:25 jschimpf * Eclipse/Kernel/src/emu.c (1.3): removed further dead code 2008-07-02 15:43 jschimpf * Eclipse/Kernel/: src/bip_module.c (1.2), src/code.c (1.2), src/dict.h (1.2), src/emu.c (1.2), src/emu_export.h (1.2), src/emu_util.c (1.2), src/opcode.h (1.2), src/proc_desc.c (1.2), lib/kernel.eco (1.2), lib/kernel.pl (1.2): Use new BI_xx instructions even for metacall and waking, and related cleanup. 2008-07-02 04:56 kish_shen * Eclipse/: configure (1.20), configure.ac (1.19): corrected typo for PPC Mac OS X 2008-07-01 23:55 kish_shen * Eclipse/: configure, configure.ac (patches_5_10.[43,41]): corrected typo for PPC Mac OS X 2008-07-01 15:42 jschimpf * Eclipse/Kernel/lib/version.pl (1.2): Ready for build 6.0 #6 2008-07-01 00:27 jschimpf * Eclipse/Kernel/: lib/cprolog.pl (1.2), lib/quintus.pl (1.2), src/Makefile.in (1.2): Removed remaining references to lib(scattered) 2008-06-30 17:43 jschimpf * Eclipse/: BUILD_ROTD (1.8), INSTALL (1.6), Makefile.in (1.7), configure (1.19), configure.ac (1.18), Compiler/Makefile.in (1.3), Compiler/README (1.3), Compiler/ecl_compiler.ecl (1.6), Kernel/lib/alldiff_strong.pl (1.1), Kernel/lib/anti_unify.pl (1.1), Kernel/lib/apply.pl (1.1), Kernel/lib/apply_macros.pl (1.1), Kernel/lib/array.pl (1.1), Kernel/lib/asm.eco (1.1), Kernel/lib/asm.pl (1.1), Kernel/lib/atts.pl (1.1), Kernel/lib/branch_and_bound.pl (1.1), Kernel/lib/bsi.pl (1.1), Kernel/lib/calendar.pl (1.1), Kernel/lib/cgi.pl (1.1), Kernel/lib/cio.pl (1.1), Kernel/lib/compiler_analysis.eco (1.1), Kernel/lib/compiler_codegen.eco (1.1), Kernel/lib/compiler_common.eco (1.1), Kernel/lib/compiler_indexing.eco (1.1), Kernel/lib/compiler_map.eco (1.1), Kernel/lib/compiler_normalise.eco (1.1), Kernel/lib/compiler_peephole.eco (1.1), Kernel/lib/compiler_regassign.eco (1.1), Kernel/lib/compiler_varclass.eco (1.1), Kernel/lib/constraint_pools.ecl (1.1), Kernel/lib/cp_min.pl (1.1), Kernel/lib/cprof.pl (1.1), Kernel/lib/cprolog.pl (1.1), Kernel/lib/db.pl (1.1), Kernel/lib/debug.pl (1.1), Kernel/lib/define.pl (1.1), Kernel/lib/development_support.pl (1.1), Kernel/lib/dfid.pl (1.1), Kernel/lib/document.ecl (1.1), Kernel/lib/dynamic.pl (1.1), Kernel/lib/ecl_compiler.eco (1.1), Kernel/lib/eclipse_language.ecl (1.1), Kernel/lib/eclipse_language.eco (1.1), Kernel/lib/elipsys.pl (1.1), Kernel/lib/elipsys_fd.pl (1.1), Kernel/lib/environment.pl (1.1), Kernel/lib/events.pl (1.1), Kernel/lib/fcompile.ecl (1.1), Kernel/lib/fd.pl (1.1), Kernel/lib/fd_arith.pl (1.1), Kernel/lib/fd_chip.pl (1.1), Kernel/lib/fd_domain.pl (1.1), Kernel/lib/fd_elipsys.pl (1.1), Kernel/lib/fd_util.pl (1.1), Kernel/lib/flexlm.ecl (1.1), Kernel/lib/forall.pl (1.1), Kernel/lib/foreign.pl (1.1), Kernel/lib/fromonto.pl (1.1), Kernel/lib/goedel.pl (1.1), Kernel/lib/hash.ecl (1.1), Kernel/lib/hash.eco (1.1), Kernel/lib/heaps.pl (1.1), Kernel/lib/history.pl (1.1), Kernel/lib/http.pl (1.1), Kernel/lib/http_client.pl (1.1), Kernel/lib/http_grammar.pl (1.1), Kernel/lib/http_method.pl (1.1), Kernel/lib/http_server.pl (1.1), Kernel/lib/idb.pl (1.1), Kernel/lib/io.pl (1.1), Kernel/lib/iso.pl (1.1), Kernel/lib/kb.pl (1.1), Kernel/lib/kernel.eco (1.1), Kernel/lib/kernel.pl (1.1), Kernel/lib/kernel_bips.pl (1.1), Kernel/lib/licensing.ecl (1.1), Kernel/lib/lips.pl (1.1), Kernel/lib/lists.pl (1.1), Kernel/lib/make.pl (1.1), Kernel/lib/make_ptags.pl (1.1), Kernel/lib/matrix_util.pl (1.1), Kernel/lib/megalog.pl (1.1), Kernel/lib/menu.tcl (1.1), Kernel/lib/meta.pl (1.1), Kernel/lib/mixtus.pl (1.1), Kernel/lib/modes.pl (1.1), Kernel/lib/module_options.ecl (1.1), Kernel/lib/module_options.eco (1.1), Kernel/lib/mps.pl (1.1), Kernel/lib/notify_ports.ecl (1.1), Kernel/lib/notinstance.pl (1.1), Kernel/lib/numbervars.pl (1.1), Kernel/lib/oldio.pl (1.1), Kernel/lib/ordset.pl (1.1), Kernel/lib/paddy.pl (1.1), Kernel/lib/par_util.pl (1.1), Kernel/lib/pdb.pl (1.1), Kernel/lib/peval.pl (1.1), Kernel/lib/port_profiler.ecl (1.1), Kernel/lib/pretty_print.pl (1.1), Kernel/lib/profile.pl (1.1), Kernel/lib/ptags.pl (1.1), Kernel/lib/queens.pl (1.1), Kernel/lib/queues.pl (1.1), Kernel/lib/quintus.pl (1.1), Kernel/lib/quintus_util.pl (1.1), Kernel/lib/rationals.pl (1.1), Kernel/lib/remote_tools.pl (1.1), Kernel/lib/sepia.pl (1.1), Kernel/lib/setof.pl (1.1), Kernel/lib/sicstus.pl (1.1), Kernel/lib/sockets.pl (1.1), Kernel/lib/sorts.pl (1.1), Kernel/lib/source_processor.eco (1.1), Kernel/lib/source_storage.pl (1.1), Kernel/lib/spell.pl (1.1), Kernel/lib/stat.pl (1.1), Kernel/lib/statistics.pl (1.1), Kernel/lib/strings.pl (1.1), Kernel/lib/structures.pl (1.1), Kernel/lib/suspend.eco (1.1), Kernel/lib/suspend.pl (1.1), Kernel/lib/swi.ecl (1.1), Kernel/lib/systools.pl (1.1), Kernel/lib/t_all.pl (1.1), Kernel/lib/tconv.pl (1.1), Kernel/lib/test_util.pl (1.1), Kernel/lib/time_log.ecl (1.1), Kernel/lib/timeout.ecl (1.1), Kernel/lib/toplevel.pl (1.1), Kernel/lib/tracer.pl (1.1), Kernel/lib/tracer_tcl.pl (1.1), Kernel/lib/tracer_tty.pl (1.1), Kernel/lib/util.pl (1.1), Kernel/lib/var_name.ecl (1.1), Kernel/lib/varlists.pl (1.1), Kernel/lib/version.pl (1.1), Kernel/src/INST_PARAMS.in (1.1), Kernel/src/Makefile.external.in (1.1), Kernel/src/Makefile.in (1.1), Kernel/src/addrmap.c (1.1), Kernel/src/auxiliary.c (1.1), Kernel/src/bigrat.c (1.1), Kernel/src/bip_arith.c (1.1), Kernel/src/bip_array.c (1.1), Kernel/src/bip_bag.c (1.1), Kernel/src/bip_comp.c (1.1), Kernel/src/bip_control.c (1.1), Kernel/src/bip_db.c (1.1), Kernel/src/bip_delay.c (1.1), Kernel/src/bip_domain.c (1.1), Kernel/src/bip_heapevents.c (1.1), Kernel/src/bip_io.c (1.1), Kernel/src/bip_load.c (1.1), Kernel/src/bip_misc.c (1.1), Kernel/src/bip_module.c (1.1), Kernel/src/bip_mps.c (1.1), Kernel/src/bip_parallel.c (1.1), Kernel/src/bip_record.c (1.1), Kernel/src/bip_shelf.c (1.1), Kernel/src/bip_store.c (1.1), Kernel/src/bip_strings.c (1.1), Kernel/src/bip_tconv.c (1.1), Kernel/src/code.c (1.1), Kernel/src/config.h.in (1.1), Kernel/src/database.h (1.1), Kernel/src/debug.h (1.1), Kernel/src/dict.c (1.1), Kernel/src/dict.h (1.1), Kernel/src/dlfcn_simple.c (1.1), Kernel/src/dlfcn_simple.h (1.1), Kernel/src/dummy_bigrat.c (1.1), Kernel/src/dummy_mps.c (1.1), Kernel/src/dummy_par.c (1.1), Kernel/src/dummy_upcalls.c (1.1), Kernel/src/dummy_wm.c (1.1), Kernel/src/ec_public.h (1.1), Kernel/src/eclipse.h (1.1), Kernel/src/eclipse.reg (1.1), Kernel/src/eclipse.sym (1.1), Kernel/src/eclipse_cc.cc (1.1), Kernel/src/eclipseclass.h (1.1), Kernel/src/eclipsedir.c (1.1), Kernel/src/eg_c_basic.c (1.1), Kernel/src/eg_c_external.c (1.1), Kernel/src/eg_c_fail_loop.c (1.1), Kernel/src/eg_c_handle.c (1.1), Kernel/src/eg_c_main.c (1.1), Kernel/src/eg_c_mip.c (1.1), Kernel/src/eg_c_sendmore.c (1.1), Kernel/src/eg_c_test.c (1.1), Kernel/src/eg_cc_basic.cc (1.1), Kernel/src/eg_cc_event.cc (1.1), Kernel/src/eg_cc_external.cc (1.1), Kernel/src/eg_cc_fail_loop.cc (1.1), Kernel/src/eg_cc_handle.cc (1.1), Kernel/src/eg_cc_main.cc (1.1), Kernel/src/eg_cc_mip.cc (1.1), Kernel/src/eg_cc_sendmore.cc (1.1), Kernel/src/eg_cc_test.cc (1.1), Kernel/src/eg_cc_yield.cc (1.1), Kernel/src/elipsys_fd.c (1.1), Kernel/src/embed.c (1.1), Kernel/src/embed.h (1.1), Kernel/src/emu.c (1.1), Kernel/src/emu_c_env.c (1.1), Kernel/src/emu_export.h (1.1), Kernel/src/emu_op_addr.h (1.1), Kernel/src/emu_par.c (1.1), Kernel/src/emu_util.c (1.1), Kernel/src/error.c (1.1), Kernel/src/error.h (1.1), Kernel/src/example.c (1.1), Kernel/src/expsymtab (1.1), Kernel/src/external.c (1.1), Kernel/src/external.h (1.1), Kernel/src/fd.h (1.1), Kernel/src/gc_stacks.c (1.1), Kernel/src/gencode.h (1.1), Kernel/src/getwd.c (1.1), Kernel/src/handle.c (1.1), Kernel/src/handlers.c (1.1), Kernel/src/init.c (1.1), Kernel/src/intervals.c (1.1), Kernel/src/intervals.h (1.1), Kernel/src/io.c (1.1), Kernel/src/io.h (1.1), Kernel/src/lamsg.c (1.1), Kernel/src/lbmsg.c (1.1), Kernel/src/lex.c (1.1), Kernel/src/lex.h (1.1), Kernel/src/lgmp.c (1.1), Kernel/src/lib1.c (1.1), Kernel/src/lib2.c (1.1), Kernel/src/lib3.c (1.1), Kernel/src/lib4.c (1.1), Kernel/src/lib5.c (1.1), Kernel/src/lib6.c (1.1), Kernel/src/lib7.c (1.1), Kernel/src/lnsrv.c (1.1), Kernel/src/main.c (1.1), Kernel/src/manual_examples.c (1.1), Kernel/src/mem.c (1.1), Kernel/src/mem.h (1.1), Kernel/src/module.h (1.1), Kernel/src/names.h (1.1), Kernel/src/opcode.h (1.1), Kernel/src/operator.c (1.1), Kernel/src/opt_i386_linux.sh (1.1), Kernel/src/opt_sun3.sh (1.1), Kernel/src/opt_sun4.sh (1.1), Kernel/src/opt_svr4_sparc.sh (1.1), Kernel/src/os_support.c (1.1), Kernel/src/os_support.h (1.1), Kernel/src/printam.c (1.1), Kernel/src/proc_desc.c (1.1), Kernel/src/procedure.c (1.1), Kernel/src/property.c (1.1), Kernel/src/property.h (1.1), Kernel/src/pteclipse.def (1.1), Kernel/src/read.c (1.1), Kernel/src/read.h (1.1), Kernel/src/rounding_control.h (1.1), Kernel/src/sch_eng_interface.h (1.1), Kernel/src/sch_macros.h (1.1), Kernel/src/sch_types.h (1.1), Kernel/src/sch_util.c (1.1), Kernel/src/scheduler.c (1.1), Kernel/src/sepia.h (1.1), Kernel/src/sha.c (1.1), Kernel/src/test.c (1.1), Kernel/src/tkcommon.h (1.1), Kernel/src/tkeclipse.c (1.1), Kernel/src/tkeclipse.def (1.1), Kernel/src/tkexdr.c (1.1), Kernel/src/tkexdr.def (1.1), Kernel/src/trace.c (1.1), Kernel/src/trace.h (1.1), Kernel/src/types.h (1.1), Kernel/src/types_external.c (1.1), Kernel/src/upcalls.c (1.1), Kernel/src/whereami_default.c (1.1), Kernel/src/wm.c (1.1), Kernel/src/wm.h (1.1), Kernel/src/wm_interface.c (1.1), Kernel/src/wm_msgs.h (1.1), Kernel/src/wm_types.h (1.1), Kernel/src/worker.c (1.1), Kernel/src/write.c (1.1), documents/internal/components.html (1.2), documents/internal/lib_install_pack.txt (1.2), documents/internal/merge.txt (1.3), documents/internal/release.txt (1.2), documents/internal/kernel/internal.tex (1.3), documents/tutorial/eprolog.tex (1.2), icparc_solvers/Makefile.in (1.11), legal/LEGAL (1.3): Removed the old compiler files and moved the remaining kernel sources: sepia/src and sepia/include to Kernel/src, and sepia/pl to Kernel/lib. Modified the compiler to hide source line/offset (but not file) when not in debug mode, to make boot .eco files change less when modified. 2008-06-29 10:15 jschimpf * Eclipse/ZincInterface/fzn_ic.ecl (patches_5_10.7): removed incorrect reference to fd_sets 2008-06-29 10:10 jschimpf * Eclipse/ZincInterface/fzn_ic.ecl (1.4): removed incorrect reference to fd_sets 2008-06-29 06:51 jschimpf * Eclipse/sepia/pl/version.pl (1.52): Ready for build 6.0 #4 2008-06-28 12:31 jschimpf * Eclipse/sepia/pl/iso.pl (1.3): Added prolog flag 'dialect' and fixed a few problems in xxx_prolog_flag 2008-06-28 05:11 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.111): Ready for build 5.10 #137 2008-06-27 15:38 jschimpf * Eclipse/sepia/pl/: kernel.eco (1.8), tracer.pl (1.10): Restore engine state correctly after leave-port tracing. 2008-06-27 06:51 jschimpf * Eclipse/sepia/pl/version.pl (1.51): Ready for build 6.0 #3 2008-06-26 09:58 jschimpf * Eclipse/sepia/src/Makefile.in (1.11): Done the previous fix properly... 2008-06-26 08:25 jschimpf * Eclipse/sepia/src/Makefile.in (1.10): Fixed a rule broken in previous change 2008-06-25 23:54 jschimpf * Eclipse/sepia/src/code.c (patches_5_10.1): Fixed array size error, potential cause for crashes 2008-06-25 23:36 jschimpf * Eclipse/sepia/src/code.c (1.7): Fixed array size error causing crash on Windows 2008-06-25 18:44 jschimpf * Eclipse/sepia/src/Makefile.in (1.9): A couple of changes needed for cygwin build (not complete). Also removed a few obsolete rules. 2008-06-25 18:42 jschimpf * Eclipse/sepia/src/: eclipsedir.c (1.3), init.c (1.4): Allow a relative pathname to be given to the -D option (by making it absolute straight away) 2008-06-25 11:59 jschimpf * Eclipse/: documents/bips/kernel/ioterm.eci (1.4), documents/bips/kernel/stratom.eci (1.3), sepia/pl/kernel.eco (1.7), sepia/pl/kernel.pl (1.27), sepia/pl/eclipse_language.ecl (1.8), sepia/pl/eclipse_language.eco (1.4): Added sprintf/3 2008-06-25 11:27 jschimpf * Eclipse/: README_MACOSX, README_UNIX, README_WIN.TXT (patches_5_10.[6,7,12]), README_UNIX (1.5), README_WIN.TXT (1.5), README_MACOSX (1.5): Updated mailing list information 2008-06-24 09:31 jschimpf * Eclipse/: BUILD_ROTD, ecl_inst.js, PACK (patches_5_10.[5,2,13]): Added a script ecl_inst.js for rudimentary installation (replicated from main branch) 2008-06-23 22:11 jschimpf * Eclipse/: ecl_inst.js (1.1), BUILD_ROTD (1.7), PACK (1.5): Added a script ecl_inst.js for rudimentary installation 2008-06-23 22:11 jschimpf * Eclipse/ecl_inst.js (patches_5_10.1): file ecl_inst.js was added on branch patches_5_10 on 2008-06-24 09:31:21 +0000 2008-06-23 20:58 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.110): Ready for build 5.10 #136 2008-06-23 15:17 jschimpf * Eclipse/BUILD_ROTD (1.6): Update for 6.0 version.pl plus minor improvements 2008-06-22 06:27 jschimpf * Eclipse/sepia/pl/version.pl (1.50): Ready for build 6.0 #2 2008-06-21 23:12 kish_shen * Eclipse/: configure (1.18), configure.ac (1.17): quote [ ] in configure.ac -- otherwise they are lost by autoconf 2008-06-21 23:05 kish_shen * Eclipse/: configure, configure.ac (patches_5_10.[42,40]): quote [ ] in configure.ac -- otherwise they are lost by autoconf 2008-06-21 05:11 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.109): Ready for build 5.10 #135 2008-06-20 20:09 jschimpf * Eclipse/sepia/pl/version.pl (1.49): Ready for build 6.0 #1 2008-06-20 17:33 jschimpf * Eclipse/ZincInterface/: flatzinc.ecl (1.3), flatzinc_parser.ecl (1.3), fzn_fd.ecl (1.3), fzn_ic.ecl (1.3), minizinc.ecl (1.3), zn_examples.ecl (1.3), fzn_eplex/globals.mzn (1.3), fzn_fd/globals.mzn (1.3), fzn_ic/globals.mzn (1.3): Updated for Minizinc 0.8 2008-06-20 17:21 jschimpf * Eclipse/ZincInterface/: flatzinc.ecl, flatzinc_parser.ecl, fzn_fd.ecl, fzn_ic.ecl, minizinc.ecl, zn_examples.ecl, fzn_eplex/globals.mzn, fzn_fd/globals.mzn, fzn_ic/globals.mzn (patches_5_10.[6,2,6,6,8,3,3,3,3]): Updated for Minizinc 0.8 2008-06-20 13:41 jschimpf * Eclipse/: INSTALL (1.5), Makefile.in (1.6), PACK (1.4), README_MACOSX (1.4), README_UNIX (1.4), README_WIN.TXT (1.4), configure (1.17), configure.ac (1.16), ecl_inst.tcl (1.4), JavaInterface/src/com/parctechnologies/eclipse/OutOfProcessEclipse.java (1.3), Visualisation/gnuplot.ecl (1.2), ZincInterface/Makefile.in (1.2), ZincInterface/flatzinc.ecl (1.2), ZincInterface/flatzinc_parser.ecl (1.2), ZincInterface/flatzinc_syntax.ecl (1.2), ZincInterface/fzn_eplex.ecl (1.2), ZincInterface/fzn_fd.ecl (1.2), ZincInterface/fzn_ic.ecl (1.2), ZincInterface/minizinc.ecl (1.2), ZincInterface/zn_examples.ecl (1.2), ZincInterface/fzn_eplex/globals.mzn (1.2), ZincInterface/fzn_fd/globals.mzn (1.2), ZincInterface/fzn_ic/globals.mzn (1.2), documents/bips/kernel/env.eci (1.4), documents/bips/kernel/opsys.eci (1.4), documents/bips/kernel/syntax.eci (1.3), documents/internal/merge.txt (1.2), documents/libman/extchr.tex (1.2), documents/tutorial/debugdemo.ecl (1.5), documents/tutorial/icintro.tex (1.2), documents/tutorial/mapdebugdemo.tcl (1.2), documents/tutorial/repairtut.tex (1.2), documents/tutorial/tkdebug.tex (1.2), documents/userman/umssyntax.tex (1.3), ecrc_solvers/propia.pl (1.2), icparc_solvers/Makefile.in (1.10), icparc_solvers/eplex_params.h (1.3), icparc_solvers/gap.ecl (1.2), icparc_solvers/generic_search.ecl (1.3), icparc_solvers/generic_sets.ecl (1.2), icparc_solvers/ic.c (1.2), icparc_solvers/ic.ecl (1.2), icparc_solvers/ic_constraints.ecl (1.2), icparc_solvers/ic_kernel.ecl (1.3), icparc_solvers/ic_probing_for_scheduling.pl (1.2), icparc_solvers/ic_symbolic.ecl (1.3), icparc_solvers/s_eplex_comments.ecl (1.7), icparc_solvers/sd.ecl (1.2), icparc_solvers/seplex.c (1.8), icparc_solvers/tentative.ecl (1.2), icparc_solvers/ech/ech.pl (1.4), lib_tcl/eclipse_tools.tcl (1.13), lib_tcl/tkeclipse.tcl (1.7), lib_tcl/widget/TOUR.tcl (1.2), sepia/include/io.h (1.3), sepia/include/lex.h (1.3), sepia/pl/branch_and_bound.pl (1.3), sepia/pl/document.ecl (1.8), sepia/pl/fd.pl (1.3), sepia/pl/fd_domain.pl (1.3), sepia/pl/kernel.eco (1.6), sepia/pl/kernel.pl (1.26), sepia/pl/quintus.pl (1.6), sepia/pl/swi.ecl (1.4), sepia/pl/var_name.ecl (1.2), sepia/src/Makefile.in (1.8), sepia/src/bip_arith.c (1.6), sepia/src/bip_io.c (1.4), sepia/src/bip_misc.c (1.5), sepia/src/bip_tconv.c (1.3), sepia/src/io.c (1.3), sepia/src/lex.c (1.3), sepia/src/os_support.c (1.4), sepia/src/read.c (1.5), sepia/src/write.c (1.4): Merged 5.10 branch from merge_2007_07_03 to merge_2008_06_20. This should be the last merge from this branch, all future fixes should be replicated on both branches immediately 2008-06-20 13:29 jschimpf * Eclipse/: configure (1.16), configure.ac (1.15), ecl_inst.tcl (1.3): Updated version number to 6.0 2008-06-20 13:12 kish_shen * Eclipse/icparc_solvers/coinplex.cpp (1.6): manual merge of changes from patch branch into main branch for coinplex.cpp 2008-06-19 18:33 kish_shen * Eclipse/: configure, configure.ac (patches_5_10.[41,39]): made the search for gcc specific lib directory path more robust -- the previous test was broken on UBI's Intel Mac, because they installed a new version of gcc, and the previous test found more than one directory 2008-06-19 18:06 jschimpf * Eclipse/documents/texinputs/sepiachiphtml.tex (1.3): Updated version number to 6.0 2008-06-19 18:00 jschimpf * Eclipse/: sepia/pl/kernel.eco (1.5), sepia/pl/kernel.pl (1.25), sepia/pl/version.pl (1.48), sepia/src/Makefile.in (1.7), sepia/src/eclipse.reg (1.3), lib_tcl/eclipse_tools.tcl (1.12), lib_tcl/example.tcl (1.3), lib_tcl/example1.tcl (1.3), lib_tcl/mapdebugdemo.tcl (1.3), lib_tcl/mapembed.tcl (1.4), lib_tcl/mapremote.tcl (1.4), lib_tcl/tkeclipse.tcl (1.6), lib_tcl/tktools.tcl (1.3): Updated version number to 6.0 2008-06-19 16:43 jschimpf * Eclipse/Contrib/intervals.pl (1.2): Turned ?-op query into :-op directive, otherwise new icompile ignores it. 2008-06-19 16:04 jschimpf * Eclipse/documents/bips/kernel/: database.eci (1.6), directives.eci (1.3): moved compiler builtin docs to kernel/database 2008-06-19 15:59 jschimpf * Eclipse/Compiler/: Makefile.in (1.2), ecl_compiler.ecl (1.5): moved compiler builtin docs to kernel/database 2008-06-19 15:19 jschimpf * Eclipse/Visualisation/vis_client.ecl (1.2): removed use of obsolete predicate 2008-06-19 15:17 jschimpf * Eclipse/icparc_solvers/ic_kernel.ecl (1.2): Use predefined no_macro_expansion/1 rather than defining our own. 2008-06-19 15:13 jschimpf * Eclipse/: Compiler/source_processor.ecl (1.5), sepia/pl/source_processor.eco (1.5), sepia/pl/document.ecl (1.7): Simplified icompile so it doesn't actually compile the module. 2008-06-18 15:52 jschimpf * Eclipse/Compiler/source_processor.ecl (1.4): Updated documentation comments 2008-06-18 15:39 kish_shen * Eclipse/icparc_solvers/s_eplex_comments.ecl (1.6): fixed typo 2008-06-18 15:26 jschimpf * Eclipse/sepia/pl/document.ecl (1.6): Previous "fix" was of course wrong, output arguments must be outside head. 2008-06-18 12:53 jschimpf * Eclipse/eclipse_rt.lst (1.4): Added compiler and its support libraries to the runtime package 2008-06-18 12:36 jschimpf * Eclipse/: Compiler/Makefile.in (1.1), Compiler/README (1.2), Makefile.in (1.5), configure (1.15), configure.ac (1.14): Updated config/make to install compiler docs 2008-06-17 16:34 jschimpf * Eclipse/: sepia/pl/asm.eco (1.4), sepia/pl/compiler_analysis.eco (1.3), sepia/pl/compiler_codegen.eco (1.4), sepia/pl/compiler_common.eco (1.3), sepia/pl/compiler_indexing.eco (1.3), sepia/pl/compiler_map.eco (1.3), sepia/pl/compiler_normalise.eco (1.3), sepia/pl/compiler_peephole.eco (1.3), sepia/pl/compiler_regassign.eco (1.3), sepia/pl/compiler_varclass.eco (1.3), sepia/pl/ecl_compiler.eco (1.4), sepia/pl/hash.eco (1.3), sepia/pl/kernel.eco (1.4), sepia/pl/kernel.pl (1.24), sepia/pl/module_options.eco (1.3), sepia/pl/source_processor.eco (1.4), sepia/pl/suspend.eco (1.3), Compiler/ecl_compiler.ecl (1.4): Last checkin accidentally contained i/1 wrappers in .eco files - corrected. Also modified .eco format so source-position info is on separate lines, which means shorter modified lines for CVS storage. Also removed auxiliary- predicate name clash detection in order to get more reproduceable .eco files. 2008-06-17 05:13 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.108): Ready for build 5.10 #134 2008-06-17 01:33 jschimpf * Eclipse/: Compiler/Makefile (1.8), Compiler/compiler_analysis.ecl (1.6), Compiler/compiler_common.ecl (1.17), Compiler/ecl_compiler.ecl (1.3), Compiler/source_processor.ecl (1.3), sepia/src/Makefile.in (1.6), sepia/pl/asm.eco (1.3), sepia/pl/compiler_analysis.eco (1.2), sepia/pl/compiler_codegen.eco (1.3), sepia/pl/compiler_common.eco (1.2), sepia/pl/compiler_indexing.eco (1.2), sepia/pl/compiler_map.eco (1.2), sepia/pl/compiler_normalise.eco (1.2), sepia/pl/compiler_peephole.eco (1.2), sepia/pl/compiler_regassign.eco (1.2), sepia/pl/compiler_varclass.eco (1.2), sepia/pl/ecl_compiler.eco (1.3), sepia/pl/eclipse_language.eco (1.3), sepia/pl/hash.eco (1.2), sepia/pl/kernel.eco (1.3), sepia/pl/module_options.eco (1.2), sepia/pl/setof.pl (1.3), sepia/pl/source_processor.eco (1.3), sepia/pl/suspend.eco (1.2): Avoid absolute path names in warning messages. Added srcroot-options to enable removal of absolute path names in .eco files. Accept library(name) syntax in compile/1 etc. 2008-06-17 01:20 jschimpf * Eclipse/sepia/pl/document.ecl (1.5): eliminate mode/matching warning 2008-06-16 15:18 kish_shen * Eclipse/documents/libman/extchr.tex (patches_5_10.1): some doc pdates I had not checked in 2008-06-16 15:08 kish_shen * Eclipse/icparc_solvers/gap.ecl (patches_5_10.2): made lib(gap) more robust when gap cannot be found. Added an explicit test to try and run gap and aborts if it can't. Previously if gap was missing, execution can hang and two named pipes can be left behind 2008-06-16 15:05 kish_shen * Eclipse/icparc_solvers/s_eplex_comments.ecl (patches_5_10.5): corrected typo 2008-06-16 00:53 jschimpf * Eclipse/: sepia/pl/asm.eco (1.2), sepia/pl/asm.pl (1.26), sepia/pl/compiler_codegen.eco (1.2), sepia/pl/development_support.pl (1.2), sepia/pl/document.ecl (1.4), sepia/pl/ecl_compiler.eco (1.2), sepia/pl/eclipse_language.eco (1.2), sepia/pl/events.pl (1.10), sepia/pl/kernel.eco (1.2), sepia/pl/kernel.pl (1.23), sepia/pl/source_processor.eco (1.2), sepia/pl/structures.pl (1.2), sepia/pl/tracer_tty.pl (1.9), sepia/pl/util.pl (1.2), Compiler/Makefile (1.7), Compiler/compiler_common.ecl (1.16), Compiler/compiler_test.ecl (1.15), Compiler/ecl_compiler.ecl (1.2), Compiler/source_processor.ecl (1.2): Various further cleanup and compatibility issues related to new compiler 2008-06-14 05:11 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.107): Ready for build 5.10 #133 2008-06-13 15:04 kish_shen * Eclipse/: sepia/pl/tracer_tcl.pl (1.17), lib_tcl/eclipse_tools.tcl (1.11), lib_tcl/tracerhelp.txt (1.6): updates to source file tracing from Joachim's feedback 2008-06-13 14:58 kish_shen * Eclipse/PACK (patches_5_10.12): hopefully the proper fix for the execute permission problem, plus removed a chmod on shortcut.dll which is no longer packed. 2008-06-13 11:13 kish_shen * Eclipse/PACK (patches_5_10.11): previous change didn't seem to set the execute permission correctly for the Windows installer. 2008-06-13 01:42 jschimpf * Eclipse/sepia/pl/: asm.eco (1.1), compiler_analysis.eco (1.1), compiler_codegen.eco (1.1), compiler_common.eco (1.1), compiler_indexing.eco (1.1), compiler_map.eco (1.1), compiler_normalise.eco (1.1), compiler_peephole.eco (1.1), compiler_regassign.eco (1.1), compiler_varclass.eco (1.1), ecl_compiler.eco (1.1), eclipse_language.eco (1.1), hash.eco (1.1), kernel.eco (1.1), source_processor.eco (1.1), suspend.eco (1.1), module_options.eco (1.1): Added bootfiles in .eco format 2008-06-13 00:48 jschimpf * Eclipse/icparc_solvers/ech/ech.pl (1.3): Switch-over to new compiler, with numerous related changes, bootstrapping process, backward compatibility, etc. 2008-06-13 00:38 jschimpf * Eclipse/: Compiler/Makefile (1.6), Compiler/README (1.1), Compiler/auxmap.ecl (1.1), Compiler/compiler_analysis.ecl (1.5), Compiler/compiler_codegen.ecl (1.17), Compiler/compiler_common.ecl (1.15), Compiler/compiler_compound.ecl (1.11), Compiler/compiler_indexing.ecl (1.7), Compiler/compiler_normalise.ecl (1.11), Compiler/compiler_peephole.ecl (1.25), Compiler/compiler_test.ecl (1.14), Compiler/compiler_varclass.ecl (1.11), Compiler/ecl_compiler.ecl (1.1), Compiler/source_processor.ecl (1.1), Compiler/test.ref (1.27), Compiler/testo.ref (1.23), sepia/include/names.h (1.12), sepia/include/sepia.h (1.10), sepia/pl/asm.pl (1.25), sepia/pl/cprolog.pl (1.3), sepia/pl/eclipse_language.ecl (1.7), sepia/pl/events.pl (1.9), sepia/pl/fcompile.ecl (1.1), sepia/pl/io.pl (1.8), sepia/pl/kernel.pl (1.22), sepia/pl/meta.pl (1.4), sepia/pl/notify_ports.ecl (1.4), sepia/pl/sicstus.pl (1.3), sepia/pl/suspend.pl (1.3), sepia/src/Makefile.in (1.5), sepia/src/bip_arith.c (1.5), sepia/src/bip_db.c (1.14), sepia/src/code.c (1.6), sepia/src/emu.c (1.27), sepia/src/main.c (1.4), sepia/src/printam.c (1.18), sepia/src/procedure.c (1.3), sepia/src/read.c (1.4): Switch-over to new compiler, with numerous related changes, bootstrapping process, backward compatibility, etc. 2008-06-12 17:07 jschimpf * Eclipse/sepia/src/: bip_misc.c, os_support.c (patches_5_10.[7,7]): Moved Windows workaround for X_OK check into os_support.c 2008-06-12 14:12 kish_shen * Eclipse/PACK (patches_5_10.10): Added an extra permission fix to add execute permission to all .exe files. This is needed for the NSIS self-extracting installer, which did not have execute permission set, but pre-Vista Windows would run this program, but Vista does not. 2008-06-12 05:01 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.106): Ready for build 5.10 #132 2008-06-11 23:30 kish_shen * Eclipse/: sepia/src/bip_misc.c, sepia/pl/kernel.pl, documents/bips/kernel/opsys.eci (patches_5_10.[6,10,3]): work around for Window Vista problem with executable permission: 1) moved cd_if_possible into C, fail if chdir returns an error 2) file considered executable if any executable permssion is given 2008-06-07 05:04 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.105): Ready for build 5.10 #131 2008-06-05 18:14 jschimpf * Eclipse/ecrc_solvers/propia.pl (patches_5_10.2): Updated documentation 2008-06-05 15:30 jschimpf * Eclipse/: icparc_solvers/ic.ecl, icparc_solvers/ic_kernel.ecl, icparc_solvers/ic_symbolic.ecl, icparc_solvers/sd.ecl, ecrc_solvers/propia.pl (patches_5_10.[3,3,2,1,1]): Simplified propia code by using a uniform solver interface (msg/3, is_solver_var/1 and is_exact_solver_var/1). Fixed msg/3 implementation for ic and fd - they must neither touch the result variable nor fail if the solver cannot express the domain). Several solver's msg's can now be called in simple conjunction. Made propia work with lib(sd), and indeed any solver that exports the three interface predicates. 2008-06-05 15:27 jschimpf * Eclipse/sepia/pl/: fd.pl, fd_domain.pl (patches_5_10.[1,1]): Simplified propia code by using a uniform solver interface (msg/3, is_solver_var/1 and is_exact_solver_var/1). Fixed msg/3 implementation for ic and fd - they must neither touch the result variable nor fail if the solver cannot express the domain). Several solver's msg's can now be called in simple conjunction. 2008-06-04 13:27 kish_shen * Eclipse/Compiler/: compiler_peephole.ecl (1.24), compiler_test.ecl (1.13), test.ref (1.26), testo.ref (1.22): removed optimisation that did not emit a label when chunk is rejoined if it is continued into only by its previous chunk and have no refs. This is unsafe because previous chunks may be replicated and the continuation turned into a reference instead. There does not seem to be an easy way to detect this, so remove opt. altogether. 2008-06-03 17:36 kish_shen * Eclipse/icparc_solvers/: eplex_s.ecl (1.5), s_eplex_comments.ecl (1.5): added eplex/lp_verify_solution 2008-05-31 04:58 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.104): Ready for build 5.10 #130 2008-05-30 13:38 kish_shen * Eclipse/: configure, configure.ac (patches_5_10.[40,38]): removed -funit-at-a-time optimise flag for compiling emu.c -- not supported by gcc 3.2.3 used on Cisco lab machines 2008-05-27 05:10 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.103): Ready for build 5.10 #129 2008-05-27 00:44 jschimpf * Eclipse/JavaInterface/src/com/parctechnologies/eclipse/OutOfProcessEclipse.java (patches_5_10.2): Fixed problem reported by Martin Wegner - OutOfProcessEclipse on Windows with an uninstalled Eclipse (i.e. no registry entry) did not pass the correct eclipsedir to the eclipse sub-process. 2008-05-17 00:29 jschimpf * Eclipse/sepia/: src/emu.c (1.26), include/emu_op_addr.h (1.11), include/names.h (1.11), include/opcode.h (1.11): Added put_module instruction 2008-05-17 00:27 jschimpf * Eclipse/sepia/src/emu.c (1.25): Do not dereference-in-place when using environment slot 2008-05-17 00:00 jschimpf * Eclipse/Compiler/: compiler_analysis.ecl (1.4), compiler_map.ecl (1.1), compiler_varclass.ecl (1.10): Replaced m_map library with simpler and faster compiler_map 2008-05-16 18:04 kish_shen * Eclipse/sepia/pl/tracer_tty.pl (1.8): Got rid of some unneeded unifications detected by the new compiler, and also fixed a bug with inspector if an invalid index for an attribute is specified 2008-05-16 17:45 kish_shen * Eclipse/Compiler/: compiler_common.ecl (1.14), compiler_top.ecl (1.21): Added the generation of asm format to compiler -- this is assembler code that can be loaded, and is (relatively) human readable. 2008-05-16 10:36 kish_shen * Eclipse/: Compiler/compiler_top.ecl (1.20), sepia/src/bip_db.c (1.13), sepia/pl/asm.pl (1.24), sepia/pl/fcompile.pl (1.5), sepia/pl/kernel.pl (1.21): Added source file information to store_pred/6 -> store_pred/9, so that eco files can carry source information. 2008-05-14 02:13 kish_shen * Eclipse/: sepia/pl/debug.pl (1.4), sepia/pl/tracer_tcl.pl (1.16), lib_tcl/eclipse_tools.tcl (1.10), lib_tcl/prefhelp.txt (1.2), lib_tcl/tracerhelp.txt (1.5): Added better breakpoint support for GUI: More information shown for source file, better navigation in source file 2008-05-12 13:30 jschimpf * Eclipse/: icparc_solvers/eplex_s.ecl (1.4), icparc_solvers/generic_gap_sbdd.ecl (1.3), icparc_solvers/generic_gap_sbds.ecl (1.2), Visualisation/graphviz.ecl (1.2), Visualisation/java_vc.ecl (1.2), Visualisation/tty_vc.ecl (1.2), Visualisation/viewable.ecl (1.2): Small updates for the new compiler: singleton variables, skip settings, confusing comound directives, obsolete constructs. 2008-05-12 13:23 jschimpf * Eclipse/ecrc_solvers/: chr.pl (1.2), chr2pl.pl (1.2), r.pl (1.2), s_lists.pl (1.2), set.pl (1.2): Small updates for the new compiler: singleton variables, skip settings, confusing comound directives, obsolete constructs. 2008-05-12 12:34 jschimpf * Eclipse/sepia/pl/: environment.pl (1.4), events.pl (1.8), fd.pl (1.2), fd_arith.pl (1.2), fd_domain.pl (1.2), meta.pl (1.3), paddy.pl (1.2), par_util.pl (1.3), port_profiler.ecl (1.2), quintus.pl (1.5), tracer.pl (1.9), tracer_tcl.pl (1.15): Small updates for the new compiler: singleton variables, skip settings, confusing comound directives, obsolete constructs. 2008-05-09 17:21 kish_shen * Eclipse/Compiler/: compiler_peephole.ecl (1.23), compiler_test.ecl (1.12), test.ref (1.25), testo.ref (1.21): fix for peephole bug found by Joachim. Added test case to compiler_test.ecl 2008-05-06 15:53 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.102): Ready for build 5.10 #128 2008-05-06 14:48 kish_shen * Eclipse/sepia/src/: eg_cc_basic.cc (1.2), eg_cc_event.cc (1.2), eg_cc_fail_loop.cc (1.2), eg_cc_handle.cc (1.2), eg_cc_mip.cc (1.2), eg_cc_test.cc (1.2), eg_cc_yield.cc (1.2): updates to the C++ examples to get them to compiled 2008-05-06 02:48 kish_shen * Eclipse/sepia/src/embed.c (1.4): added a check in ec_init() to abort with a message if initfile not found 2008-05-06 00:49 kish_shen * Eclipse/Compiler/: compiler_peephole.ecl (1.22), testo.ref (1.20): updated the way basic blocks are joined -- join blocks that are start of a chain of blocks, i.e. a block which is not continued into by another block. This should result in longer chains. This is done by extracting more connection information for blocks, which also allows some labels to be omitted when blocks are joined -- this may allow more opportunities for optimisations. 2008-05-01 21:31 kish_shen * Eclipse/: configure, configure.ac (patches_5_10.[39,37]): updated DYNLDFLAGS for sparc_sunos5 to use -shared rather than the outdated -G flag. The -G flag links in some old libraries that refers to main symbol, which causes the loading of .so files in Tcl/Tk 8.5 to fail with undefined main symbol. 2008-04-30 17:06 jschimpf * Eclipse/sepia/src/emu.c (1.24): Fixed BI_Minus, which overwrote its output register too early. Modified Switch_on_type to set S in the meta-case, so we can skip in_get_meta. 2008-04-30 16:45 jschimpf * Eclipse/sepia/pl/asm.pl (1.23): Corrected documentation and removed problematic and unused directive 2008-04-29 09:26 jschimpf * Eclipse/ZincInterface/flatzinc.ecl (patches_5_10.5): Corrected and clarified documentation 2008-04-29 08:54 jschimpf * Eclipse/ZincInterface/minizinc.ecl (patches_5_10.7): Corrected and clarified documentation 2008-04-28 23:33 jschimpf * Eclipse/Compiler/: compiler_codegen.ecl (1.16), compiler_common.ecl (1.13), compiler_peephole.ecl (1.21), compiler_regassign.ecl (1.7), compiler_varclass.ecl (1.9): Used macros for wam parameters. 2008-04-28 23:19 jschimpf * Eclipse/Compiler/: compiler_varclass.ecl (1.8), test.ref (1.24), testo.ref (1.19): Use branch head arguments to guide argument positioning for nested disjunctions. 2008-04-28 18:43 jschimpf * Eclipse/documents/bips/kernel/: database.eci (1.5), debug.eci (1.3): - changed invocation of debug-redo-notifier to use the choicepoint for restoring state after handler return (by re-executing the retry/trust). Necessary to have a correct environment activity map for the gc. - store the breakpoint flag in the trace frame and access if from there - changed the interface for retrieving breakpoint information - other minor breakpoint-related stuff 2008-04-28 18:28 jschimpf * Eclipse/: sepia/pl/debug.pl (1.3), sepia/pl/kernel.pl (1.20), sepia/pl/tracer.pl (1.8), sepia/pl/tracer_tcl.pl (1.14), sepia/pl/tracer_tty.pl (1.7), lib_tcl/eclipse_tools.tcl (1.9), lib_tcl/tracerhelp.txt (1.4): - changed invocation of debug-redo-notifier to use the choicepoint for restoring state after handler return (by re-executing the retry/trust). Necessary to have a correct environment activity map for the gc. - store the breakpoint flag in the trace frame and access if from there - changed the interface for retrieving breakpoint information - other minor breakpoint-related stuff 2008-04-28 18:17 jschimpf * Eclipse/sepia/src/: bip_control.c (1.7), emu.c (1.23), bip_db.c (1.12), code.c (1.5), emu_c_env.c (1.4): - changed invocation of debug-redo-notifier to use the choicepoint for restoring state after handler return (by re-executing the retry/trust). Necessary to have a correct environment activity map for the gc. - store the breakpoint flag in the trace frame and access if from there - changed the interface for retrieving breakpoint information - other minor breakpoint-related stuff 2008-04-28 18:05 jschimpf * Eclipse/sepia/include/: emu_export.h (1.13), sepia.h (1.9), types.h (1.9): - changed invocation of debug-redo-notifier to use the choicepoint for restoring state after handler return (by re-executing the retry/trust). Necessary to have a correct environment activity map for the gc. - store the breakpoint flag in the trace frame and access if from there - changed the interface for retrieving breakpoint information - other minor breakpoint-related stuff 2008-04-28 03:27 kish_shen * Eclipse/: configure, configure.ac (patches_5_10.[38,36]): updated to use Tcl/Tk 8.5.2 2008-04-27 23:12 jschimpf * Eclipse/Oci/Makefile.in (1.4): added missing ecoclean rule 2008-04-27 12:08 jschimpf * Eclipse/icparc_solvers/gap.ecl (patches_5_10.1): cosmetics 2008-04-27 12:06 jschimpf * Eclipse/icparc_solvers/generic_sets.ecl (patches_5_10.1): Use correct suspension in sync_attributes 2008-04-26 20:42 jschimpf * Eclipse/Compiler/: compiler_test.ecl (1.11), testo.ref (1.18): Don't have crlf in testo.res file 2008-04-25 13:52 jschimpf * Eclipse/Compiler/test.ref (1.23): Replaced corrupted reference file that was accidentally checked in 2008-04-25 04:20 jschimpf * Eclipse/sepia/pl/version.pl (1.47): Ready for build 5.11 #45 2008-04-24 18:40 jschimpf * Eclipse/Compiler/: compiler_codegen.ecl (1.15), compiler_compound.ecl (1.10), compiler_normalise.ecl (1.10), compiler_peephole.ecl (1.20), compiler_test.ecl (1.10), compiler_top.ecl (1.19), compiler_varclass.ecl (1.7), test.ref (1.22), testo.ref (1.17): Implemented lazy environment allocation, and correct trimming at cuts. 2008-04-23 18:09 jschimpf * Eclipse/Compiler/compiler_common.ecl (1.12): Corrected documentation bugs and changed option defaults. 2008-04-23 13:45 kish_shen * Eclipse/: Compiler/compiler_top.ecl (1.18), documents/bips/kernel/database.eci (1.4), documents/bips/kernel/debug.eci (1.2): support for multiple breakpoints, replacing the previous single breakpoint code. The support for breakpoints in tkeclipse is very simple in this first version. This will be improved. 2008-04-23 13:38 kish_shen * Eclipse/sepia/: pl/asm.pl (1.22), pl/debug.pl (1.2), pl/fcompile.pl (1.4), pl/kernel.pl (1.19), pl/tracer.pl (1.7), pl/tracer_tcl.pl (1.13), pl/tracer_tty.pl (1.6), include/database.h (1.2), include/debug.h (1.2), include/emu_export.h (1.12), include/sepia.h (1.8), include/types.h (1.8), src/bip_control.c (1.6), src/bip_db.c (1.11), src/emu.c (1.22), src/printam.c (1.17), src/section.c (1.4): support for multiple breakpoints, replacing the previous single breakpoint code. The support for breakpoints in tkeclipse is very simple in this first version. This will be improved. 2008-04-22 04:23 jschimpf * Eclipse/sepia/pl/version.pl (1.46): Ready for build 5.11 #44 2008-04-21 14:41 jschimpf * Eclipse/Compiler/: compiler_peephole.ecl (1.19), testo.ref (1.16), compiler_codegen.ecl (1.14), compiler_common.ecl (1.11), compiler_compound.ecl (1.9), compiler_indexing.ecl (1.6), compiler_normalise.ecl (1.9), compiler_regassign.ecl (1.6), compiler_test.ecl (1.9), compiler_top.ecl (1.17), compiler_varclass.ecl (1.6), test.ref (1.21): Added pseudo-arguments to inline disjunctions. Compute correct EAMs for retry/trust. Use cut(A,E) instruction instead of cut(A). Various simplifications: indexpoint removed, first/last variable flags removed, dummy X=X in normalised code removed, save/restore in regassign without stack, single invocation of register assignment for the whole procedure, 2008-04-18 10:32 jschimpf * Eclipse/sepia/: src/emu.c (1.21), src/printam.c (1.16), include/emu_op_addr.h (1.10), include/names.h (1.10), include/opcode.h (1.10), pl/asm.pl (1.21): Added cut(a(I),ESize) instruction 2008-04-18 10:26 jschimpf * Eclipse/Mercury/m_map.pl (1.2): Fixed m_map:merge/3, it didn't call list-merge as intended 2008-04-15 04:22 jschimpf * Eclipse/sepia/pl/version.pl (1.45): Ready for build 5.11 #43 2008-04-11 02:18 kish_shen * Eclipse/: sepia/src/emu.c (1.20), sepia/src/printam.c (1.15), sepia/include/emu_op_addr.h (1.9), sepia/include/names.h (1.9), sepia/include/opcode.h (1.9), sepia/pl/asm.pl (1.20), Compiler/compiler_peephole.ecl (1.18), Compiler/testo.ref (1.15): 1. fixed code for checking the fall-through free case of switch_on_type, which did not work correctly. 2. Added exits space+exit instruction 2008-04-04 04:25 jschimpf * Eclipse/sepia/pl/version.pl (1.44): Ready for build 5.11 #42 2008-04-03 05:04 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.101): Ready for build 5.10 #127 2008-04-03 00:58 jschimpf * Eclipse/: sepia/include/dict.h (1.5), sepia/pl/asm.pl (1.19), sepia/src/code.c (1.4), sepia/src/emu.c (1.19), sepia/src/printam.c (1.14), Compiler/compiler_codegen.ecl (1.13), Compiler/test.ref (1.20), Compiler/testo.ref (1.14): Changed new arity/2 to delay/inst-fault with uninstantiated 1st argument. 2008-04-02 04:24 jschimpf * Eclipse/sepia/pl/version.pl (1.43): Ready for build 5.11 #41 2008-04-02 00:45 jschimpf * Eclipse/sepia/src/bip_record.c (1.4): Corrected the semantics of the new implementation of erase/1 to be the same as in previous versions, i.e. fail if already erased. 2008-04-02 00:37 jschimpf * Eclipse/documents/bips/kernel/: opsys.eci (1.3), record.eci (1.3), stratom.eci (1.2), typetest.eci (1.3): Some further documentation updates 2008-04-02 00:23 jschimpf * Eclipse/icparc_solvers/tentative.ecl (patches_5_10.1): Documentation specified wrong argument order - fixed. 2008-04-01 18:28 jschimpf * Eclipse/sepia/include/: dict.h (1.4), emu_export.h (1.11): Moved declarations to the right include file (externals didn't compile) 2008-04-01 18:15 jschimpf * Eclipse/: documents/bips/kernel/arrays.eci (1.2), documents/bips/kernel/record.eci (1.2), documents/bips/kernel/termmanip.eci (1.2), sepia/pl/apply_macros.pl (1.3), sepia/pl/eclipse_language.ecl (1.6), sepia/pl/swi.ecl (1.3), icparc_solvers/generic_search.ecl (1.2): Added builtins record_create/1, callable/1 and arity/2. 2008-03-31 20:16 jschimpf * Eclipse/sepia/pl/asm.pl (1.18): Corrected problem created in last checkin: stop disassembling at code_end 2008-03-31 17:14 jschimpf * Eclipse/sepia/pl/source_processor.ecl (1.11): Print warnings without pathnames so test output is comparable 2008-03-31 14:52 jschimpf * Eclipse/Compiler/: compiler_codegen.ecl (1.12), compiler_peephole.ecl (1.17), compiler_common.ecl (1.10), compiler_indexing.ecl (1.5), compiler_test.ecl (1.8), test.ref (1.19), testo.ref (1.13): Added uninitialised output argument optimization for expanded builtins. Handle immediate argument values for some special cases to reduce number of put instructions. Added ARGFLEXWAM procedure flag. 2008-03-31 14:47 jschimpf * Eclipse/sepia/: include/dict.h (1.3), include/emu_export.h (1.10), include/emu_op_addr.h (1.8), include/names.h (1.8), include/opcode.h (1.8), src/bip_arith.c (1.4), src/bip_db.c (1.10), src/code.c (1.3), src/emu.c (1.18), src/emu_c_env.c (1.3), src/emu_util.c (1.5), src/printam.c (1.13), pl/asm.pl (1.17), pl/events.pl (1.7): Added uninitialised output argument optimization for expanded builtins. Handle immediate argument values for some special cases to reduce number of put instructions. Added ARGFLEXWAM procedure flag. 2008-03-31 12:39 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.100): Ready for build 5.10 #126 2008-03-31 02:07 jschimpf * Eclipse/Compiler/compiler_top.ecl (1.16): boot with expand_goals:on 2008-03-31 02:04 jschimpf * Eclipse/Compiler/compiler_compound.ecl (1.8): For xxx_value instructions, get value out of argument register if possible 2008-03-30 12:28 jschimpf * Eclipse/lib_tcl/eclipse_tools.tcl (patches_5_10.2): Fixed bug 591 - use PROGRAMFILES env variable to locate wordpad.exe 2008-03-29 06:24 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.99): Ready for build 5.10 #125 2008-03-28 22:55 jschimpf * Eclipse/sepia/: src/bip_tconv.c, pl/kernel.pl (patches_5_10.[1,9]): Fixed bug 569 - behaviour wrt fail/type/range errors 2008-03-28 16:58 jschimpf * Eclipse/sepia/: include/io.h, src/bip_io.c, src/io.c (patches_5_10.[2,5,2]): Fixed bug 343 - tyo/1 on Windows 2008-03-27 16:53 kish_shen * Eclipse/: Compiler/compiler_peephole.ecl (1.16), sepia/pl/asm.pl (1.16), sepia/src/emu.c (1.17), sepia/src/printam.c (1.12), sepia/include/emu_op_addr.h (1.7), sepia/include/names.h (1.7), sepia/include/opcode.h (1.7): removed merged instructions that: 1) does not occur (move_jmp, where move y->a, no environment should exist put_global_variable_jmp/chain env is deallocated before call) 2) is redundant (get_integeratom -> use get_atominteger with args reordered) 2008-03-26 00:56 jschimpf * Eclipse/Compiler/: test.ref (1.18), testo.ref (1.12): Removed unnecessary read_test_var instructions (correct ref files) 2008-03-26 00:43 jschimpf * Eclipse/Compiler/: compiler_compound.ecl (1.7), compiler_test.ecl (1.7), test.ref (1.17), testo.ref (1.11): Removed unnecessary read_test_var instructions 2008-03-25 21:47 jschimpf * Eclipse/Compiler/: compiler_compound.ecl (1.6), compiler_peephole.ecl (1.15), testo.ref (1.10): Moved read_void elimination into the code generator, which is less messy. 2008-03-25 19:26 jschimpf * Eclipse/Compiler/Makefile (1.5): Added rule for updating ref files 2008-03-25 19:23 jschimpf * Eclipse/Compiler/: compiler_codegen.ecl (1.11), compiler_common.ecl (1.9), compiler_compound.ecl (1.5), compiler_indexing.ecl (1.4), compiler_peephole.ecl (1.14), compiler_test.ecl (1.6), test.ref (1.16), testo.ref (1.9): Added generation of gc_test instructions. Added one-instruction backup after peephole simplification steps. Added detection of semidet switches. 2008-03-25 14:53 kish_shen * Eclipse/: sepia/pl/asm.pl (1.15), Compiler/compiler_peephole.ecl (1.13), Compiler/test.ref (1.15), Compiler/testo.ref (1.8): Check for merged move instructions in the removal of trailing read_voids. Also renamed move2/move3 to move. This makes the generation and checking of these instructions simplier (no need to distinguish move/move2/move3). The instructions can be distinguished by the number of arguments they have. [the C level abtract machine names are unchanged] 2008-03-21 06:25 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.98): Ready for build 5.10 #124 2008-03-20 17:24 kish_shen * Eclipse/sepia/pl/asm.pl (1.14): more peephole optimisations and related changes 1. more fused instructions 2. pass annotation information to peephole optimisation 3. reduce code size expansion by avoiding some excessive duplication 4. added generation of write_first/next_list/structure instructions 2008-03-20 15:26 jschimpf * Eclipse/ZincInterface/flatzinc.ecl (patches_5_10.4): Added setup_prio option. Only prefix underscore for set_var_name/2. 2008-03-20 02:57 kish_shen * Eclipse/: sepia/include/opcode.h (1.6), sepia/include/emu_op_addr.h (1.6), sepia/include/names.h (1.6), sepia/src/printam.c (1.11), sepia/src/emu.c (1.16), Compiler/compiler_compound.ecl (1.4), Compiler/compiler_peephole.ecl (1.12), Compiler/test.ref (1.14), Compiler/testo.ref (1.7): more peephole optimisations and related changes 1. more fused instructions 2. pass annotation information to peephole optimisation 3. reduce code size expansion by avoiding some excessive duplication 4. added generation of write_first/next_list/structure instructions 2008-03-20 01:06 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.97): Ready for build 5.10 #123 2008-03-19 02:00 jschimpf * Eclipse/sepia/pl/swi.ecl (patches_5_10.3): Don't set limit_arg_precedence syntax option - SWI behaves like Eclipse here. 2008-03-19 01:59 jschimpf * Eclipse/sepia/pl/document.ecl (patches_5_10.6): Make proper warning if struct comment doesn't match declaration's arity 2008-03-18 15:28 jschimpf * Eclipse/sepia/pl/source_processor.ecl (1.10): Added missing struct-field documentation 2008-03-16 06:18 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.96): Ready for build 5.10 #122 2008-03-15 19:28 jschimpf * Eclipse/ZincInterface/minizinc.ecl (patches_5_10.6): Modified search for mzn2fzn, removing local directory check (which doesn't work), and permitted a ECLIPSEMZN environment variable 2008-03-15 18:46 jschimpf * Eclipse/ZincInterface/: fzn_fd.ecl, fzn_ic.ecl, fzn_eplex/globals.mzn, fzn_fd/globals.mzn, fzn_ic/globals.mzn (patches_5_10.[5,5,2,2,2]): Interfaced the global constraints that have a simple mapping to constraints available in Eclipse. 2008-03-15 18:37 jschimpf * Eclipse/ZincInterface/minizinc.ecl (patches_5_10.5): Forgot to delete temporary instance.fzn file 2008-03-15 06:23 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.95): Ready for build 5.10 #121 2008-03-14 15:15 jschimpf * Eclipse/icparc_solvers/ic_constraints.ecl (patches_5_10.2): Changed output transformations for the constraints to return the dollar-syntax instead of =:=, ==, etc to avoid confusion - this will hopefully not break anyone's code. 2008-03-14 01:12 jschimpf * Eclipse/sepia/pl/source_processor.ecl (1.9): Accept stream(Stream) in source_open/3 - this is needed to support compile(user) and compile_stream. Als make error message when file does not exist. 2008-03-14 00:21 jschimpf * Eclipse/sepia/pl/source_processor.ecl (1.8): removed redundant warning message, and changed the name of the option 2008-03-13 19:02 jschimpf * Eclipse/sepia/pl/source_processor.ecl (1.7): Added elif/1 and else/0 directives as well 2008-03-13 14:22 jschimpf * Eclipse/sepia/pl/source_processor.ecl (1.6): Implemented if/1 and endif/0 directives 2008-03-13 06:21 jschimpf * Eclipse/sepia/pl/version.pl (1.42): Ready for build 5.11 #40 2008-03-12 16:06 jschimpf * Eclipse/sepia/src/emu.c (1.15): Allocate named variable inside structures. This was originally not done because of some restriction that has long been removed. 2008-03-11 23:34 jschimpf * Eclipse/sepia/pl/asm.pl (1.13): Added assembler aliases for get[_matched]_value with reversed arguments, because the compiler may generate them now. 2008-03-08 06:24 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.94): Ready for build 5.10 #120 2008-03-08 02:20 jschimpf * Eclipse/Compiler/: compiler_codegen.ecl (1.10), compiler_regassign.ecl (1.5), compiler_test.ecl (1.5), test.ref (1.13), testo.ref (1.6), compiler_compound.ecl (1.3): Specialised the register use-annotation into use/use_a. This allows the allocator to be more flexible about using a register or an environment slot. 2008-03-07 23:00 kish_shen * Eclipse/Compiler/compiler_regassign.ecl (1.4): fixed a couple of typos 2008-03-07 16:07 jschimpf * Eclipse/ZincInterface/minizinc.ecl (patches_5_10.4): Small changes to documentation 2008-03-07 15:19 jschimpf * Eclipse/sepia/pl/branch_and_bound.pl (patches_5_10.1): Fixed bug 584 - report_success predicate should be called in a state where the results are instantiated. 2008-03-07 00:56 jschimpf * Eclipse/Compiler/compiler_top.ecl (1.15): Missing comma in comment directive 2008-03-06 20:42 jschimpf * Eclipse/Compiler/compiler_regassign.ecl (1.3): Add register usage info to introduced move-instructions, as input for the peephole optimizer 2008-03-06 06:31 jschimpf * Eclipse/sepia/pl/version.pl (1.41): Ready for build 5.11 #39 2008-03-05 20:53 jschimpf * Eclipse/sepia/pl/kernel.pl (patches_5_10.8): Exploit new pathname/3 behaviour to make termination condition work on Windows 2008-03-05 20:50 jschimpf * Eclipse/sepia/src/os_support.c (patches_5_10.6): Preserve leading // in pathnames independently of OS, otherwise our "generic" pathname syntax is actually OS-dependent! 2008-03-05 20:45 jschimpf * Eclipse/sepia/src/bip_misc.c (patches_5_10.5): Related to bug 590 - pathname/? must preserve leading // for Windows 2008-03-05 19:31 jschimpf * Eclipse/sepia/src/bip_arith.c (patches_5_10.4): Fixed bug 587 - right shifts larger than wordsize 2008-03-05 18:43 jschimpf * Eclipse/sepia/src/os_support.c (patches_5_10.5): Fixed bug 590 - incorrect windows pathname conversions 2008-03-05 03:59 jschimpf * Eclipse/Compiler/compiler_regassign.ecl (1.2): Removed duplicate definition of wam_registers/1 2008-03-04 06:30 jschimpf * Eclipse/sepia/pl/version.pl (1.40): Ready for build 5.11 #38 2008-03-03 14:12 kish_shen * Eclipse/Compiler/compiler_top.ecl (1.14): added tracking of code size compiled and loaded when compiling from a file. 2008-02-29 22:35 jschimpf * Eclipse/Compiler/: compiler_codegen.ecl (1.9), compiler_top.ecl (1.13), test.ref (1.12), testo.ref (1.5): Use label reference for direct recursive calls 2008-02-29 22:31 jschimpf * Eclipse/documents/bips/kernel/database.eci (1.3): Added code_size flag to get_flag/3 2008-02-29 22:14 jschimpf * Eclipse/sepia/: src/bip_db.c (1.9), pl/kernel.pl (1.18): Added code_size flag to get_flag/3 2008-02-27 06:54 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.93): Ready for build 5.10 #119 2008-02-27 02:30 jschimpf * Eclipse/ZincInterface/minizinc.ecl (patches_5_10.3): Added mzn2fzn/4 2008-02-27 02:25 jschimpf * Eclipse/ZincInterface/: fzn_fd.ecl, fzn_ic.ecl (patches_5_10.[4,4]): Fixed typo in bool_left/right_impl 2008-02-26 06:29 jschimpf * Eclipse/sepia/pl/version.pl (1.39): Ready for build 5.11 #37 2008-02-25 06:25 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.92): Ready for build 5.10 #118 2008-02-24 22:11 jschimpf * Eclipse/ZincInterface/zn_examples.ecl (patches_5_10.2): Added sets and output test 2008-02-24 22:10 jschimpf * Eclipse/ZincInterface/flatzinc.ecl (patches_5_10.3): Require only minimal type compatibility in fzn_write 2008-02-24 22:08 jschimpf * Eclipse/ZincInterface/minizinc.ecl (patches_5_10.2): Suppress warnings for non-struct-syntax uses of of/2 2008-02-24 22:08 jschimpf * Eclipse/ZincInterface/: fzn_fd.ecl, fzn_ic.ecl (patches_5_10.[3,3]): make search_ann work with arrays or lists 2008-02-22 15:10 kish_shen * Eclipse/icparc_solvers/s_eplex_comments.ecl (1.4): corrected some spelling errors 2008-02-22 03:15 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.91): Ready for build 5.10 #117 2008-02-21 20:15 jschimpf * Eclipse/icparc_solvers/generic_search.ecl (patches_5_10.1): Treat infinite domains correctly in first_fail ordering 2008-02-21 20:14 jschimpf * Eclipse/ZincInterface/flatzinc.ecl (patches_5_10.2): Use 'file' as default because of problems with dual pipe. 2008-02-21 20:13 jschimpf * Eclipse/ZincInterface/: fzn_fd.ecl, fzn_ic.ecl (patches_5_10.[2,2]): Generalised element was buggy - fixed 2008-02-21 20:12 jschimpf * Eclipse/ZincInterface/flatzinc_syntax.ecl (patches_5_10.2): Corrected precedence so "var set of ..." gets parsed correctly. 2008-02-21 15:40 kish_shen * Eclipse/Compiler/compiler_peephole.ecl (1.11): made the peephole simplify predicate more flexible and efficient -- simplify/5 can now specify which is the next instruction to examine for simplification (previously was always the next instruction). This allows instructions that cannot be simplified (e.g. instructions introduced by the simplification) to be skipped. 2008-02-18 06:23 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.90): Ready for build 5.10 #116 2008-02-18 01:19 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.89): Ready for build 5.10 #115 2008-02-17 21:52 jschimpf * Eclipse/Makefile.in (patches_5_10.7): zinc interface depends on lib(ic) and lib(propia), added missing dependencies 2008-02-17 18:04 jschimpf * Eclipse/: Makefile.in, configure, configure.ac, ZincInterface/Makefile.in, ZincInterface/flatzinc.ecl, ZincInterface/flatzinc_parser.ecl, ZincInterface/flatzinc_syntax.ecl, ZincInterface/fzn_eplex.ecl, ZincInterface/fzn_fd.ecl, ZincInterface/fzn_ic.ecl, ZincInterface/minizinc.ecl, ZincInterface/zn_examples.ecl, ZincInterface/fzn_eplex/globals.mzn, ZincInterface/fzn_fd/globals.mzn, ZincInterface/fzn_ic/globals.mzn (patches_5_10.[6,37,35,1,1,1,1,1,1,1,1,1,1,1,1]): Added prototype minizinc/flatzinc interface 2008-02-17 06:21 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.88): Ready for build 5.10 #114 2008-02-17 00:14 jschimpf * Eclipse/ecl_inst.tcl (patches_5_10.1): Do as much as possible even without shortcuts 2008-02-17 00:13 jschimpf * Eclipse/README_WIN.TXT (patches_5_10.11): Removed mention of ecl_inst.tcl, and described manual installation in more detail instead. 2008-02-16 06:23 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.87): Ready for build 5.10 #113 2008-02-16 01:53 kish_shen * Eclipse/: configure, configure.ac (patches_5_10.[36,34]): updated gcc flags to produce more efficient code for x86 platforms, first done on main branch 2008-02-16 01:16 kish_shen * Eclipse/README_WIN.TXT (patches_5_10.10): added mention of where shortcut.dll needs to go 2008-02-16 01:14 kish_shen * Eclipse/README_WIN.TXT (patches_5_10.9): updated Windows README about installing from .tgz, including mentioning missing shortcut.dll. Unfortunately this dll can longer be found easily... 2008-02-15 15:30 jschimpf * Eclipse/sepia/src/: bip_io.c, bip_misc.c (patches_5_10.[4,4]): Fixed a Windows problem that caused fd 0 to be closed by exec/3, which led to strange behaviour subsequently. 2008-02-14 16:03 jschimpf * Eclipse/sepia/pl/version.pl (1.38): Ready for build 5.11 #36 2008-02-13 21:31 kish_shen * Eclipse/: icparc_solvers/eplex_s.ecl (1.3), icparc_solvers/eplex_standalone.ecl (1.2), icparc_solvers/s_eplex_comments.ecl (1.3), icparc_solvers/seplex.c (1.7), icparc_solvers/seplex_cplex.def (1.3), icparc_solvers/seplex_xpress.def (1.3), documents/libman/eplex.tex (1.3): first version of infeasible handler and getting IIS for an infeasible problem (available for CPLEX and XPRESS-MP) 2008-02-13 16:00 kish_shen * Eclipse/documents/: libman/Makefile (1.2), embedding/Makefile (1.2): corrected broken Makefiles resulting from move of the chapter on dbi from the libraries manual to the embedding manual 2008-02-13 15:25 kish_shen * Eclipse/documents/bips/kernel/env.eci (1.3): added some missing escape for the double quote characters inside strings 2008-02-02 06:21 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.86): Ready for build 5.10 #112 2008-02-01 16:00 jschimpf * Eclipse/sepia/pl/var_name.ecl (patches_5_10.1): Allow basenames to start with underscore 2008-02-01 15:45 jschimpf * Eclipse/sepia/pl/: quintus.pl, swi.ecl (patches_5_10.[2,2]): Compatibility improvement for quintus/swi: allow module-qualified clauses (though only for dynamic predicates) 2008-01-31 12:34 jschimpf * Eclipse/sepia/pl/version.pl (1.37): Ready for build 5.11 #35 2008-01-30 17:43 kish_shen * Eclipse/: configure (1.14), configure.ac (1.13): removed a gcc compiler optimisation flag -ftsp-ordering that seems invalid for some gcc versions 2008-01-30 06:14 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.85): Ready for build 5.10 #111 2008-01-30 01:33 jschimpf * Eclipse/: documents/userman/umssyntax.tex, documents/bips/kernel/env.eci, documents/bips/kernel/syntax.eci, sepia/include/lex.h, sepia/src/lex.c, sepia/src/read.c, sepia/src/write.c (patches_5_10.[2,1,1,1,1,1,2]): Implemented syntax extensions for Flat/MiniZinc 2008-01-29 14:47 kish_shen * Eclipse/icparc_solvers/seplex.c (patches_5_10.9): fix for bug b585: work around CPLEX *+'s redefinition of `unboundedness', so that only problems known to be feasible are returned as unbounded. Otherwise they are considered `unknown' (i.e. infeasible or unbounded). 2008-01-26 06:22 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.84): Ready for build 5.10 #110 2008-01-25 18:32 kish_shen * Eclipse/icparc_solvers/s_eplex_comments.ecl (patches_5_10.4): corrected a small typo 2008-01-25 15:34 jschimpf * Eclipse/: configure (1.13), configure.ac (1.12): Added missing quotes which caused missing compiler flags 2008-01-23 06:22 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.83): Ready for build 5.10 #109 2008-01-22 15:13 jschimpf * Eclipse/: BUILD_ROTD, site_info (patches_5_10.[4,4]), BUILD_ROTD (1.5), site_info (1.5): Changes to allow copying to multiple ftp sites 2008-01-19 06:24 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.82): Ready for build 5.10 #108 2008-01-18 00:39 jschimpf * Eclipse/icparc_solvers/ic_kernel.ecl (patches_5_10.2): Added impose_domain/2 predicate, triggered by a request from Tallys Yunes 2008-01-18 00:27 jschimpf * Eclipse/icparc_solvers/ic.c (patches_5_10.1): Added missing test for existence of suspend-attribute (in unify handler) 2008-01-15 14:40 kish_shen * Eclipse/: Compiler/compiler_peephole.ecl (1.10), Compiler/test.ref (1.11), Compiler/testo.ref (1.4), sepia/include/emu_op_addr.h (1.5), sepia/include/names.h (1.5), sepia/include/opcode.h (1.5), sepia/src/emu.c (1.14), sepia/src/printam.c (1.10), sepia/pl/asm.pl (1.12): added support for varius 'fused' instructions: * write_void n/push_void n * move n a y * move n y a * move2 a1 y1 a2 y2 * move3 a1 y1 a2 y2 a3 y3 * move2 y1 a1 y2 a2 * move3 y1 a1 y2 a2 y3 a3 these are generated in the peephole phase of the new compiler. They reduce the code size and also (slightly) improve the performance. 2008-01-10 23:44 kish_shen * Eclipse/: configure (1.12), configure.ac (1.11): as part of testing the peephole optimisations, als added some flags to compling ECLiPSe to generate faster code. Tests shows that on i386 (Linux and MacOS X), theseextra flag can result in 3-15% improvements 2007-12-08 06:08 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.81): Ready for build 5.10 #107 2007-12-07 18:09 kish_shen * Eclipse/lib_tcl/: debugdemo.ecl, mapdebugdemo.tcl (patches_5_10.[2,2]): removed the map debug ECLiPSe and Tcl files from lib_tcl -- they were duplicated here from document/tutorial directory. They are not needed here, and having them in two locations meant having to update both 2007-12-07 18:04 kish_shen * Eclipse/documents/tutorial/: debugdemo.ecl, mapdebugdemo.tcl, tkdebug.tex (patches_5_10.[2,4,1]): updated debug demo so that the map display is only created when colour/0 is run, and `done' kills the display window. This avoids the problem with trying to kill the window by the user on Windows, which leads to a warning message (on XP_ about the window not responding (because it is a remote peer and is waiting for messages from the ECLiPSe peer). This also required updates to the tutorial chapter. 2007-12-06 06:12 jschimpf * Eclipse/sepia/pl/version.pl (1.36): Ready for build 5.11 #34 2007-12-05 06:09 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.80): Ready for build 5.10 #106 2007-12-04 17:29 kish_shen * Eclipse/Compiler/compiler_peephole.ecl (1.9): forgot to check this in earlier: 1. added subsumed test for var in switch_on_type for the peep-hole optimiser. 2. Rearranged process_target predicate, separating the functionality into 3 predicates: -- process_chunk_targets to go through the chunk -- process_instr_targets to look at each instruction for inter-chunk peephole optimisations -- find_targets to find target labels 2007-12-04 06:15 jschimpf * Eclipse/sepia/pl/version.pl (1.35): Ready for build 5.11 #33 2007-12-04 00:51 kish_shen * Eclipse/documents/internal/SetupGuide.doc (1.6): more updates: expanded description of building Coin solvers with eplex, including compiling CLP with AMD for the barrier solver. Added a description of adding contributions to ECLiPSe. 2007-12-02 06:07 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.79): Ready for build 5.10 #105 2007-11-29 06:14 jschimpf * Eclipse/sepia/pl/version.pl (1.34): Ready for build 5.11 #32 2007-11-25 06:10 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.78): Ready for build 5.10 #104 2007-11-25 00:50 kish_shen * Eclipse/icparc_solvers/seplex.c (patches_5_10.8): the test for Intel Mac OS X with HOSTARCH does not work -- testing for string equality does not work. Using a much more long winded test instead :-( 2007-11-24 06:14 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.77): Ready for build 5.10 #103 2007-11-22 17:51 kish_shen * Eclipse/: lib_tcl/eclipse_tools.tcl (1.8), sepia/pl/tracer.pl (1.6), sepia/pl/tracer_tcl.pl (1.12), sepia/pl/tracer_tty.pl (1.5), sepia/src/bip_control.c (1.5), sepia/src/emu.c (1.13), sepia/include/emu_export.h (1.9), sepia/include/sepia.h (1.7), sepia/include/types.h (1.7): first version of breakpoints with debugger 2007-11-22 16:07 kish_shen * Eclipse/icparc_solvers/: Makefile.in, seplex.c (patches_5_10.[21,7]): updates to building eplex with CPLEX 11 on Intel Mac (from actual compilation of the code) 2007-11-22 11:01 kish_shen * Eclipse/Contrib/Makefile.in (1.2): added GRASPER to Makefile 2007-11-22 07:08 jschimpf * Eclipse/icparc_solvers/: ic.ecl, ic_constraints.ecl (patches_5_10.[2,1]): Allowed array as second argument of element/3. Also replaced some subscript accesses with arg/3 for speed. 2007-11-22 06:14 jschimpf * Eclipse/sepia/pl/version.pl (1.33): Ready for build 5.11 #31 2007-11-22 04:34 kish_shen * Eclipse/Contrib/Makefile.in (patches_5_10.1): added GRASPER to Makefile 2007-11-22 00:41 kish_shen * Eclipse/: configure, configure.ac (patches_5_10.[35,33]): added missing CPLEX_ARCH_PREFIX needed for i386_macox configure to detect CPLEX11 2007-11-21 06:03 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.76): Ready for build 5.10 #102 2007-11-20 23:57 rdviegas * Eclipse/Contrib/grasper.ecl (patches_5_10.2): Addition of the GRASPER module 2007-11-20 15:34 rdviegas * Eclipse/Contrib/grasper.ecl (1.1): Addition of the GRASPER module 2007-11-20 15:34 rdviegas * Eclipse/Contrib/grasper.ecl (patches_5_10.1): file grasper.ecl was added on branch patches_5_10 on 2007-11-20 23:57:23 +0000 2007-11-20 06:07 jschimpf * Eclipse/sepia/pl/version.pl (1.32): Ready for build 5.11 #30 2007-11-11 06:06 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.75): Ready for build 5.10 #101 2007-11-10 00:08 kish_shen * Eclipse/icparc_solvers/s_eplex_comments.ecl (patches_5_10.3): added missing documentation description for eplex_var_get(V, type, Val), which was missing 2007-11-10 00:04 kish_shen * Eclipse/icparc_solvers/coinplex.cpp (patches_5_10.8): remove setting of do presolve hints for MIP problems in eplex_osi_clpcbc -- this was suggested by John Forrest as a problem (doing presolve for the linear problem in a MIP problem) 2007-11-09 23:47 kish_shen * Eclipse/: configure, configure.ac (patches_5_10.[34,32]): updated Coin's CBC/CLP/SYMPHONY to latest versions for use with eplex -- the CBC/CLP have fixes that avoids a few problems found by Helmut 2007-11-09 06:27 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.74): Ready for build 5.10 #100 2007-11-07 18:31 kish_shen * Eclipse/documents/bips/kernel/env.eci (1.2): removed reference to/use of all_dynamic flag, which have been removed 2007-11-07 18:23 kish_shen * Eclipse/: lib_tcl/eclipse_tools.tcl (1.7), documents/userman/umscompiler.tex (1.2), documents/userman/umsflags.tex (1.2), documents/userman/umsmacros.tex (1.2): removed reference to/use of all_dynamic flag, which have been removed 2007-11-07 14:33 kish_shen * Eclipse/: INSTALL, README_MACOSX, README_UNIX (patches_5_10.[4,5,6]): some updates I forgot to check in 2007-11-07 06:11 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.73): Ready for build 5.10 #99 2007-11-07 00:34 jschimpf * Eclipse/sepia/pl/dynamic.pl (1.4): Fixed bug 582 - broken listing/0 2007-11-06 16:26 kish_shen * Eclipse/: PACK, configure, configure.ac, icparc_solvers/Makefile.in, icparc_solvers/eplex_params.h (patches_5_10.[9,33,31,20,2]): support for CPLEX 11.0 for eplex 2007-11-06 00:12 kish_shen * Eclipse/sepia/src/read.c (1.3): source information for DCG with new compiler 2007-11-06 00:02 kish_shen * Eclipse/sepia/pl/kernel.pl (1.17): source information for DCG with new compiler 2007-11-02 08:40 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.72): Ready for build 5.10 #98 2007-11-01 06:12 jschimpf * Eclipse/sepia/pl/version.pl (1.31): Ready for build 5.11 #29 2007-10-31 16:43 kish_shen * Eclipse/documents/internal/SetupGuide.doc (1.5): updated with more information for setting up CPLEX and MySQL (for Windows) 2007-10-31 12:00 kish_shen * Eclipse/PACK (patches_5_10.8): added cplex 10.2 to packing 2007-10-31 06:12 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.71): Ready for build 5.10 #97 2007-10-30 16:17 kish_shen * Eclipse/icparc_solvers/coinplex.cpp (patches_5_10.7): fix for bug b580 (for 5.10 #96): only delete both solver model and mipmodel if they are not shared (problem introduced in 1.1.1.1.2.5) 2007-10-30 06:14 jschimpf * Eclipse/sepia/pl/version.pl (1.30): Ready for build 5.11 #28 2007-10-29 17:08 kish_shen * Eclipse/icparc_solvers/Makefile.in (patches_5_10.19): change back to linking the .lib version of CPLEX (from lib). This seems to be needed. 2007-10-28 06:11 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.70): Ready for build 5.10 #96 2007-10-26 11:27 kish_shen * Eclipse/icparc_solvers/Makefile.in (patches_5_10.18): corrected path and extension for CPLEX 10.2 in i386_nt make rule [using .dll file taken from bin, rather than the .lib file taken from lib, which seems to be associated with .net] 2007-10-26 05:14 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.69): Ready for build 5.10 #95 2007-10-26 02:36 kish_shen * Eclipse/: icparc_solvers/Makefile.in, configure, configure.ac (patches_5_10.[17,32,30]), icparc_solvers/Makefile.in (1.9), configure (1.11): updated CPLEX lib directories for each platform to uniformly use $ARCH instead of what each CPLEX version uses (and keep changing) -- this requires updating the $THIRDPARTY CPLEX directories 2007-10-26 02:17 kish_shen * Eclipse/configure.ac (1.10): updated CPLEX lib directories for each platform to uniformly use $ARCH instead of what each CPLEX version uses (and keep changing) -- this requires updating the $THIRDPARTY CPLEX directories 2007-10-25 17:26 kish_shen * Eclipse/: configure, configure.ac, icparc_solvers/Makefile.in (patches_5_10.[31,29,16]): updated CPLEX 10.1 to 10.2 (now available for Cisco builds) 2007-10-25 14:57 kish_shen * Eclipse/icparc_solvers/Makefile.in (patches_5_10.15): update for compiling bug log code for CLPCBC 2007-10-05 05:12 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.68): Ready for build 5.10 #94 2007-10-03 19:41 kish_shen * Eclipse/PACK (patches_5_10.7): updated a few icparc weblinks to eclipse-clp.org (thanks to Vasillis for spoting this) 2007-10-03 18:17 kish_shen * Eclipse/icparc_solvers/s_eplex_comments.ecl (patches_5_10.2): clarified documentation on new_constraint trigger 2007-09-08 05:23 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.67): Ready for build 5.10 #93 2007-09-07 18:26 jschimpf * Eclipse/icparc_solvers/: ic.ecl, ic_kernel.ecl (patches_5_10.[1,1]): Fixed bug 579 - get_median/2 with integer variables and documentation update. 2007-09-07 12:05 jschimpf * Eclipse/sepia/pl/version.pl (1.29): Ready for build 5.11 #27 2007-09-07 10:25 jschimpf * Eclipse/Visualisation/gnuplot.ecl (patches_5_10.1): Simplified Windows use of gnuplot by looking for the executable in a couple of likely locations. 2007-09-05 10:40 jschimpf * Eclipse/sepia/include/: embed.h (1.4), emu_export.h (1.8): Moved declaration of meta_index() to fix Windows build problem 2007-09-04 16:57 jschimpf * Eclipse/sepia/: pl/environment.pl (1.3), src/procedure.c (1.2): Removed support for all_dynamic flag 2007-09-04 16:28 jschimpf * Eclipse/sepia/: include/emu_op_addr.h (1.4), include/error.h (1.3), include/names.h (1.4), include/opcode.h (1.4), pl/asm.pl (1.11), pl/dynamic.pl (1.3), pl/events.pl (1.6), pl/kernel.pl (1.16), src/bip_db.c (1.8), src/bip_record.c (1.3), src/dict.c (1.6), src/dynamic.c (1.2), src/emu.c (1.12), src/error.c (1.4), src/printam.c (1.9), src/proc_desc.c (1.3): Simplified implementation of dynamic predicates, based on the recorded database. 2007-09-04 16:22 jschimpf * Eclipse/sepia/src/property.c (1.4): Removed obsolete extern declaration 2007-09-04 16:18 jschimpf * Eclipse/sepia/src/code.c (1.2): Corrected two size parameters 2007-09-01 05:20 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.66): Ready for build 5.10 #92 2007-08-31 05:19 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.65): Ready for build 5.10 #91 2007-08-31 01:06 kish_shen * Eclipse/: lib_tcl/mapdebugdemo.tcl, documents/tutorial/mapdebugdemo.tcl (patches_5_10.[1,3]): corrected typo reported by Wojciech Pieprzyca 2007-08-31 00:54 kish_shen * Eclipse/documents/tutorial/mapdebugdemo.tcl (patches_5_10.2): corrected typo reported by Wojciech Pieprzyca 2007-08-29 20:53 jschimpf * Eclipse/Compiler/compiler_normalise.ecl (1.8): Fixed problem caused by mismatched annotated term during normalisation. Also added a check to detect such mismatches. 2007-08-29 13:29 kish_shen * Eclipse/Compiler/: testo.ref (1.3), compiler_peephole.ecl (1.8): 1. allow more than one instruction to be candidate for checking on a subsumed instruction that can be skipped 2. added subsumed tests for all types in switch_on_type (except the fall through case for var). This is mainly to skip subsumed type tests follwoing the switch. 2007-08-25 23:00 kish_shen * Eclipse/Compiler/: compiler_peephole.ecl (1.7), test.ref (1.10), testo.ref (1.2): 1. removed a couple of peephole optimisation that may be incorrect 2 added a few peephole optimisations, including inter-chunk optimisations 2007-08-24 23:16 kish_shen * Eclipse/Compiler/: Makefile (1.4), compiler_test.ecl (1.4), testo.ref (1.1): added testo tests -- for test `optimised', i,e, compiling with opt_level=1 2007-08-24 23:13 kish_shen * Eclipse/Compiler/compiler_peephole.ecl (1.6): updated for retry_inline and trust_inline with env.map 2007-08-24 21:47 jschimpf * Eclipse/: sepia/pl/asm.pl (1.10), Compiler/compiler_codegen.ecl (1.8), Compiler/compiler_varclass.ecl (1.5), Compiler/test.ref (1.9): Added environment activity map field to retry/trust_inline instructions to avoid the subtle requirement that the code for every alternative must be preceded by an environment map. This prevented removal of unreachable try/retry/trust_me instructions. 2007-08-24 21:36 jschimpf * Eclipse/sepia/: include/emu_export.h (1.7), src/emu.c (1.11), src/gc_stacks.c (1.4), src/printam.c (1.8): Added environment activity map field to retry/trust_inline instructions to avoid the subtle requirement that the code for every alternative must be preceded by an environment map. This prevented removal of unreachable try/retry/trust_me instructions. 2007-08-24 15:28 jschimpf * Eclipse/Compiler/: compiler_codegen.ecl (1.7), test.ref (1.8): Compile simple instances of ==/2 into in_get_xxx instructions 2007-08-24 14:34 jschimpf * Eclipse/Compiler/: compiler_indexing.ecl (1.3), test.ref (1.7): changes as result of removing tdbref tag 2007-08-22 23:07 jschimpf * Eclipse/sepia/: src/Makefile.in (1.4), src/bip_comp.c (1.2), src/bip_delay.c (1.2), src/bip_module.c (1.5), src/bip_record.c (1.2), src/bip_tconv.c (1.2), src/dict.c (1.5), src/emu_c_env.c (1.2), src/printam.c (1.7), src/property.c (1.3), src/section.c (1.3), src/write.c (1.3), pl/events.pl (1.5), pl/idb.pl (1.2), pl/kernel.pl (1.15), pl/meta.pl (1.2), pl/quintus.pl (1.4): Rewritten implementation of record-family predicates using handles. This solves a few old memory leakage problems related to db-references, and is generally cleaner and simpler. Also makes it possible to have anonymous records. Removed now obsolete TDBREF tag. This is in preparation for implementing assert on top of record. 2007-08-22 23:02 jschimpf * Eclipse/sepia/include/: ec_public.h (1.3), sepia.h (1.6), types.h (1.6): Rewritten implementation of record-family predicates using handles. This solves a few old memory leakage problems related to db-references, and is generally cleaner and simpler. Also makes it possible to have anonymous records. Removed now obsolete TDBREF tag. This is in preparation for implementing assert on top of record. 2007-08-22 05:18 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.64): Ready for build 5.10 #90 2007-08-21 16:31 kish_shen * Eclipse/README_WIN.TXT (patches_5_10.8): added some instructions on how to run Tcl/Tk programs with the non-standalone Tcl/Tk that is bundled with Windows now 2007-08-21 05:15 jschimpf * Eclipse/sepia/pl/version.pl (1.28): Ready for build 5.11 #26 2007-08-20 01:24 kish_shen * Eclipse/Compiler/: compiler_peephole.ecl (1.5), test.ref (1.6): enhancements of the peephole optimiser: 1. Allow contiguous chunks to be rejoined early, with label(s) in chunk. This is to prevent splitting of certain code that are intended to be contiguous 2. Removed indirect branches, i.e. branch to a branch instruction 3. Set up framework for interchunk optimisations 4. Implemented some more patterns of peephole optimisations 2007-08-18 05:17 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.63): Ready for build 5.10 #89 2007-08-17 05:17 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.62): Ready for build 5.10 #88 2007-08-17 01:11 kish_shen * Eclipse/: documents/tutorial/debugdemo.ecl, lib_tcl/debugdemo.ecl, lib_tcl/mapembed.tcl, lib_tcl/mapremote.tcl, lib_tcl/widget/TOUR.tcl (patches_5_10.[1,1,1,1,1]): merged changes to run tcl code with non-installed tcl on Windows to patch branch 2007-08-16 05:16 jschimpf * Eclipse/sepia/pl/version.pl (1.27): Ready for build 5.11 #25 2007-08-15 23:09 jschimpf * Eclipse/Compiler/compiler_top.ecl (1.12): Setting of source position information for predicates, and consecutivity warnings 2007-08-15 17:10 jschimpf * Eclipse/sepia/pl/: fcompile.pl (patches_5_10.1), fcompile.pl (1.3): Corrected value of DEBUG_DB flag 2007-08-15 17:08 jschimpf * Eclipse/sepia/src/bip_db.c (1.7): Made source_xxx predicate flags writable. 2007-08-15 17:05 jschimpf * Eclipse/sepia/pl/kernel.pl (1.14): Removed obsolete flag settings that caused inconsistent debug-flag in tools. 2007-08-15 01:08 kish_shen * Eclipse/lib_tcl/: mapcolour.tcl (1.2), mapembed.tcl (1.3), mapremote.tcl (1.3): modified the mapcolour tcl examples to run with bundled Tcl/Tk on Windows (by dragging the tcl program to the wish executable). Changes were needed because /lib_tcl is not the working directory when the execution is started by this drag and drop method 2007-08-15 00:58 kish_shen * Eclipse/: lib_tcl/debugdemo.ecl (1.4), documents/tutorial/debugdemo.ecl (1.4): added missing / 2007-08-14 16:59 kish_shen * Eclipse/: lib_tcl/debugdemo.ecl (1.3), documents/tutorial/debugdemo.ecl (1.3): action from Joachim's code review: set correct path for wish executable, without using os format for the exec, and use read_directory to avoid version dependencies 2007-08-14 05:16 jschimpf * Eclipse/sepia/pl/version.pl (1.26): Ready for build 5.11 #24 2007-08-13 23:53 kish_shen * Eclipse/: lib_tcl/debugdemo.ecl (1.2), documents/tutorial/debugdemo.ecl (1.2): updated debugdemo to execute the Window wish we built (on Windows) 2007-08-12 19:58 jschimpf * Eclipse/pt_libraries/pretty_printer.ecl (1.2): Recognise end_include marker that was recently added in lib(source_processor) 2007-08-12 19:51 jschimpf * Eclipse/: Oci/dbi.ecl (1.5), icparc_solvers/ech/ech.pl (1.2): Removed tool/1 to simplify calling conventions - new compiler invokes tool body directly and therefore requires tool/2 declaration. Also eliminated autoload_tool/2. 2007-08-12 19:40 jschimpf * Eclipse/: sepia/pl/apply_macros.pl (1.2), sepia/pl/dynamic.pl (1.2), sepia/pl/eclipse_language.ecl (1.5), sepia/pl/environment.pl (1.2), sepia/pl/events.pl (1.4), sepia/pl/http_client.pl (1.2), sepia/pl/kernel.pl (1.13), sepia/pl/lists.pl (1.2), sepia/pl/par_util.pl (1.2), sepia/pl/profile.pl (1.3), sepia/pl/quintus.pl (1.3), sepia/pl/scattered.pl (1.2), sepia/pl/setof.pl (1.2), sepia/pl/t_all.pl (1.3), sepia/pl/tconv.pl (1.2), documents/bips/kernel/modules.eci (1.3), documents/bips/kernel/obsolete.eci (1.3): Removed tool/1 to simplify calling conventions - new compiler invokes tool body directly and therefore requires tool/2 declaration. Also eliminated autoload_tool/2. 2007-08-12 19:39 jschimpf * Eclipse/sepia/src/bip_db.c (1.6): Removed tool/1 to simplify calling conventions - new compiler invokes tool body directly and therefore requires tool/2 declaration. 2007-08-12 17:36 jschimpf * Eclipse/sepia/pl/pdb.pl (1.2): Changed is_predicate/1 such that it succeeds also for pending imports 2007-08-12 17:30 jschimpf * Eclipse/sepia/: src/bip_module.c (1.4), src/proc_desc.c (1.2), src/error.c (1.3), include/error.h (1.2): Changed is_predicate/1 such that it succeeds also for pending imports 2007-08-08 05:17 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.61): Ready for build 5.10 #87 2007-08-08 00:15 kish_shen * Eclipse/icparc_solvers/coinplex.cpp (patches_5_10.6): some more memory leak plugs that I didn't check in yet 2007-08-07 05:19 jschimpf * Eclipse/sepia/pl/version.pl (1.25): Ready for build 5.11 #23 2007-08-04 05:19 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.60): Ready for build 5.10 #86 2007-08-03 15:41 kish_shen * Eclipse/lib_tcl/eclipse_tools.tcl (patches_5_10.1): fix for bug b576 for Windows 2007-08-03 13:45 jschimpf * Eclipse/sepia/src/: emu.c (patches_5_10.10), emu.c (1.10): Fixed bug 575 - there were two problems, reading beyond the end of the allocated environment frame in Continue_after_event, and a missing stack allocation check when saving the frames in _handle_events_ 2007-07-22 13:04 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.59): Ready for build 5.10 #85 2007-07-21 00:23 kish_shen * Eclipse/lib_tcl/tkeclipse.tcl (patches_5_10.4): Updated ECLiPSe version in the map debug demo for the tutorial. This was unfortunately missed, as this program is also in lib_tcl. Added a reminder in lib_tcl (problem reported by jamlatino at Sourceforge's support requests) 2007-07-21 00:19 kish_shen * Eclipse/documents/tutorial/mapdebugdemo.tcl (patches_5_10.1): Updated ECLiPSe version in the map debug demo for the tutorial. This was unfortunately missed, as this program is also in lib_tcl. Added a reminder in lib_tcl 2007-07-18 22:59 kish_shen * Eclipse/documents/tutorial/: icintro.tex, repairtut.tex (patches_5_10.[1,1]): fixed a couple of typos found by Charles D Lutz: 1. Fixed problem with showing {} in code macro 2. added note about lexico_le/2 is from ic_global also deleted an extra code found while checking for case 1. 2007-07-14 05:10 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.58): Ready for build 5.10 #84 2007-07-13 16:54 kish_shen * Eclipse/icparc_solvers/ic_probing_for_scheduling.pl (patches_5_10.1): clarified doc for MaxResource in probe_sched, changed mode from ++ to + (++ should only be used for ground compound terms) 2007-07-13 16:16 kish_shen * Eclipse/icparc_solvers/: coinplex.cpp, seplex.c (patches_5_10.[5,6]): Plugged some memory leaks with the COIN solvers The main one is for CLP/CBC. Previously it seems that the mipmodel is shared with the LP Solver, as trying to delete both causes a crash, but either this was a bug that has been fixed, or the representation is changed. Removed code to check that mip model is shared and just delete both. There were a few other more minor potential leaks that were plugged. Valgrind is still reporting some further leaks, but unfortunately it is unable to pinpoint this. At least some of these appears to be in the COIN code itself. This have been reported to the coin-discuss mailing list on 2007-07-13. 2007-07-10 05:11 jschimpf * Eclipse/sepia/pl/version.pl (1.24): Ready for build 5.11 #22 2007-07-07 05:12 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.57): Ready for build 5.10 #83 2007-07-06 12:49 kish_shen * Eclipse/: configure, configure.ac (patches_5_10.[30,28]), configure (1.10), configure.ac (1.9): removed a stray space that caused a probloem with building the source on ppc_macosx (found while trying to build main branch on ppc_macosx, but the problem was from the patch branch) 2007-07-06 05:12 jschimpf * Eclipse/sepia/pl/version.pl (patches_5_10.56): Ready for build 5.10 #82 2007-07-05 19:17 kish_shen * Eclipse/icparc_solvers/ech/ech.pl (patches_5_10.1): fix for bug b574 -- on