0
I Use This!
Inactive

Commits : Listings

Analyzed about 7 hours ago. based on code collected about 13 hours ago.
Mar 28, 2023 — Mar 28, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Export exn:msg predicates and accessors.
Doug Orleans
as dougorleans
More... over 19 years ago
Renamed test.ss to peval-test.ss.
Doug Orleans
as dougorleans
More... over 19 years ago
Export dp-all-previous.
Doug Orleans
as dougorleans
More... over 19 years ago
Revised and rearranged Law of Demeter checker code.
Doug Orleans
as dougorleans
More... over 19 years ago
Allow improper list of variables in make-after ... returning.
Doug Orleans
as dougorleans
More... over 19 years ago
Removed redundant case from formals-vars.
Doug Orleans
as dougorleans
More... over 19 years ago
Don't bother converting constants to #t; pval-true? works anyway.
Doug Orleans
as dougorleans
More... over 19 years ago
Removed with-vars.
Doug Orleans
as dougorleans
More... over 19 years ago
and -> and/bind
Doug Orleans
as dougorleans
More... over 19 years ago
Export and/bind instead of replacing the primitive and.
Doug Orleans
as dougorleans
More... over 19 years ago
Renamed object-sugar.ss to init-sugar.ss.
Doug Orleans
as dougorleans
More... over 19 years ago
Moved object primitives and initialization protocol into object.ss.
Doug Orleans
as dougorleans
More... over 19 years ago
Initial revision.
Doug Orleans
as dougorleans
More... over 19 years ago
Added "returning <vars>" syntax for make-after and define-after.
Doug Orleans
as dougorleans
More... over 19 years ago
Fixed precedence bug (most-recently-defined-first for around branches).
Doug Orleans
as dougorleans
More... over 19 years ago
Record free vars in side-effect-only expressions too.
Doug Orleans
as dougorleans
More... over 19 years ago
Accept all primitive expression syntax, not just side-effect-free.
Doug Orleans
as dougorleans
More... over 19 years ago
Don't assume predicates don't include #f. Generalize eq? handling in disjointness test (use substitution). Don't convert (if X #t Y) into (and X Y) in unexpand-datum.
Doug Orleans
as dougorleans
More... over 19 years ago
add-disjoint-set! takes a list instead of a set. Fixed implication and disjointness declarations for = < > <= >=.
Doug Orleans
as dougorleans
More... over 19 years ago
Added SRFI 13 (string library).
Doug Orleans
as dougorleans
More... over 19 years ago
Removed dp-values, since it usually can't be used in a predicate anyway.
Doug Orleans
as dougorleans
More... over 19 years ago
Don't compile test.ss.
Doug Orleans
as dougorleans
More... over 19 years ago
Turn off tracing for release-4.
Doug Orleans
as dougorleans
More... over 19 years ago
Require peval.ss for pred-implies? and set-pproc!.
Doug Orleans
as dougorleans
More... over 19 years ago
Added filter-sugar.ss for composition filter syntactic sugar.
Doug Orleans
as dougorleans
More... over 19 years ago
Provide set-pproc!.
Doug Orleans
as dougorleans
More... over 19 years ago
Added proc-prim, proc-env-vars, proc-env-value.
Doug Orleans
as dougorleans
More... over 19 years ago
Renamed declare-implies to declare-prim-implies. Added a new declare-implies for predicate abstractions.
Doug Orleans
as dougorleans
More... over 19 years ago
Ignore active closures in pval-op.
Doug Orleans
as dougorleans
More... over 19 years ago
Fixed partial def of dp?.
Doug Orleans
as dougorleans
More... over 19 years ago