| Made context a core primitive entity. |
|
More...
|
over 18 years ago
|
| [ 1202612 ] run LOD checker on domino puzzle GUI [ 1202613 ] LOD checker is not a convincing application [ 1233846 ] pagination issues [ 1233844 ] add a table of contents [ 1202623 ] motivate the case studies [ 1202595 ] screen shot of domino puzzle GUI |
|
More...
|
over 18 years ago
|
| Avoid SRFI-13 name clashes. |
|
More...
|
over 18 years ago
|
| Added SRFI 43 (vector library) to mzlib-plus-srfi.ss. Renamed vector-index method in matrix.ss to compute-vector-index to avoid clashing. |
|
More...
|
almost 19 years ago
|
| Something's broken with pretty-print-print-line, turn it off for now. |
|
More...
|
almost 19 years ago
|
| Changed my mind: elements of associated list values are considered associated values too, since this is just a one-to-many association. Minor optimization: don't record non-objects as associated values since they are never decision values anyway. Use `every' from SRFI-1 instead of `andmap'. Not like this will ever be portable, but still. |
|
More...
|
about 19 years ago
|
| Regard the elements of a list argument as associated values. Don't regard the elements of an associated value list as associated values. |
|
More...
|
about 19 years ago
|
| Compute free variables before removing side-effect-only expressions, for the Law of Demeter checker. |
|
More...
|
about 19 years ago
|
| follow-next-branch in predicates is now handled correctly. |
|
More...
|
about 19 years ago
|
| Memoize partial closures, to avoid exponential blowup in partial values that contain closures. This is kind of a stop-gap, because I think there are still some other sources of unnecessary exponential blowup. This is also kind of a hack because it relies on partial environments being implemented as lists. |
|
More...
|
about 19 years ago
|
| Moved the partial procedure for call-with-parameterization from send.ss to peval.ss. Don't clobber the true and false assumptions when using a parameterization. |
|
More...
|
about 19 years ago
|
| Make proc-expr return the name of the procedure if it's not a proc/src. |
|
More...
|
about 19 years ago
|
| Residualize make-context* even if the argument is constant. |
|
More...
|
about 19 years ago
|
| Don't call the default partial procedure for values->list, because it will try to call it if the arguments are constant. Instead, just return false, which means to residualize. |
|
More...
|
about 19 years ago
|
| Memoize branch-precedes?. |
|
More...
|
about 19 years ago
|
| Evaluate the predicates when && and || are called, not every time the result predicate is run. |
|
More...
|
about 19 years ago
|
| Moved the definition of report-lod-violation before its use in the main before method. |
|
More...
|
about 19 years ago
|
| Remove side effects before computing free variables. |
|
More...
|
about 19 years ago
|
| Copy syntax certificates. |
|
More...
|
about 19 years ago
|
| Moved orig-code-inspector from free-vars.ss to syntax-utils.ss so it can be shared by other syntax-processing modules. |
|
More...
|
about 19 years ago
|
| make-context doesn't need to use lambda/src. |
|
More...
|
about 19 years ago
|
| Added partial procedures for follow-next-branch, current-dp, dp-within, dp-previous, and call-with-parameterization. Fixed dispatch-proc to set next-branch-follower, current-branch, and current-dp parameters during partial evaluation. |
|
More...
|
about 19 years ago
|
| Changed ! to be a proc with source. |
|
More...
|
about 19 years ago
|
| Moved *constructors* from pval.ss to prim-implication.ss and made it a set. Added prim-constructor? and declare-constructor. Made prim-tautology? use prim-constructor?. |
|
More...
|
about 19 years ago
|
| Optimize follow-next-branch to not use append-contexts if there are no bindings. Added partial procedures for make-context* and append-contexts. |
|
More...
|
about 19 years ago
|
| Added partial procedure for append. Changed some applications of papply to prim-apply. |
|
More...
|
about 19 years ago
|
| Added a values test case that doesn't work. |
|
More...
|
about 19 years ago
|
| Use require-for-template instead of syntax/cx+loc, which is (arguably) unhygienic. |
|
More...
|
about 19 years ago
|
| Added a special case to the partial procedure for apply to simplify an application of values to the result of values->list. This should instead be in a partial procedure for values, but partial procedures don't yet accept improper lists. |
|
More...
|
about 19 years ago
|
| Added note about singleton-list?. |
|
More...
|
about 19 years ago
|
