Joe Marshall [Wed, 10 Mar 2010 21:19:20 +0000 (13:19 -0800)]
Fix typos in open-block analyzers.
Joe Marshall [Tue, 9 Mar 2010 21:38:57 +0000 (13:38 -0800)]
Expander for NOT.
Joe Marshall [Mon, 8 Mar 2010 22:35:08 +0000 (14:35 -0800)]
Add sf:enable-rewrite-nested-conditionals?
Joe Marshall [Mon, 8 Mar 2010 21:56:26 +0000 (13:56 -0800)]
Add sf:rewrite-disjunction-in-conditional.
Joe Marshall [Mon, 8 Mar 2010 21:42:00 +0000 (13:42 -0800)]
Fixup disjunction integration.
Joe Marshall [Mon, 8 Mar 2010 21:09:21 +0000 (13:09 -0800)]
Fixup conditional and disjunction construction.
Joe Marshall [Mon, 8 Mar 2010 21:09:02 +0000 (13:09 -0800)]
Turn off sf:enable-true-unspecific?
Joe Marshall [Mon, 8 Mar 2010 20:46:02 +0000 (12:46 -0800)]
Move EXPRESSION/UNSPECIFIC?, add EXPRESSION/PURE-TRUE? and EXPRESSION/PURE-FALSE?
Joe Marshall [Mon, 8 Mar 2010 20:32:20 +0000 (12:32 -0800)]
Move several routines from object.scm to analyze.scm and rewrite using dispatch-vector mechanism.
Joe Marshall [Mon, 8 Mar 2010 20:03:48 +0000 (12:03 -0800)]
Rename VARIABLE/FREE-IN-EXPRESSION? to EXPRESSION/FREE-VARIABLE?
Joe Marshall [Mon, 8 Mar 2010 19:47:14 +0000 (11:47 -0800)]
Change FREE/EXPRESSION to EXPRESSION/FREE-VARIABLES.
Joe Marshall [Mon, 8 Mar 2010 19:31:23 +0000 (11:31 -0800)]
Change file for package (scode-optimizer free)
Joe Marshall [Mon, 8 Mar 2010 19:29:48 +0000 (11:29 -0800)]
Rename free.scm to analyze.scm before adding more stuff.
Chris Hanson [Mon, 8 Mar 2010 05:27:04 +0000 (21:27 -0800)]
Implement quoting to enable use of colon in directory pathnames.
Taylor R Campbell [Sun, 7 Mar 2010 21:21:50 +0000 (16:21 -0500)]
Fix typo in LENGTH=?.
Taylor R Campbell [Sun, 7 Mar 2010 21:04:01 +0000 (16:04 -0500)]
Fix some typos in recent changes to SF.
Thanks, mejja.
Chris Hanson [Sun, 7 Mar 2010 09:49:52 +0000 (01:49 -0800)]
Merge branch 'release-9.0'
Chris Hanson [Sun, 7 Mar 2010 08:43:57 +0000 (00:43 -0800)]
Describe how to build a Windows executable installer.
unknown [Sun, 7 Mar 2010 08:37:51 +0000 (00:37 -0800)]
Update for release 9.0.
Chris Hanson [Sun, 7 Mar 2010 07:30:04 +0000 (23:30 -0800)]
Fix typos.
Chris Hanson [Sun, 7 Mar 2010 07:29:53 +0000 (23:29 -0800)]
Do just one arch at a time.
Chris Hanson [Sun, 7 Mar 2010 07:11:09 +0000 (23:11 -0800)]
More changes for new distrib scheme.
Chris Hanson [Sun, 7 Mar 2010 07:09:58 +0000 (23:09 -0800)]
New script.
Chris Hanson [Sun, 7 Mar 2010 06:51:46 +0000 (22:51 -0800)]
Update for release 9.0.
Chris Hanson [Sun, 7 Mar 2010 05:38:57 +0000 (21:38 -0800)]
Updates for new binary distribution scheme.
Taylor R Campbell [Sat, 6 Mar 2010 20:32:27 +0000 (15:32 -0500)]
Fix (CHAR-SET->REGEXP (CHAR-SET <char>)).
Factor LET binding in RE-QUOTE-STRING's definition to the top level.
Perhaps CHAR-SET:RE-SPECIAL ought to be exported.
Taylor R Campbell [Sat, 6 Mar 2010 20:08:39 +0000 (15:08 -0500)]
Omit vestige of --enable-static-libs from microcode/configure.ac.
Taylor R Campbell [Sat, 6 Mar 2010 20:04:13 +0000 (15:04 -0500)]
Write FOO, not SIGFOO, with `trap' in microcode/makegen/makeinit.sh.
Joe Marshall [Wed, 3 Mar 2010 20:07:17 +0000 (12:07 -0800)]
Add code for rewriting disjunctions where the predicate is a conditional.
Joe Marshall [Wed, 3 Mar 2010 16:19:50 +0000 (08:19 -0800)]
Move disjunction linearization, propagate conditional value in alternative branch.
Joe Marshall [Wed, 3 Mar 2010 15:52:43 +0000 (07:52 -0800)]
Integrate GUARANTEE-STRING.
Joe Marshall [Wed, 3 Mar 2010 02:01:08 +0000 (18:01 -0800)]
Move conditional and disjunction folding and inversion to subst.scm
Joe Marshall [Tue, 2 Mar 2010 22:19:52 +0000 (14:19 -0800)]
Don't check untaken branches when checking for boolean expression.
Joe Marshall [Tue, 2 Mar 2010 18:43:48 +0000 (10:43 -0800)]
Slightly smarter expansion for EQ? #F.
Joe Marshall [Tue, 2 Mar 2010 18:30:44 +0000 (10:30 -0800)]
Export new bindings.
Joe Marshall [Tue, 2 Mar 2010 18:28:05 +0000 (10:28 -0800)]
Add VARIABLE/FREE-IN-EXPRESSION? Avoid collecting free variables from untaken branches.
Joe Marshall [Tue, 2 Mar 2010 18:08:48 +0000 (10:08 -0800)]
Add expression/can-duplicate?
Joe Marshall [Tue, 2 Mar 2010 17:33:55 +0000 (09:33 -0800)]
Add sf:enable-true-unspecific
Joe Marshall [Tue, 2 Mar 2010 17:16:41 +0000 (09:16 -0800)]
Add some expression helpers.
Joe Marshall [Tue, 2 Mar 2010 16:26:38 +0000 (08:26 -0800)]
Add GUARANTEE-INTEGRATION-INFO.
Joe Marshall [Tue, 2 Mar 2010 16:14:22 +0000 (08:14 -0800)]
Add PP-EXPRESSION debugging utility.
Joe Marshall [Tue, 2 Mar 2010 15:44:00 +0000 (07:44 -0800)]
Merge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme
Chris Hanson [Mon, 1 Mar 2010 22:08:41 +0000 (14:08 -0800)]
Merge branch 'release-9.0'
Joe Marshall [Mon, 1 Mar 2010 19:12:25 +0000 (11:12 -0800)]
Merge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme
Chris Hanson [Mon, 1 Mar 2010 05:20:55 +0000 (21:20 -0800)]
Fix problem with re-reading microcode tables on disk-restore.
Taylor R Campbell [Sun, 28 Feb 2010 19:43:42 +0000 (14:43 -0500)]
Add sanity checks and clarify error messages in various scripts.
Joe Marshall [Thu, 25 Feb 2010 03:00:11 +0000 (19:00 -0800)]
Elide conditional canonicalization.
Joe Marshall [Thu, 25 Feb 2010 02:46:22 +0000 (18:46 -0800)]
Elide double negatives in combinations.
Joe Marshall [Thu, 25 Feb 2010 02:22:33 +0000 (18:22 -0800)]
Use length=?
Joe Marshall [Thu, 25 Feb 2010 02:17:40 +0000 (18:17 -0800)]
Add expression/call-to-not? helper function.
Joe Marshall [Thu, 25 Feb 2010 01:53:59 +0000 (17:53 -0800)]
Add length=? procedure.
Joe Marshall [Wed, 24 Feb 2010 20:35:13 +0000 (12:35 -0800)]
Fixup ignore declarations.
Joe Marshall [Wed, 24 Feb 2010 19:51:50 +0000 (11:51 -0800)]
Fixup ignores.
Joe Marshall [Wed, 24 Feb 2010 02:11:09 +0000 (18:11 -0800)]
Fixup ignored variables.
Joe Marshall [Wed, 24 Feb 2010 02:09:24 +0000 (18:09 -0800)]
Fixup ignored variables.
Joe Marshall [Wed, 24 Feb 2010 00:32:24 +0000 (16:32 -0800)]
Fixup ignored variables.
Joe Marshall [Wed, 24 Feb 2010 00:28:19 +0000 (16:28 -0800)]
Remove moribund declarations, add IGNORABLE. Add package comment.
Joe Marshall [Tue, 23 Feb 2010 21:32:05 +0000 (13:32 -0800)]
Handle IGNORE declarations in a much more reasonable way.
Joe Marshall [Tue, 23 Feb 2010 19:49:07 +0000 (11:49 -0800)]
Fix particularly nasty (but rare) bug that makes ext file generation fail under unusual circumstances.
Joe Marshall [Tue, 23 Feb 2010 16:52:01 +0000 (08:52 -0800)]
Remove incorrect comment.
Chris Hanson [Mon, 22 Feb 2010 10:42:28 +0000 (02:42 -0800)]
Merge branch 'release-9.0'
Chris Hanson [Mon, 22 Feb 2010 10:41:49 +0000 (02:41 -0800)]
Simplify! Implement make-system-file.
Chris Hanson [Sun, 21 Feb 2010 23:13:50 +0000 (15:13 -0800)]
Fix FSF address.
Chris Hanson [Sun, 21 Feb 2010 23:10:53 +0000 (15:10 -0800)]
Update copyright dates.
Chris Hanson [Sun, 21 Feb 2010 23:10:02 +0000 (15:10 -0800)]
Rename make-dist-files -> make-native-files.
Joe Marshall [Sun, 21 Feb 2010 19:43:05 +0000 (11:43 -0800)]
Merge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme
Joe Marshall [Sun, 21 Feb 2010 19:41:09 +0000 (11:41 -0800)]
Add NULL? to constant folding operators.
Chris Hanson [Sun, 21 Feb 2010 11:30:53 +0000 (03:30 -0800)]
Rewrite dist scripts for so many reasons.
Chris Hanson [Fri, 19 Feb 2010 09:08:54 +0000 (01:08 -0800)]
Add /pc/.
Chris Hanson [Fri, 19 Feb 2010 09:08:34 +0000 (01:08 -0800)]
Add changelog.txt.
Chris Hanson [Fri, 19 Feb 2010 09:07:49 +0000 (01:07 -0800)]
Merge branch 'release-9.0'
Chris Hanson [Fri, 19 Feb 2010 09:05:05 +0000 (01:05 -0800)]
Update for release.
Chris Hanson [Fri, 19 Feb 2010 07:40:31 +0000 (23:40 -0800)]
Update copyright year.
Chris Hanson [Thu, 18 Feb 2010 06:08:37 +0000 (22:08 -0800)]
Fix problem converting negative bignums to flonums.
Chris Hanson [Thu, 18 Feb 2010 06:08:37 +0000 (22:08 -0800)]
Fix problem converting negative bignums to flonums.
Chris Hanson [Tue, 16 Feb 2010 08:33:33 +0000 (00:33 -0800)]
Merge in changes from release-9.0.
Chris Hanson [Tue, 16 Feb 2010 05:57:07 +0000 (21:57 -0800)]
Remove unused variable binding.
Chris Hanson [Tue, 16 Feb 2010 05:56:58 +0000 (21:56 -0800)]
Install Taylor's patch to fix parsing of compiled interrupt frames.
Chris Hanson [Tue, 16 Feb 2010 05:16:33 +0000 (21:16 -0800)]
Eliminate --enable-static-libs flag.
Chris Hanson [Tue, 16 Feb 2010 04:18:32 +0000 (20:18 -0800)]
Eliminate multiple liarc builds; just use one now that it works again.
Chris Hanson [Tue, 16 Feb 2010 04:16:06 +0000 (20:16 -0800)]
Rename "LOG" to "changelog.txt".
Taylor R Campbell [Tue, 16 Feb 2010 02:36:57 +0000 (21:36 -0500)]
Fix HEXADECIMAL->VECTOR-8B.
Now it passes
(do ((i 0 (+ i 1)))
((= i #x100))
(let* ((v (random-byte-vector #x100))
(h (vector-8b->hexadecimal v))
(v* (hexadecimal->vector-8b h)))
(do ((i 0 (+ i 1)))
((= i #x100))
(if (not (= (vector-8b-ref v i) (vector-8b-ref v* i)))
(error "Lose:" h)))))
Chris Hanson [Tue, 16 Feb 2010 00:09:14 +0000 (16:09 -0800)]
Don't fix constant at compile time; breaks liarc build.
Taylor R Campbell [Mon, 15 Feb 2010 23:12:30 +0000 (18:12 -0500)]
In microcode/makegen/makeinit.sh, delete Makefile.in on ^C.
This reduces the damage to the tree caused by an inopportune ^C
during Setup.sh which would otherwise require manual intervention
to clean up the mess.
Taylor R Campbell [Sun, 14 Feb 2010 18:53:28 +0000 (13:53 -0500)]
Don't link prmcrypt.so against libltdl.
Since 2.5.5 (released nearly eight years ago), libmcrypt has
statically linked all its modules by default, unless configured with
--enable-dynamic-loading. If anyone actually uses that, we ought to
use `libmcrypt-config --libs' to get the actual list of linker flags,
but just passing -lmcrypt should do for now.
Taylor R Campbell [Sun, 14 Feb 2010 05:25:17 +0000 (00:25 -0500)]
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme
Taylor R Campbell [Sun, 14 Feb 2010 05:18:17 +0000 (00:18 -0500)]
runtime/gdbm.scm has no INITIALIZE-PACKAGE!.
Joe Marshall [Sat, 13 Feb 2010 22:12:24 +0000 (14:12 -0800)]
Typo in variable name.
Taylor R Campbell [Sat, 13 Feb 2010 21:22:28 +0000 (16:22 -0500)]
Make X11 modules dynamically loadable.
Make the modules depend on `scheme' only for Mac OS X, and let that
be an option to configure, so that users can just build modules
against an already installed Scheme.
This is a step toward making every feature that currently involves a
compile-time decision instead be dynamically loadable, and compilable
separately from the microcode executable. All that is left is
termcap support.
Joe Marshall [Sat, 13 Feb 2010 21:08:53 +0000 (13:08 -0800)]
Reorganize procedures and use dispatch vector for handling combination operators.
Taylor R Campbell [Sat, 13 Feb 2010 18:16:52 +0000 (13:16 -0500)]
Fix thinko in last change to check realloc errors in tparam.c.
Taylor R Campbell [Sat, 13 Feb 2010 08:00:16 +0000 (03:00 -0500)]
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme
Taylor R Campbell [Sat, 13 Feb 2010 07:55:11 +0000 (02:55 -0500)]
Tweak tparam.c and tgoto.c.
(tparam.c): Use ANSI-style declarations. Include relevant headers.
Use memcpy rather than bcopy. Check for malloc and realloc failures.
(tterm.c): Check for tparam and tgoto failures. Handle the case
where tparam and tgoto malloc their own memory. Ensure that a Scheme
interrupt/GC in char_pointer_to_string does not leak that memory.
Taylor R Campbell [Sat, 13 Feb 2010 07:10:34 +0000 (02:10 -0500)]
Tweak microcode to build better on NetBSD.
Clarify termcap library selection.
Omit rpath hack -- users can specify ld rpath arguments explicitly
when configuring the microcode.
Joe Marshall [Fri, 12 Feb 2010 22:44:09 +0000 (14:44 -0800)]
Separate global declarations from top-level declarations.
Taylor R Campbell [Fri, 12 Feb 2010 21:06:01 +0000 (16:06 -0500)]
Add some interpreter entries' names to the i386 disassembler.
Taylor R Campbell [Fri, 12 Feb 2010 20:45:08 +0000 (15:45 -0500)]
Fix typo in i386 disassembler.
Joe Marshall [Fri, 12 Feb 2010 20:41:14 +0000 (12:41 -0800)]
Suppress integration of global operators shadowed by top-level integrations. Subtle bug here. This will workaround until I make the real fix.
Joe Marshall [Fri, 12 Feb 2010 01:48:25 +0000 (17:48 -0800)]
Convert integrate/name from CPS to direct style and fix up callers.
Joe Marshall [Thu, 11 Feb 2010 02:16:32 +0000 (18:16 -0800)]
Add expansion for EQ?