mit-scheme.git
14 years agoExport new control variables.
Joe Marshall [Fri, 26 Mar 2010 23:02:42 +0000 (16:02 -0700)]
Export new control variables.

14 years agoInitialize new control variables.
Joe Marshall [Fri, 26 Mar 2010 22:59:52 +0000 (15:59 -0700)]
Initialize new control variables.

14 years agoAdd new parser control variables.
Joe Marshall [Fri, 26 Mar 2010 22:54:24 +0000 (15:54 -0700)]
Add new parser control variables.

14 years agoSort parser control variables.
Joe Marshall [Fri, 26 Mar 2010 22:51:15 +0000 (15:51 -0700)]
Sort parser control variables.

14 years agoDelete *keyword-style*.
Joe Marshall [Fri, 26 Mar 2010 16:41:53 +0000 (09:41 -0700)]
Delete *keyword-style*.

14 years agoDon't export *keyword-style*.
Joe Marshall [Fri, 26 Mar 2010 16:40:17 +0000 (09:40 -0700)]
Don't export *keyword-style*.

14 years agoBugfix and use *parser-keyword-style*.
Joe Marshall [Fri, 26 Mar 2010 16:39:15 +0000 (09:39 -0700)]
Bugfix and use *parser-keyword-style*.

14 years agoUse *parser-keyword-style*.
Joe Marshall [Fri, 26 Mar 2010 16:28:04 +0000 (09:28 -0700)]
Use *parser-keyword-style*.

14 years agoAdd *parser-keyword-style*.
Joe Marshall [Fri, 26 Mar 2010 16:19:29 +0000 (09:19 -0700)]
Add *parser-keyword-style*.

14 years agoAdd stub file-attributes-line parser and hook into scheme parser.
Joe Marshall [Wed, 24 Mar 2010 23:48:44 +0000 (16:48 -0700)]
Add stub file-attributes-line parser and hook into scheme parser.

14 years agoTrack the line count when reading.
Joe Marshall [Wed, 24 Mar 2010 16:27:16 +0000 (09:27 -0700)]
Track the line count when reading.

14 years agoNew input port operation 'INPUT-LINE.
Joe Marshall [Wed, 24 Mar 2010 16:14:10 +0000 (09:14 -0700)]
New input port operation 'INPUT-LINE.

14 years agoChange %d to %ld for pointer diffs without C99.
Chris Hanson [Mon, 22 Mar 2010 21:40:36 +0000 (14:40 -0700)]
Change %d to %ld for pointer diffs without C99.

14 years agoUse %td only if C99 is supported.
Chris Hanson [Mon, 22 Mar 2010 07:14:05 +0000 (00:14 -0700)]
Use %td only if C99 is supported.

14 years agoDetect whether C99 is supported.
Chris Hanson [Mon, 22 Mar 2010 07:13:41 +0000 (00:13 -0700)]
Detect whether C99 is supported.

14 years agoPruned too much from src/microcode/option.c.
Matt Birkholz [Mon, 22 Mar 2010 02:38:41 +0000 (19:38 -0700)]
Pruned too much from src/microcode/option.c.

* src/microcode/option.c (add_to_library_path, quote_string)
(strlen_after_quoting, must_quote_char_p): Restored inside #ifdef
__APPLE__.

14 years agoUse %td, not %d, to format ptrdiff_t values with printf.
Taylor R Campbell [Sun, 21 Mar 2010 19:29:07 +0000 (15:29 -0400)]
Use %td, not %d, to format ptrdiff_t values with printf.

14 years agoFix recent change to xwindow extra structures.
Taylor R Campbell [Sun, 21 Mar 2010 19:27:22 +0000 (15:27 -0400)]
Fix recent change to xwindow extra structures.

14 years agoFix unary predicate assembly hooks for flonums on x86-64.
Taylor R Campbell [Sun, 21 Mar 2010 16:35:19 +0000 (12:35 -0400)]
Fix unary predicate assembly hooks for flonums on x86-64.

14 years agoHandle non-character input events in READ-EXTENSION-KEY.
Taylor R Campbell [Sun, 21 Mar 2010 16:09:45 +0000 (12:09 -0400)]
Handle non-character input events in READ-EXTENSION-KEY.

14 years agoGot the (incomplete) svm1 back end complete enough to generate LAP.
Matt Birkholz [Sat, 20 Mar 2010 20:45:04 +0000 (13:45 -0700)]
Got the (incomplete) svm1 back end complete enough to generate LAP.

