index
:
guile.git
branch_release-1-4
branch_release-1-6
branch_release-1-8
cky-hygienic-macros
compile-to-js-merge
excise-ltdl
historical/wip-1-8-mingw-build
lightening
lightning
lloda-array-cleanup
lloda-array-support
lloda-squash0
lloda-squash1
lua
main
mingw-guile-3.0
nan-boxing
r7rs-wip
stable-2.0
stable-2.2
stable-2.2-wip-exception-truncate
ttn-back-in-the-saddle
use-minigmp
wip-3.2
wip-bpt-elisp
wip-compiler
wip-cuirass-ci
wip-cygwin-guile-2.2
wip-elisp
wip-elisp-rebased
wip-ethreads
wip-exception-truncate
wip-exceptions
wip-finalizers
wip-gnulib-update
wip-inlinable-exports
wip-itimer-checks
wip-lightening-riscv
wip-lloda
wip-load-lang
wip-mingw
wip-mingw-2025
wip-mingw-guile-2.2
wip-modernize-autotools
wip-new-tagging
wip-new-tagging-bis-broken
wip-nj-locks-nc
wip-nj-thread-safety
wip-r7rs
wip-raeburn-misc
wip-replace-ltdl-with-gmodule
wip-retagging
wip-sassy
wip-stime
wip-streams
wip-tailify
wip-threaded-http-server
wip-threads-and-fork
wip-tree-il-sourcev
wip-vector-cleanup
wip-whippet
GNU Guile
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
module
/
language
/
tree-il
/
optimize.scm
Age
Commit message (
Expand
)
Author
Files
Lines
2011-10-07
optimizer verifies its output
Andy Wingo
1
-2
/
+4
2011-09-28
separate peval and a new canonicalization pass into their own modules
Andy Wingo
1
-962
/
+2
2011-09-28
((lambda ...) ...) fix
Andy Wingo
1
-2
/
+5
2011-09-28
peval: more effective binding pruning
Andy Wingo
1
-29
/
+37
2011-09-28
don't propagate pure primcalls that might not type-check
Andy Wingo
1
-1
/
+16
2011-09-28
peval works on all expressions
Andy Wingo
1
-499
/
+462
2011-09-28
peval: elide make-prompt-tag in effect context
Andy Wingo
1
-3
/
+7
2011-09-28
peval: add support for <prompt> and <abort>
Andy Wingo
1
-2
/
+65
2011-09-28
peval: fix algorithmic behavior of `cons'
Andy Wingo
1
-11
/
+12
2011-09-27
peval: more strict accounting
Andy Wingo
1
-30
/
+61
2011-09-26
peval: fix inlining of lambda* with #:optional
Andy Wingo
1
-8
/
+2
2011-09-26
remove unused peval helpers
Andy Wingo
1
-11
/
+0
2011-09-25
peval: simpler and more precise treatment of mutability
Andy Wingo
1
-70
/
+89
2011-09-25
peval: add a bunch of missing maybe-unconst calls
Andy Wingo
1
-9
/
+10
2011-09-25
peval uses effort counters, propagates lambdas more effectively
Andy Wingo
1
-160
/
+207
2011-09-24
prune unused letrec bindings
Andy Wingo
1
-1
/
+12
2011-09-24
more peval refactoring
Andy Wingo
1
-7
/
+17
2011-09-24
add helpers for effort counters
Andy Wingo
1
-0
/
+55
2011-09-24
peval refactor
Andy Wingo
1
-46
/
+48
2011-09-24
attempt to prune unreferenced bindings
Andy Wingo
1
-26
/
+62
2011-09-24
peval handles lexical-set
Andy Wingo
1
-15
/
+34
2011-09-24
peval: pre-analyze mutated or reffed-once lexicals
Andy Wingo
1
-0
/
+45
2011-09-24
peval: don't propagate expressions that access memory
Andy Wingo
1
-9
/
+6
2011-09-24
context-specific folding for peval in test and effect contexts
Andy Wingo
1
-20
/
+54
2011-09-24
thread a context through peval
Andy Wingo
1
-49
/
+62
2011-09-24
peval: various bugfixes
Andy Wingo
1
-18
/
+21
2011-09-24
tree-il-any bugfix
Andy Wingo
1
-1
/
+3
2011-09-24
minor peval style tweak
Andy Wingo
1
-1
/
+1
2011-09-24
fix alpha-rename for kwargs
Andy Wingo
1
-2
/
+12
2011-09-23
peval: Rectify style.
Ludovic Courtès
1
-7
/
+7
2011-09-21
peval comment & reindentation
Andy Wingo
1
-3
/
+9
2011-09-21
fix comment regarding alpha-renaming
Andy Wingo
1
-4
/
+3
2011-09-21
better pure-expression?
Andy Wingo
1
-0
/
+5
2011-09-21
more alpha-rename robustness
Andy Wingo
1
-0
/
+27
2011-09-21
more robust alpha-renaming
Andy Wingo
1
-3
/
+11
2011-09-21
peval: inlining of let-values
Andy Wingo
1
-0
/
+95
2011-09-21
peval support for more forms
Andy Wingo
1
-0
/
+29
2011-09-21
more optimize.scm factoring
Andy Wingo
1
-4
/
+11
2011-09-21
optimize.scm refactor
Andy Wingo
1
-24
/
+30
2011-09-18
peval: Abort inlining when the residual code contains recursive calls.
Ludovic Courtès
1
-8
/
+43
2011-09-17
peval: Typo.
Ludovic Courtès
1
-1
/
+1
2011-09-17
peval: Alpha-rename anonymous lambdas that are duplicated.
Ludovic Courtès
1
-0
/
+71
2011-09-13
peval: Use `resolve-primitives!'.
Ludovic Courtès
1
-13
/
+11
2011-09-13
peval: Clarify `pure-expression?'.
Ludovic Courtès
1
-2
/
+3
2011-09-13
peval: Inline thunks.
Ludovic Courtès
1
-1
/
+1
2011-09-13
peval: Use the right scope when replacing a lambda by a lexical-ref.
Ludovic Courtès
1
-15
/
+24
2011-09-13
peval: Add tests for inlining with both static & dynamic arguments.
Ludovic Courtès
1
-3
/
+4
2011-09-11
peval: Propagate only pure expressions to lambdas.
Ludovic Courtès
1
-6
/
+8
2011-09-11
peval: Try hard to preserve mutability.
Ludovic Courtès
1
-18
/
+70
2011-09-09
Add a partial evaluator for use in the compiler.
Ludovic Courtès
1
-5
/
+244
[next]