Commit Graph

  • ea99c9bfe4 Extract types and functions that do not use Language.Haskell.Exts into TranslateCore. Robbie Gleichman 2016-02-26 22:58:49 -0800
  • 8817c7712b Dont' tuple and untuple when there is only one pattern. Robbie Gleichman 2016-02-26 15:58:50 -0800
  • b2a9427e57 Give edges in patterns a special color. Robbie Gleichman 2016-02-25 18:37:04 -0800
  • ce31dfa29a Case and guard icon changes. Robbie Gleichman 2016-02-25 17:10:12 -0800
  • f33908ffdf Remove spurious apply icon for unary patterns. Robbie Gleichman 2016-02-24 15:10:06 -0800
  • 9e146a8cfb Convert matches to case. Robbie Gleichman 2016-02-24 14:46:49 -0800
  • ec0a5c0843 Tuples Robbie Gleichman 2016-02-23 23:14:00 -0800
  • c4d0832ad0 Case translation. Robbie Gleichman 2016-02-23 20:47:08 -0800
  • 29384a1e6c Comma Robbie Gleichman 2016-02-22 22:03:21 -0800
  • 7fee403b80 Refactor evalLambda to share code with evalMatch. Robbie Gleichman 2016-02-22 22:01:03 -0800
  • eed23189f2 New evalMatch handles complex patterns. Robbie Gleichman 2016-02-22 16:13:53 -0800
  • 52e34df6b4 Fix app/Translate.hs so FunBind works. Robbie Gleichman 2016-02-22 15:45:53 -0800
  • dddb45ebb9 Complex patterns work for pattern bind. Robbie Gleichman 2016-02-22 13:26:47 -0800
  • 8762a6a584 EvalPattern returns a GraphAndRef in preperation for complex patterns. Robbie Gleichman 2016-02-21 20:26:12 -0800
  • 133bb74e0a Where bindings work. Robbie Gleichman 2016-02-21 19:34:33 -0800
  • ef9ad167cd Let expressions work. Robbie Gleichman 2016-02-21 15:15:16 -0800
  • 3846945e28 Add edges for recursive usage of pattern binds. Robbie Gleichman 2016-02-21 00:57:08 -0800
  • b164ce54f0 Cycles in references now ignored instead of causing an infinite loop. Robbie Gleichman 2016-02-21 00:38:06 -0800
  • d31eb5e880 Let: Edges inside the binds. Robbie Gleichman 2016-02-20 23:34:48 -0800
  • 6142910b5b Let: Edges for rhs graph. Robbie Gleichman 2016-02-20 23:07:46 -0800
  • 0fdba23963 Let progress. Robbie Gleichman 2016-02-20 22:35:13 -0800
  • 009635478a Move code that draws bindings to the outermost function. Robbie Gleichman 2016-02-20 21:26:25 -0800
  • 725c3fa7e8 Add extra field to IconGraph for bindings. Robbie Gleichman 2016-02-20 20:15:40 -0800
  • 0a378b190c Change from Either String (IconGraph, NameAndPort) to (IconGraph, Either String NameAndPort) Robbie Gleichman 2016-02-20 19:22:09 -0800
  • af447244e6 Starting on let. Robbie Gleichman 2016-02-20 18:47:56 -0800
  • 0ef4083503 Added more literals. Robbie Gleichman 2016-02-19 13:46:14 -0800
  • 780609896a Add Guard translation. Robbie Gleichman 2016-02-18 22:51:16 -0800
  • d226de5a72 Infix operator function application. Robbie Gleichman 2016-02-18 22:07:38 -0800
  • 694f73650a Evaluate Int literals. Robbie Gleichman 2016-02-18 20:34:08 -0800
  • 99109bb57e Refactor evalApp Robbie Gleichman 2016-02-18 15:03:31 -0800
  • c69fbbfaef Add If expressions. Robbie Gleichman 2016-02-17 23:14:14 -0800
  • 2af0dce236 Unique name in evalPatBind. Robbie Gleichman 2016-02-17 21:18:12 -0800
  • 3dc5b18fa4 Unique names for evalMatch. Robbie Gleichman 2016-02-17 20:59:43 -0800
  • a12eb44eb3 Refactor evalMatch and evalLambda. Robbie Gleichman 2016-02-17 18:51:03 -0800
  • a62d2dde3d Fix no edges for boundVars inside lambdas inside lambdas. Robbie Gleichman 2016-02-17 17:31:11 -0800
  • cf7e47e1e5 Initial evalLambda implementation. Robbie Gleichman 2016-02-17 15:36:57 -0800
  • 8006a97721 Fix arrow border width. Robbie Gleichman 2016-02-10 00:46:44 -0800
  • 43c918300e Fix diagram naming and qualification. Remove Apply0Icon. Robbie Gleichman 2016-02-09 23:50:38 -0800
  • 7ff9aed036 Translate identity function. Robbie Gleichman 2016-02-09 22:29:07 -0800
  • d213bf4215 Translate now uses Apply0N Robbie Gleichman 2016-02-09 18:58:28 -0800
  • e374c7ab4e remove unnecassary line Robbie Gleichman 2016-02-08 22:02:53 -0800
  • 30a0ab87d2 Fix recursive functions. Robbie Gleichman 2016-02-08 21:54:23 -0800
  • d08c9733ad Rudimentry function translation. Robbie Gleichman 2016-02-07 18:01:57 -0800
  • 6f6bca90a0 Handle parentheses. Test multiple declarations. Robbie Gleichman 2016-02-05 22:39:05 -0800
  • 6cda91bbb1 Use State monad for unique ids. Robbie Gleichman 2016-02-05 21:07:06 -0800
  • 009f7b0b30 Add NameAndPort data type. Translate works with simple functions. Robbie Gleichman 2016-02-04 21:53:21 -0800
  • d3b38bb491 Upgrade to LTS-5.0, start on using haskell-src-exts to generate drawings from text. Robbie Gleichman 2016-02-04 00:19:08 -0800
  • 3a34c26cdc Changes suggested by -Wall Robbie Gleichman 2016-01-26 15:29:02 -0800
  • e8c0910fb2 Better point unwrapping. Robbie Gleichman 2016-01-26 13:24:10 -0800
  • b04b21b29d Cleanup and add comments. Robbie Gleichman 2016-01-23 14:47:02 -0800
  • 5e34428b50 Remove the backend as an import for all files except Main.hs. Add type signitures. Robbie Gleichman 2016-01-22 19:42:15 -0800
  • 041032dc94 Add Util.hs Robbie Gleichman 2016-01-22 18:29:46 -0800
  • fc59d7c82a Merge branch 'master' of github.com:rgleichman/glance Robbie Gleichman 2016-01-22 18:29:05 -0800
  • cc058bb321 Move toNames and Edge constructors to Util.hs. Robbie Gleichman 2016-01-22 18:28:55 -0800
  • 4439a9820c Update status image commit Robbie Gleichman 2016-01-22 18:10:31 -0800
  • 77761e9611 Add argument dots to Apply0N. Add a fact2 example that uses the apply argument to distrubute the factorial function argument. Robbie Gleichman 2016-01-22 18:08:53 -0800
  • 3c105a7a89 Fix arrow heads and tails. Robbie Gleichman 2016-01-22 17:06:42 -0800
  • f90b39ea6a Update status image commit Robbie Gleichman 2016-01-22 01:40:02 -0800
  • b68a9c88d1 clean up main. Make arrows slightly smaller. Robbie Gleichman 2016-01-22 01:38:28 -0800
  • e2e541a5dc Add color schemes Robbie Gleichman 2016-01-21 13:35:34 -0800
  • 83780b8e0c Update image in readme Robbie Gleichman 2016-01-20 22:50:59 -0800
  • 26b88fd14c fix factorial image Robbie Gleichman 2016-01-20 22:42:57 -0800
  • 225c8179b1 Add port bottom of guard. Improve guard icon. Robbie Gleichman 2016-01-20 22:39:51 -0800
  • 3fb6890d68 Add images to readme Robbie Gleichman 2016-01-20 21:55:44 -0800
  • da759de89a Add example images. Robbie Gleichman 2016-01-20 21:37:38 -0800
  • 0d77eaf47a Change EndAp1Arg arrow style. Robbie Gleichman 2016-01-20 20:00:53 -0800
  • 90cbfbc1f1 Use arrow heads and tails for factorial. Robbie Gleichman 2016-01-20 19:37:03 -0800
  • 9cf6722241 Add support for arrow heads and tails. Robbie Gleichman 2016-01-20 18:24:42 -0800
  • d5e0b6bf63 Add Apply0N, extract types to Types.hs, add end options to Edge type. Robbie Gleichman 2016-01-20 16:48:30 -0800
  • e311a9b38f Tell GraphViz to use round nodes. Robbie Gleichman 2016-01-19 15:52:56 -0800
  • 0985291c80 Flip diagrams when that results in shorter line distances. Robbie Gleichman 2016-01-19 03:08:53 -0800
  • 97c84d27e5 Rotate diagrams to minimize total line distance. Robbie Gleichman 2016-01-18 23:51:14 -0800
  • 4de1e369b1 Guards, branch, simple factorial example. Robbie Gleichman 2016-01-13 15:08:08 -0800
  • 41df0fd9eb Add diagram for guard icon. Robbie Gleichman 2016-01-13 13:50:06 -0800
  • 954e7c5829 Give graphviz the width and height of the nodes. Robbie Gleichman 2016-01-13 00:48:35 -0800
  • a8d801e690 Create README with build/run instructions. Robbie Gleichman 2016-01-11 22:46:01 -0800
  • 636a2ee5b0 Clean up and test recursive drawings. Robbie Gleichman 2016-01-09 19:17:22 -0800
  • 2ac3ee04a7 clean up Robbie Gleichman 2016-01-08 21:52:41 -0800
  • 120dc18b88 Moved functions from Main to Rendering Robbie Gleichman 2016-01-08 19:54:07 -0800
  • f0fdb5829a Recursive layout for lambdas. Robbie Gleichman 2016-01-08 17:53:12 -0800
  • ca1caa96b2 Clean up graphviz stuff. Robbie Gleichman 2016-01-08 02:15:37 -0800
  • 0f3c0cf2de Upgrade to lts-4.0. Test using diagrams-graphviz for layout. Robbie Gleichman 2016-01-07 17:03:04 -0800
  • 1eb21633a1 Make lambdaRegion line color white. Robbie Gleichman 2016-01-05 16:37:14 -0800
  • 13325deb6a Add result icon Robbie Gleichman 2016-01-05 16:28:42 -0800
  • 65e4a49d05 Add lambda icons and lambda regions. Robbie Gleichman 2016-01-05 16:22:29 -0800
  • 0baabe8573 Make lines thicker. Robbie Gleichman 2016-01-04 23:41:05 -0800
  • 3d28682606 Add textBox and connections Robbie Gleichman 2016-01-04 23:26:30 -0800
  • 95aebaccdc Initial commit Robbie Gleichman 2016-01-04 17:18:42 -0800