* src/Makefile.in (all-svm): New target, analogous to all-liarc.

* src/compiler/configure: Added make.bin to LINKS, so a purely
interpreted compiler can be loaded.

* src/compiler/machines/svm/assembler-compiler.scm
(write-copyright+license):  Punted.

(rt-defn-decoder-constructor): Removed leftover references to
coding-type, which became an implicit rt-coding-type parameter.

* src/compiler/machines/svm/assembler-runtime.scm
(init-assembler-instructions!): New skeleton.  Error actions.

(make-symbol-table): Renamed "make-typed-symbol-table", to keep it
distinct from back/symtab.scm's "symbol-table", which is used by the
assembler top-level (back/bittop.scm, back/bitutl.scm).

(Assembler Machine Dependencies): New.  Just the required (per CREF
analysis) bindings, pilfered from i386/assmd.scm.

(Instructions, Memory addressing, Traps, Machine registers): Removed
to machine.scm.

(Register references): Removed to lapgen.scm, except
word-register-reference? and float-register-reference?.  Then had to
copy register-reference?, and import register-reference AND
reference->register.

(Symbolic addresses): Commented out for now.

* src/compiler/machines/svm/compile-assembler.scm: Punt loading
write-mit-scheme-copyright from ../../../runtime/version, and the
commented out LAP macrology.

* src/compiler/machines/svm/compiler.pkg (compiler lap-syntaxer):
Include CREF, for decls.scm.  Moved assembler-runtime.scm,
assembler-db.scm, and svm1-opcodes.scm to (compiler assembler).

(compiler assembler): Added back/symtab.scm to complete the
machine-independent assembler top-level.  Import from (compiler
lap-syntaxer) some of the register-reference procedures that just
moved to lapgen.scm.  Import add-instruction!.

* src/compiler/machines/svm/compiler.sf: Load option SF.  This file is
intended to run in a band withOUT an existing (compiler) package.

* src/compiler/machines/svm/decls.scm (init-packages): No longer used.

(setup-source-nodes! env): Typo.

* src/compiler/machines/svm/disassembler.scm: For now a no-op.
Deleted the code copied verbatim from i386/dassm1.scm.

* src/compiler/machines/svm/lapgen.scm (available-machine-registers):
New.

(Register references): New from assembler-runtime.
(register-reference): Fixed to include the
un-available-machine-registers.

(rref:word-0, etc.): New.

(make-internal-procedure-label): Fixed to use new
encode-internal-procedure-offset.
(encode-internal-procedure-offset): New.  Copied from
encode-continuation-offset.

(invert-condition): Make conditions a proper alist.

(interpreter-call-argument?, interpreter-call-temporary)
(rtl:simple-offset?, simple-offset->ea!): New from i386, like
interpreter-call-argument->machine-register!, BUT uses
prefix-instructions!, if necessary, and a temporary which, with Good
Luck, will use the same alias as the argument.

(parse-memory-address): Fixed to avoid thinking (un-thunking?) #f.

* src/compiler/machines/svm/lapopt.scm (optimize-linear-lap): Now a
no-op.  Deleted the code copied verbatim from i386/lapopt, i.e. all of
it.

