HCoop
/
bpt
/
guile.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
peval can inline let-bound lambdas
[bpt/guile.git]
/
module
/
language
/
tree-il
/
2013-02-14
Andy Wingo
peval can inline let-bound lambdas
tree
|
commitdiff
2013-01-28
Ian Price
Fix argument count for various format string escape...
tree
|
commitdiff
2013-01-27
Mark H Weaver
Add 'for-humans?' flag to <language> specifications.
tree
|
commitdiff
2013-01-16
Andy Wingo
peval-introduced gensyms infix " "
tree
|
commitdiff
2012-11-21
Ludovic Courtès
cse: Fix out-of-bounds access to the database.
tree
|
commitdiff
2012-10-08
Mark H Weaver
Simplify calls to 'eqv?' when one argument is an immedi...
tree
|
commitdiff
2012-10-08
Mark H Weaver
Don't simplify 'equal?' to 'not' or 'null?'.
tree
|
commitdiff
2012-10-08
Mark H Weaver
Don't simplify 'equal?' to 'eq?' when constant is an...
tree
|
commitdiff
2012-10-06
Ludovic Courtès
Simplify calls to `equal?' when one argument is a constant.
tree
|
commitdiff
2012-07-05
Andy Wingo
fix-letrec uses effects.scm for effects analysis
tree
|
commitdiff
2012-07-05
Andy Wingo
simplify one kind of degenerate prompt
tree
|
commitdiff
2012-07-05
Andy Wingo
fix bugs in effects analysis of "effect+exception-free...
tree
|
commitdiff
2012-07-05
Andy Wingo
optimize (apply foo 0 (list 1 2)) => (foo 0 1 2)
tree
|
commitdiff
2012-06-22
Andy Wingo
add char->integer, number->string etc to interesting...
tree
|
commitdiff
2012-06-22
Andy Wingo
cse: expressions evaluated for effect do not provide...
tree
|
commitdiff
2012-05-21
Andy Wingo
fix arity check for applicable structs
tree
|
commitdiff
2012-05-15
Andy Wingo
cse passes a lookup procedure to the effects analyzer
tree
|
commitdiff
2012-05-15
Andy Wingo
better effects analysis for calls to lexically bound...
tree
|
commitdiff
2012-05-15
Andy Wingo
fix-letrec tweak
tree
|
commitdiff
2012-05-15
Andy Wingo
CSE in tail position
tree
|
commitdiff
2012-05-15
Andy Wingo
stronger conditional optimization
tree
|
commitdiff
2012-05-15
Andy Wingo
optimization for chain of if expressions with common...
tree
|
commitdiff
2012-05-15
Andy Wingo
mvoe tree-il=? and tree-il-hash to tree-il.scm
tree
|
commitdiff
2012-05-12
Ludovic Courtès
Have `-Wformat' remain quiet for any procedure called...
tree
|
commitdiff
2012-05-12
Ludovic Courtès
Have `-Warity-mismatch' handle applicable structs.
tree
|
commitdiff
2012-05-12
Ludovic Courtès
Improve special-casing of `_' in `-Wformat'.
tree
|
commitdiff
2012-04-23
Andy Wingo
avoid emitting degenerate aliases in peval
tree
|
commitdiff
2012-04-23
Andy Wingo
fix replacement of CSE with lexical-ref
tree
|
commitdiff
2012-04-23
Andy Wingo
cse hashing tweak
tree
|
commitdiff
2012-04-23
Andy Wingo
more inlining in effects.scm
tree
|
commitdiff
2012-04-23
Andy Wingo
better primitives support for bit operations
tree
|
commitdiff
2012-04-23
Andy Wingo
enable cse
tree
|
commitdiff
2012-04-23
Andy Wingo
new pass: cse
tree
|
commitdiff
2012-04-23
Andy Wingo
peval uses effects analysis
tree
|
commitdiff
2012-04-23
Andy Wingo
add effects
tree
|
commitdiff
2012-04-23
Andy Wingo
add more primitives and predicates to (language tree...
tree
|
commitdiff
2012-03-23
BT Templeton
primitive resolution for public refs
tree
|
commitdiff
2012-03-02
Andy Wingo
tweaks to -Wformat's gettext detection
tree
|
commitdiff
2012-03-02
Andy Wingo
peval: inline applications of lambda to rest args
tree
|
commitdiff
2012-03-02
Andy Wingo
tree-il: fix `canonicalize!' for prompts
tree
|
commitdiff
2012-03-02
Andy Wingo
more general treatment of call-with-prompt
tree
|
commitdiff
2012-02-26
Ludovic Courtès
Avoid failure when `format-analysis' stumbles upon...
tree
|
commitdiff
2012-02-19
Ludovic Courtès
Have `-Wformat' recognize `ngettext' calls.
tree
|
commitdiff
2012-02-19
Ludovic Courtès
Have `-Wformat' better recognize the `gettext' procedure.
tree
|
commitdiff
2012-02-03
Ludovic Courtès
Augment `-Wformat' analysis with support for `~:h'.
tree
|
commitdiff
2012-01-26
Andy Wingo
more readable gensyms
tree
|
commitdiff
2012-01-25
Ludovic Courtès
Fix typo in `-Wformat'.
tree
|
commitdiff
2012-01-25
Ludovic Courtès
Add warnings for unsupported `simple-format' options.
tree
|
commitdiff
2012-01-25
Andy Wingo
add another case in which to fold (values FOO) to FOO...
tree
|
commitdiff
2012-01-25
Andy Wingo
fix values miscompilation in push context with RA
tree
|
commitdiff
2012-01-05
Ludovic Courtès
Placate a number of `syntax-check' verifications.
tree
|
commitdiff
2011-12-31
Mark H Weaver
Fix comment summarizing allocation table
tree
|
commitdiff
2011-12-22
Andy Wingo
peval fix: (cons 1 #nil) is not (list 1)
tree
|
commitdiff
2011-12-22
Andy Wingo
peval minor tweak
tree
|
commitdiff
2011-12-19
Andy Wingo
fix peval to preserve effects when folding (values...
tree
|
commitdiff
2011-12-06
Ludovic Courtès
peval: Truncate multiple values when extending the...
tree
|
commitdiff
2011-11-09
Andy Wingo
when leaving a non-tail let, allow bound vals to be...
tree
|
commitdiff
2011-11-09
Andy Wingo
simplify primitives.scm for dynwind
tree
|
commitdiff
2011-11-09
Andy Wingo
peval: fix dynwind bug.
tree
|
commitdiff
2011-11-09
Andy Wingo
peval: don't copy assigned lexical bindings
tree
|
commitdiff
2011-10-20
Andy Wingo
fix misallocation of some <fix> procedures
tree
|
commitdiff
2011-10-10
Andy Wingo
fold constants with accessors
tree
|
commitdiff
2011-10-10
Andy Wingo
recognize string primitives
tree
|
commitdiff
2011-10-10
Andy Wingo
peval support for memq and memv
tree
|
commitdiff
2011-10-10
Andy Wingo
add accessor-primitive?, peval uses it
tree
|
commitdiff
2011-10-10
Andy Wingo
peval: visit operands on-demand, to inline mutually...
tree
|
commitdiff
2011-10-10
Andy Wingo
peval: add operand structure
tree
|
commitdiff
2011-10-10
Andy Wingo
peval: refactor logging
tree
|
commitdiff
2011-10-07
Andy Wingo
peval: logging
tree
|
commitdiff
2011-10-07
Andy Wingo
peval: bugfix in constant-expression?
tree
|
commitdiff
2011-10-07
Andy Wingo
optimizer verifies its output
tree
|
commitdiff
2011-10-07
Andy Wingo
add tree-il verifier
tree
|
commitdiff
2011-10-06
Andy Wingo
peval refactor
tree
|
commitdiff
2011-10-06
Andy Wingo
comment peval.scm
tree
|
commitdiff
2011-09-30
Ludovic Courtès
peval: Recognize module-refs to primitives.
tree
|
commitdiff
2011-09-28
Andy Wingo
separate peval and a new canonicalization pass into...
tree
|
commitdiff
2011-09-27
Andy Wingo
((lambda ...) ...) fix
tree
|
commitdiff
2011-09-27
Andy Wingo
peval: more effective binding pruning
tree
|
commitdiff
2011-09-27
Andy Wingo
don't propagate pure primcalls that might not type...
tree
|
commitdiff
2011-09-27
Andy Wingo
peval works on all expressions
tree
|
commitdiff
2011-09-27
Andy Wingo
peval: elide make-prompt-tag in effect context
tree
|
commitdiff
2011-09-27
Andy Wingo
peval: add support for <prompt> and <abort>
tree
|
commitdiff
2011-09-27
Andy Wingo
peval: fix algorithmic behavior of `cons'
tree
|
commitdiff
2011-09-26
Andy Wingo
peval: more strict accounting
tree
|
commitdiff
2011-09-26
Andy Wingo
peval: fix inlining of lambda* with #:optional
tree
|
commitdiff
2011-09-26
Andy Wingo
remove unused peval helpers
tree
|
commitdiff
2011-09-25
Andy Wingo
peval: simpler and more precise treatment of mutability
tree
|
commitdiff
2011-09-25
Andy Wingo
peval: add a bunch of missing maybe-unconst calls
tree
|
commitdiff
2011-09-25
Andy Wingo
peval uses effort counters, propagates lambdas more...
tree
|
commitdiff
2011-09-24
Andy Wingo
prune unused letrec bindings
tree
|
commitdiff
2011-09-24
Andy Wingo
more peval refactoring
tree
|
commitdiff
2011-09-24
Andy Wingo
add helpers for effort counters
tree
|
commitdiff
2011-09-24
Andy Wingo
peval refactor
tree
|
commitdiff
2011-09-24
Andy Wingo
attempt to prune unreferenced bindings
tree
|
commitdiff
2011-09-24
Andy Wingo
peval handles lexical-set
tree
|
commitdiff
2011-09-24
Andy Wingo
peval: pre-analyze mutated or reffed-once lexicals
tree
|
commitdiff
2011-09-24
Andy Wingo
peval: don't propagate expressions that access memory
tree
|
commitdiff
2011-09-24
Andy Wingo
context-specific folding for peval in test and effect...
tree
|
commitdiff
2011-09-24
Andy Wingo
thread a context through peval
tree
|
commitdiff
2011-09-24
Andy Wingo
peval: various bugfixes
tree
|
commitdiff
next