| 2010-04-30 |
 Norman Ramsey | ALWAYS warn of incomplete pattern matches.
|
commit | commitdiff | tree |
| 2010-04-30 |
Norman Ramsey | change where Unique is exported (for saner Haddock...
|
commit | commitdiff | tree |
| 2010-04-30 |
Norman Ramsey | comments
|
commit | commitdiff | tree |
| 2010-04-30 |
Norman Ramsey | Added some technology by which clients could create...
|
commit | commitdiff | tree |
| 2010-04-30 |
Norman Ramsey | Merge branch 'three-eight' of linux.cs.tufts.edu:/r...
|
commit | commitdiff | tree |
| 2010-04-30 |
Norman Ramsey | the Great Monad Generalization. An extra type parameter...
|
commit | commitdiff | tree |
| 2010-04-29 |
Norman Ramsey | tried to fix Haddock errors; gave up as hopeless.
|
commit | commitdiff | tree |
| 2010-04-29 |
Norman Ramsey | Merge branch 'three-eight' of linux.cs.tufts.edu:/r...
|
commit | commitdiff | tree |
| 2010-04-29 |
Norman Ramsey | Fold code for the forward case, nested.
|
commit | commitdiff | tree |
| 2010-04-29 |
Norman Ramsey | added Haddock documentation
|
commit | commitdiff | tree |
| 2010-04-29 |
Norman Ramsey | hid block constructors
|
commit | commitdiff | tree |
| 2010-04-29 |
Norman Ramsey | added mkfile in src/Compiler
|
commit | commitdiff | tree |
| 2010-04-29 |
Norman Ramsey | renamed { DataflowNest -> Dataflow, Dataflow -> OldDataflow }
|
commit | commitdiff | tree |
| 2010-04-29 |
Norman Ramsey | refactored backward data flow. No testing.
|
commit | commitdiff | tree |
| 2010-04-29 |
Norman Ramsey | Refactored the entry plumbing again. Results consistent...
|
commit | commitdiff | tree |
| 2010-04-28 |
Norman Ramsey | ignore
|
commit | commitdiff | tree |
| 2010-04-28 |
Norman Ramsey | Refactored story about entry points to use more static...
|
commit | commitdiff | tree |
| 2010-04-28 |
Norman Ramsey | Type variable for facts should be called 'f' not 'a'.
|
commit | commitdiff | tree |
| 2010-04-28 |
Norman Ramsey | Added commutative diagram.
|
commit | commitdiff | tree |
| 2010-04-28 |
Norman Ramsey | added results of dominator analysis.
|
commit | commitdiff | tree |
| 2010-04-28 |
Norman Ramsey | Added a somewhat misnamed four-page introduction to...
|
commit | commitdiff | tree |
| 2010-04-27 |
Norman Ramsey | Added MaybeC type (although it is not yet used anywhere)
|
commit | commitdiff | tree |
| 2010-04-27 |
Norman Ramsey | Switched to DataflowNest; reordered Haddock docs (nothing...
|
commit | commitdiff | tree |
| 2010-04-27 |
Norman Ramsey | Refactoring forward analyses to eliminate type synonyms...
|
commit | commitdiff | tree |
| 2010-04-27 |
Norman Ramsey | Added dataflow module DataflowNest with nested functions...
|
commit | commitdiff | tree |
| 2010-04-26 |
Norman Ramsey | Merge branch 'three-eight' of linux.cs.tufts.edu:/r...
|
commit | commitdiff | tree |
| 2010-04-26 |
Norman Ramsey | added notes on an evening's hacking
|
commit | commitdiff | tree |
| 2010-04-24 |
Norman Ramsey | Generalized the types of 'ar[fb]Cat', and simplified...
|
commit | commitdiff | tree |
| 2010-04-24 |
Norman Ramsey | Introduced type synonyms ARFX, ARFX', ARBX, ARBX';...
|
commit | commitdiff | tree |
| 2010-04-24 |
Norman Ramsey | Dataflow analysis using fold style instead of concatMap...
|
commit | commitdiff | tree |
| 2010-04-23 |
Norman Ramsey | First cut at generic liveness analysis (does not build).
|
commit | commitdiff | tree |
| 2010-04-23 |
Norman Ramsey | Added utility functions 'distributedFactBwd' and 'successorF...
|
commit | commitdiff | tree |
| 2010-04-23 |
Norman Ramsey | Use 'WithTop' synonym where appropriate in Pointed.hs
|
commit | commitdiff | tree |
| 2010-04-23 |
Norman Ramsey | tidied combinators
|
commit | commitdiff | tree |
| 2010-04-23 |
Norman Ramsey | experimenting with terser Dataflow and Combinators
|
commit | commitdiff | tree |
| 2010-04-23 |
Norman Ramsey | pull out and expose fold function over blocks
|
commit | commitdiff | tree |
| 2010-04-23 |
Norman Ramsey | Used some liberal type synonyms to make type signatures...
|
commit | commitdiff | tree |
| 2010-04-23 |
Norman Ramsey | brought in node-folding function from master branch
|
commit | commitdiff | tree |
| 2010-04-23 |
Norman Ramsey | Merge branch 'master' into three-eight
|
commit | commitdiff | tree |
| 2010-04-23 |
Norman Ramsey | added 'check' target for mkfiles in subdirectories
|
commit | commitdiff | tree |
| 2010-04-23 |
Norman Ramsey | Added function to fold over nodes in graph.
|
commit | commitdiff | tree |
| 2010-04-23 |
Norman Ramsey | notes on 3.8.x.x
|
commit | commitdiff | tree |
| 2010-04-23 |
Norman Ramsey | Merge branch 'with-passes' into three-eight
|
commit | commitdiff | tree |
| 2010-04-23 |
Norman Ramsey | Merge branch 'master' into three-eight (lost 'joinInFacts')
|
commit | commitdiff | tree |
| 2010-04-23 |
Norman Ramsey | adjust to new world of Top, Bot, Pointed; use WithBot...
|
commit | commitdiff | tree |
| 2010-04-23 |
Norman Ramsey | Merge branch 'with-passes' of /home/nr/papers/simon...
|
commit | commitdiff | tree |
| 2010-04-23 |
Norman Ramsey | Merge branch 'master' of /home/nr/papers/simon/dfopt...
|
commit | commitdiff | tree |
| 2010-04-23 |
Norman Ramsey | Overload graph constructors; add Haddock doco; sweep...
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | Merge branch 'master' of labrador:/home/nr/papers/simon...
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | Add3ed Eq and Ord declarations for (Pointed t b a)...
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | Hoopl 3.7.13.0: Pointed replaces WithTop and WithBok...
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | added note about why logging field should stay in lattice
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | Merge branch 'with-passes' of /home/nr/papers/simon...
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | fix haddock error
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | Merge commit 'local-master/master' into with-passes
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | added note about graph construction (to be merged into...
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | Keep a snapshot of the original Zipper.hs
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | added documentation and info to the change log
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | Added utility functions for concatenating graphs and...
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | more Haddock documentation for Pointed
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | wrote thoughts on loop-based analyses
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | Merge branch 'master' of /home/nr/papers/simon/dfopt...
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | Eliminate some compiler warnings about unused variables.
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | Merge branch 'master' of /home/nr/papers/simon/dfopt...
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | added new names for LabelMap functions
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | Use the new 'Pointed' type for dominator analysis.
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | Merge branch 'master' of /home/nr/papers/simon/dfopt...
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | expose Top; add utility functions for making transfer...
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | Merge branch 'master' of /home/nr/papers/simon/dfopt...
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | Merge branch 'with-passes' of labrador:/home/nr/papers...
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | fiddling with dominator
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | Merge branch 'master' of linux.cs.tufts.edu:/r/c--...
|
commit | commitdiff | tree |
| 2010-04-22 |
Norman Ramsey | Added Pointed module.
|
commit | commitdiff | tree |
| 2010-04-21 |
Norman Ramsey | added functor instnaces for pointed lattices
|
commit | commitdiff | tree |
| 2010-04-21 |
Norman Ramsey | Merge commit 'local-master/master' into with-passes
|
commit | commitdiff | tree |
| 2010-04-21 |
Norman Ramsey | New utility functions for traversing graphs and creating...
|
commit | commitdiff | tree |
| 2010-04-21 |
Norman Ramsey | added note about higher-rank types (to start of paper...
|
commit | commitdiff | tree |
| 2010-04-21 |
Norman Ramsey | Merge branch 'master' of linux:/r/ghc/www/hoopl/hoopl...
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | Merge branch 'master' of /home/nr/papers/simon/dfopt...
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | bumped hoopl version to add zipper stuff
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | fixed horrible bug in getting facts from BodyCat (thanks...
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | fixed imports and exports to avoid warnings
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | Added ZipDataflowNoRg.hs, which does not use a distinct...
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | made MaybeO an instance of Functor
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | Added function that can change the block (or node)...
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | changed names to 'thing1' and 'thing1'
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | added ZipDataflow, which compiles
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | drop unused variables from GraphUtil
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | graph splicing is now polymorphic in block rep and...
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | Depressing note about ordering blocks for backward...
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | fix botched 'backwardBlockList' (and give it a sane...
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | Merge branch 'master' of /home/nr/papers/simon/dfopt...
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | eliminate unused names
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | Merge branch 'master' of /home/nr/papers/simon/dfopt...
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | forward and backward block lists now use reverse postorder DFS
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | Added utilities to support postorder & preorder depth...
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | Added 'instance Edges n => Edges (ZBlock n)'
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | LabelSet is now a newtype
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | generalize bodyList and bodyMap to be agnostic about...
|
commit | commitdiff | tree |
| 2010-04-17 |
Norman Ramsey | Resolve conflict by exporting both Zipper and Passes...
|
commit | commitdiff | tree |
| next |
git.haskell.org / packages / hoopl.git / search
Norman Ramsey