* src/compiler/machines/svm/machine.scm (Architecture Parameters):
Needed endianness, scheme-datum-width, and some *-fixnum/*-limit
bindings.

(Instructions, Memory addressing, Traps, Machine registers): New from
assembler-runtime.scm.  This makes the regnum:*, inst:*, trap:* and
ea:* bindings available to (compiler lap-syntaxer) AND (compiler
lap-optimizer), assuming the latter eventually wants to generate some
LAP, as in other back-ends.

(interpreter-register:environment, etc.): New from i386.

(define-machine-register): Closing the syntactic environment around
e.g., interpreter-value-register, causes it to be renamed.  Generate
defines with bare symbols for binding names.

(interpreter-regs-pointer?, interpreter-regs-pointer): New.  No-ops.

(rtl:machine-register?): Map ALL registers, including dynamic-link,
environment, and all of the interpreter-call-result: registers.

(Closure format): Added a closure-entry-size binding, as in other
architectures, a reflection of CLOSURE_ENTRY_SIZE in
microcode/cmpintmd/svm1.h.

* src/compiler/machines/svm/make.scm: New.  Cribbed from i386.

* src/compiler/machines/svm/rgspcm.scm: Typo.

* src/compiler/machines/svm/rules.scm: Fixed some typos, e.g. source
vs. target, trap:[compiler-]lexpr-apply, etc.  Added a few rules for
CONSTANTs and CONS-POINTERs.  Expect just an effective address from
parse-memory-address.

(interrupt-check): Punted, along with shared closure interrupt code.
simple-procedure-header only needs to generate an interrupt-test-*
instruction.

(generate/cons-closure, generate/cons-multi-closure): Replaced the old
i386 code.

(generate/closure-header): Replaced the old i386 code.  Use
simple-procedure-header.

(generate/make-magic-closure-constant, make-closure-longword)
(make-closure-code-longword): Punted.  Compiled closure entries do not
even have a format word!

(CONS-MULTICLOSURE, generate/quotation-header, generate/remote-link)
(generate/remote-links): Replaced the old i386 code.

(generate/constants-block): Finished skeletal code.

(INTERPRETER-CALL:): Provide interpreter-call-temporary argument to
the trap:* instructions.

(integer-power-of-2?): Added, for FIXNUM-2-ARGS.

* src/configure.ac (ALL_TARGET): Set to "all-svm".

* src/etc/compile-svm.sh: New.

* src/microcode/cmpintmd/svm1.c, svm1.h: Extern read_u16, for
svm1-interp.

* src/microcode/option.c (add_to_library_path, quote_string)
(strlen_after_quoting, must_quote_char_p): Removed.  No longer in use.

* src/microcode/svm1-interp.c (enter_closure): Use CLOSURE_COUNT_SIZE,
CLOSURE_ENTRY_SIZE, skip_compiled_closure_padding and read_u16.  This
makes enter_closure look like the other closure handling procedures in
cmpintmd/svm1.c.

14 years agoAvoid 122 warnings from gcc4.4: dereferencing type-punned pointer will break strict...
Matt Birkholz [Thu, 18 Mar 2010 19:47:30 +0000 (12:47 -0700)]
Avoid 122 warnings from gcc4.4: dereferencing type-punned pointer will break strict-aliasing rules

14 years agoBetter handling of keywords so escaping works correctly.
Joe Marshall [Wed, 17 Mar 2010 09:45:31 +0000 (02:45 -0700)]
Better handling of keywords so escaping works correctly.

14 years agoReduce flag options to 'PREFIX, 'SUFFIX, or #F
Joe Marshall [Wed, 17 Mar 2010 09:42:43 +0000 (02:42 -0700)]
Reduce flag options to 'PREFIX, 'SUFFIX, or #F

14 years agoRemove trailing whitespace.
Chris Hanson [Wed, 17 Mar 2010 07:40:24 +0000 (00:40 -0700)]
Remove trailing whitespace.

14 years agoFix over-long lines; remove trailing whitespace.
Chris Hanson [Wed, 17 Mar 2010 07:24:51 +0000 (00:24 -0700)]
Fix over-long lines; remove trailing whitespace.

14 years agoExport guarantee-*-lambda-list.
Chris Hanson [Wed, 17 Mar 2010 06:50:31 +0000 (23:50 -0700)]
Export guarantee-*-lambda-list.

14 years agoParse keywords based on value of *keyword-style*.
Joe Marshall [Mon, 15 Mar 2010 21:29:28 +0000 (14:29 -0700)]
Parse keywords based on value of *keyword-style*.

14 years agoImplement keyword objects.
Joe Marshall [Mon, 15 Mar 2010 20:15:01 +0000 (13:15 -0700)]
Implement keyword objects.

14 years agoAdd support for quoting keyword-like symbols.
Joe Marshall [Mon, 15 Mar 2010 19:26:46 +0000 (12:26 -0700)]
Add support for quoting keyword-like symbols.

14 years agoAvoid constructing sequence-3 objects.
Joe Marshall [Mon, 15 Mar 2010 02:18:15 +0000 (19:18 -0700)]
Avoid constructing sequence-3 objects.

14 years agoConstruct open-blocks from sequence-2.
Joe Marshall [Mon, 15 Mar 2010 02:11:27 +0000 (19:11 -0700)]
Construct open-blocks from sequence-2.

14 years agoRecognize open-blocks even if they appear in a sequence-2.
Joe Marshall [Mon, 15 Mar 2010 02:04:47 +0000 (19:04 -0700)]
Recognize open-blocks even if they appear in a sequence-2.

14 years agoDon't track invocation count on variables.
Joe Marshall [Sun, 14 Mar 2010 22:45:36 +0000 (15:45 -0700)]
Don't track invocation count on variables.

14 years agoInsert integrate-operator declarations when reasonable.
Joe Marshall [Sun, 14 Mar 2010 22:37:05 +0000 (15:37 -0700)]
Insert integrate-operator declarations when reasonable.

14 years agoExport expression/free-variable-info and expression/size.
Joe Marshall [Sun, 14 Mar 2010 22:34:52 +0000 (15:34 -0700)]
Export expression/free-variable-info and expression/size.

14 years agoAdd expression/free-variable-info and expression/size.
Joe Marshall [Sun, 14 Mar 2010 22:34:08 +0000 (15:34 -0700)]
Add expression/free-variable-info and expression/size.

14 years agoFixup sequences, simplify some code, rewrite conditionals whose predicates are sequences.
Joe Marshall [Sat, 13 Mar 2010 23:47:17 +0000 (15:47 -0800)]
Fixup sequences, simplify some code, rewrite conditionals whose predicates are sequences.

14 years agoTidy up and simplify conditional/disjunction optimization.
Joe Marshall [Sat, 13 Mar 2010 19:44:09 +0000 (11:44 -0800)]
Tidy up and simplify conditional/disjunction optimization.

14 years agoAdd sf:enable-safe-integration?
Joe Marshall [Sat, 13 Mar 2010 00:42:23 +0000 (16:42 -0800)]
Add sf:enable-safe-integration?

14 years agoTidy up.
Joe Marshall [Sat, 13 Mar 2010 00:16:24 +0000 (16:16 -0800)]
Tidy up.

14 years agoAdd a declaration.
Joe Marshall [Fri, 12 Mar 2010 23:44:17 +0000 (15:44 -0800)]
Add a declaration.

14 years agoAdd expressions/equal?
Joe Marshall [Fri, 12 Mar 2010 01:52:24 +0000 (17:52 -0800)]
Add expressions/equal?

14 years agoExport sf:maximum-duplicate-expression-size and sf:enable-true-unspecific? to global.
Joe Marshall [Wed, 10 Mar 2010 22:01:15 +0000 (14:01 -0800)]
Export sf:maximum-duplicate-expression-size and sf:enable-true-unspecific? to global.

14 years agoRemove some debugging noise.
Joe Marshall [Wed, 10 Mar 2010 21:35:53 +0000 (13:35 -0800)]
Remove some debugging noise.

14 years agoMerge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme
Joe Marshall [Wed, 10 Mar 2010 21:20:14 +0000 (13:20 -0800)]
Merge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme

14 years agoFix typos in open-block analyzers.
Joe Marshall [Wed, 10 Mar 2010 21:19:20 +0000 (13:19 -0800)]
Fix typos in open-block analyzers.

14 years agoMerge branch 'release-9.0'
Chris Hanson [Wed, 10 Mar 2010 05:46:04 +0000 (21:46 -0800)]
Merge branch 'release-9.0'

14 years agoAdjust for new location of "all.com" file. origin/release-9.0
Chris Hanson [Wed, 10 Mar 2010 05:45:54 +0000 (21:45 -0800)]
Adjust for new location of "all.com" file.

14 years agoMerge branch 'release-9.0'
Chris Hanson [Wed, 10 Mar 2010 05:40:58 +0000 (21:40 -0800)]
Merge branch 'release-9.0'

14 years agoChange script to work properly with distributed binary tars.
Chris Hanson [Wed, 10 Mar 2010 05:40:41 +0000 (21:40 -0800)]
Change script to work properly with distributed binary tars.

14 years agoClean out lib/lib dir.
Chris Hanson [Wed, 10 Mar 2010 05:36:24 +0000 (21:36 -0800)]
Clean out lib/lib dir.

14 years agoMake sure band is saved in correct location.
Chris Hanson [Wed, 10 Mar 2010 05:27:53 +0000 (21:27 -0800)]
Make sure band is saved in correct location.

14 years agoMerge with release-9.0 branch.
Chris Hanson [Wed, 10 Mar 2010 05:16:06 +0000 (21:16 -0800)]
Merge with release-9.0 branch.

14 years agoBump version number.
Chris Hanson [Wed, 10 Mar 2010 05:14:24 +0000 (21:14 -0800)]
Bump version number.

14 years agoUpdate for release 9.0.
unknown [Sun, 7 Mar 2010 08:37:51 +0000 (00:37 -0800)]
Update for release 9.0.

14 years agoMerge branch 'release-9.0'
Chris Hanson [Wed, 10 Mar 2010 04:53:45 +0000 (20:53 -0800)]
Merge branch 'release-9.0'

14 years agoUpdate ref manual for release.
Chris Hanson [Wed, 10 Mar 2010 02:28:15 +0000 (18:28 -0800)]
Update ref manual for release.

14 years agoImplement quoting to enable use of colon in directory pathnames.
Chris Hanson [Mon, 8 Mar 2010 05:27:04 +0000 (21:27 -0800)]
Implement quoting to enable use of colon in directory pathnames.

14 years agoBump version number to 9.0.1.
Chris Hanson [Wed, 10 Mar 2010 01:29:09 +0000 (17:29 -0800)]
Bump version number to 9.0.1.

14 years agoDisable --enable-host-scheme-test by default.
Chris Hanson [Wed, 10 Mar 2010 01:28:52 +0000 (17:28 -0800)]
Disable --enable-host-scheme-test by default.

14 years agoExpander for NOT.
Joe Marshall [Tue, 9 Mar 2010 21:38:57 +0000 (13:38 -0800)]
Expander for NOT.

14 years agoAdd sf:enable-rewrite-nested-conditionals?
Joe Marshall [Mon, 8 Mar 2010 22:35:08 +0000 (14:35 -0800)]
Add sf:enable-rewrite-nested-conditionals?

14 years agoAdd sf:rewrite-disjunction-in-conditional.
Joe Marshall [Mon, 8 Mar 2010 21:56:26 +0000 (13:56 -0800)]
Add sf:rewrite-disjunction-in-conditional.

14 years agoFixup disjunction integration.
Joe Marshall [Mon, 8 Mar 2010 21:42:00 +0000 (13:42 -0800)]
Fixup disjunction integration.

14 years agoFixup conditional and disjunction construction.
Joe Marshall [Mon, 8 Mar 2010 21:09:21 +0000 (13:09 -0800)]
Fixup conditional and disjunction construction.

14 years agoTurn off sf:enable-true-unspecific?
Joe Marshall [Mon, 8 Mar 2010 21:09:02 +0000 (13:09 -0800)]
Turn off sf:enable-true-unspecific?

14 years agoMove EXPRESSION/UNSPECIFIC?, add EXPRESSION/PURE-TRUE? and EXPRESSION/PURE-FALSE?
Joe Marshall [Mon, 8 Mar 2010 20:46:02 +0000 (12:46 -0800)]
Move EXPRESSION/UNSPECIFIC?, add EXPRESSION/PURE-TRUE? and EXPRESSION/PURE-FALSE?

14 years agoMove several routines from object.scm to analyze.scm and rewrite using dispatch-vecto...
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.

14 years agoRename VARIABLE/FREE-IN-EXPRESSION? to EXPRESSION/FREE-VARIABLE?
Joe Marshall [Mon, 8 Mar 2010 20:03:48 +0000 (12:03 -0800)]
Rename VARIABLE/FREE-IN-EXPRESSION? to EXPRESSION/FREE-VARIABLE?

14 years agoChange FREE/EXPRESSION to EXPRESSION/FREE-VARIABLES.
Joe Marshall [Mon, 8 Mar 2010 19:47:14 +0000 (11:47 -0800)]
Change FREE/EXPRESSION to EXPRESSION/FREE-VARIABLES.

14 years agoChange file for package (scode-optimizer free)
Joe Marshall [Mon, 8 Mar 2010 19:31:23 +0000 (11:31 -0800)]
Change file for package (scode-optimizer free)

14 years agoRename free.scm to analyze.scm before adding more stuff.
Joe Marshall [Mon, 8 Mar 2010 19:29:48 +0000 (11:29 -0800)]
Rename free.scm to analyze.scm before adding more stuff.

14 years agoImplement quoting to enable use of colon in directory pathnames.
Chris Hanson [Mon, 8 Mar 2010 05:27:04 +0000 (21:27 -0800)]
Implement quoting to enable use of colon in directory pathnames.

14 years agoFix typo in LENGTH=?.
Taylor R Campbell [Sun, 7 Mar 2010 21:21:50 +0000 (16:21 -0500)]
Fix typo in LENGTH=?.

14 years agoFix some typos in recent changes to SF.
Taylor R Campbell [Sun, 7 Mar 2010 21:04:01 +0000 (16:04 -0500)]
Fix some typos in recent changes to SF.

Thanks, mejja.

14 years agoMerge branch 'release-9.0'
Chris Hanson [Sun, 7 Mar 2010 09:49:52 +0000 (01:49 -0800)]
Merge branch 'release-9.0'

14 years agoDescribe how to build a Windows executable installer.
Chris Hanson [Sun, 7 Mar 2010 08:43:57 +0000 (00:43 -0800)]
Describe how to build a Windows executable installer.

14 years agoUpdate for release 9.0.
unknown [Sun, 7 Mar 2010 08:37:51 +0000 (00:37 -0800)]
Update for release 9.0.

14 years agoFix typos.
Chris Hanson [Sun, 7 Mar 2010 07:30:04 +0000 (23:30 -0800)]
Fix typos.

14 years agoDo just one arch at a time.
Chris Hanson [Sun, 7 Mar 2010 07:29:53 +0000 (23:29 -0800)]
Do just one arch at a time.

14 years agoMore changes for new distrib scheme.
Chris Hanson [Sun, 7 Mar 2010 07:11:09 +0000 (23:11 -0800)]
More changes for new distrib scheme.

14 years agoNew script.
Chris Hanson [Sun, 7 Mar 2010 07:09:58 +0000 (23:09 -0800)]
New script.

14 years agoUpdate for release 9.0.
Chris Hanson [Sun, 7 Mar 2010 06:51:46 +0000 (22:51 -0800)]
Update for release 9.0.

14 years agoUpdates for new binary distribution scheme.
Chris Hanson [Sun, 7 Mar 2010 05:38:57 +0000 (21:38 -0800)]
Updates for new binary distribution scheme.

14 years agoFix (CHAR-SET->REGEXP (CHAR-SET <char>)).
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.

14 years agoOmit vestige of --enable-static-libs from microcode/configure.ac.
Taylor R Campbell [Sat, 6 Mar 2010 20:08:39 +0000 (15:08 -0500)]
Omit vestige of --enable-static-libs from microcode/configure.ac.

14 years agoWrite FOO, not SIGFOO, with `trap' in microcode/makegen/makeinit.sh.
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.

14 years agoAdd code for rewriting disjunctions where the predicate is a conditional.
Joe Marshall [Wed, 3 Mar 2010 20:07:17 +0000 (12:07 -0800)]
Add code for rewriting disjunctions where the predicate is a conditional.

14 years agoMove disjunction linearization, propagate conditional value in alternative branch.
Joe Marshall [Wed, 3 Mar 2010 16:19:50 +0000 (08:19 -0800)]
Move disjunction linearization, propagate conditional value in alternative branch.

14 years agoIntegrate GUARANTEE-STRING.
Joe Marshall [Wed, 3 Mar 2010 15:52:43 +0000 (07:52 -0800)]
Integrate GUARANTEE-STRING.

14 years agoMove conditional and disjunction folding and inversion to subst.scm
Joe Marshall [Wed, 3 Mar 2010 02:01:08 +0000 (18:01 -0800)]
Move conditional and disjunction folding and inversion to subst.scm

14 years agoDon't check untaken branches when checking for boolean expression.
Joe Marshall [Tue, 2 Mar 2010 22:19:52 +0000 (14:19 -0800)]
Don't check untaken branches when checking for boolean expression.

14 years agoSlightly smarter expansion for EQ? #F.
Joe Marshall [Tue, 2 Mar 2010 18:43:48 +0000 (10:43 -0800)]
Slightly smarter expansion for EQ? #F.

14 years agoExport new bindings.
Joe Marshall [Tue, 2 Mar 2010 18:30:44 +0000 (10:30 -0800)]
Export new bindings.

14 years agoAdd VARIABLE/FREE-IN-EXPRESSION? Avoid collecting free variables from untaken branches.
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.

14 years agoAdd expression/can-duplicate?
Joe Marshall [Tue, 2 Mar 2010 18:08:48 +0000 (10:08 -0800)]
Add expression/can-duplicate?

14 years agoAdd sf:enable-true-unspecific
Joe Marshall [Tue, 2 Mar 2010 17:33:55 +0000 (09:33 -0800)]
Add sf:enable-true-unspecific

14 years agoAdd some expression helpers.
Joe Marshall [Tue, 2 Mar 2010 17:16:41 +0000 (09:16 -0800)]
Add some expression helpers.

14 years agoAdd GUARANTEE-INTEGRATION-INFO.
Joe Marshall [Tue, 2 Mar 2010 16:26:38 +0000 (08:26 -0800)]
Add GUARANTEE-INTEGRATION-INFO.