suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
10,282 Commits 17 Branches 54 Tags 278 MiB
10297fa579
Commit Graph

35 Commits

Author SHA1 Message Date
Ryan Culpepper
10297fa579 macro stepper: added "factor common context" option 
svn: r13143
 2009-01-15 07:30:08 +00:00
Ryan Culpepper
b91874f41c macro stepper: more iop 
svn: r13134
 2009-01-15 00:10:09 +00:00
Ryan Culpepper
2aeb50134d macro stepper: converted more classes to use iop 
svn: r13108
 2009-01-14 06:04:57 +00:00
Ryan Culpepper
3b8c164074 macro stepper: changed syntax browser classes to use iop 
-- This line, and those below, will be ignored--

M    macro-debugger/syntax-browser/properties.ss
M    macro-debugger/syntax-browser/display.ss
M    macro-debugger/syntax-browser/widget.ss
M    macro-debugger/syntax-browser/controller.ss
M    macro-debugger/syntax-browser/interfaces.ss
M    macro-debugger/syntax-browser/frame.ss
M    macro-debugger/util/class-iop.ss

svn: r13092
 2009-01-13 20:36:16 +00:00
Ryan Culpepper
3d3bcfe2f7 macro stepper: cleaned up column-width detection/resizing 
svn: r13082
 2009-01-13 00:43:47 +00:00
Ryan Culpepper
f6575759ba macro stepper: fixed pretty-printing width 
svn: r13032
 2009-01-08 01:02:38 +00:00
Ryan Culpepper
6fdba44edc macro debugger: 
underline definite binders
  add rename/shift mapping so module final term retains binding info

svn: r12843
 2008-12-14 07:56:37 +00:00
Ryan Culpepper
12216b15aa macro debugger: reorg, minor bug fixes 
svn: r12825
 2008-12-13 07:49:52 +00:00
Ryan Culpepper
2648a3b03f macro stepper: simplified prefs/params, fixed menu bugs 
svn: r12681
 2008-12-02 19:54:36 +00:00
Matthew Flatt
5165d9e855 sync Ryan's macro-debugger changes 
svn: r9166
 2008-04-04 17:38:23 +00:00
Eli Barzilay
b1a08edd5a use new require specs in many places 
svn: r8774
 2008-02-23 09:42:03 +00:00
Ryan Culpepper
13a3c31ad5 changed macro-debugger to use v4 syntax (mostly) 
svn: r8544
 2008-02-05 21:56:49 +00:00
Ryan Culpepper
1608a90ab0 Macro stepper: show error message for interrupted expansion 
svn: r7891
 2007-12-03 13:43:31 +00:00
Ryan Culpepper
c68035079f Macro stepper: better error handling 
svn: r7890
 2007-12-03 13:38:20 +00:00
Ryan Culpepper
60fe499e4e merged changes from branches/ryanc/ms-v4 
svn: r7741
 2007-11-15 18:37:40 +00:00
Ryan Culpepper
2be282a0be Macro Stepper: merged new ui from branches/ryanc/ms-new-ui 
svn: r7215
 2007-08-29 20:42:01 +00:00
Ryan Culpepper
ebb27d0d0f Macro stepper: tackable arrows 
svn: r5930
 2007-04-13 16:56:32 +00:00
Ryan Culpepper
c340b21110 Macro stepper: added basic expansion-frontier tracking and display 
svn: r5715
 2007-03-01 23:45:55 +00:00
Ryan Culpepper
75a0a02355 Macro stepper: started tracking definite uses, added definite arrows 
svn: r5700
 2007-02-27 22:42:07 +00:00
Ryan Culpepper
469e6f65cc Macro stepper: changed apparent binding arrow color to match syncheck 
svn: r5679
 2007-02-23 22:02:40 +00:00
Ryan Culpepper
3652cbee39 Macro stepper: fixed bugs re: binding arrows 
svn: r5676
 2007-02-23 11:45:00 +00:00
Ryan Culpepper
9aa54a095c Macro Stepper: added "apparent binding" arrows based on macro expansion 
svn: r5675
 2007-02-23 11:06:38 +00:00
Ryan Culpepper
cf3da5cf7d Macro stepper: show/hide props reflows syntax display 
svn: r5451
 2007-01-25 05:11:05 +00:00
Ryan Culpepper
201d34d3c7 Ported macro-debugger collection to new unit system 
svn: r5123
 2006-12-14 23:29:57 +00:00
Ryan Culpepper
056683743d Merged changes to macro-debugger from /branches/ryanc/md5 4899:5119 
updated to change in expansion of lexical variables
  many UI updates and tweaks
  improved syntax properties panel
  added expand-only and expand/hide
  added rudimentary textual stepper
  fixed PR 8395 by adding snipclass for hrule-snip
  fixed PR 8431: reductions and block splicing
  fixed PR 8433: handling unquote and macro hiding w/ errors in hidden terms

svn: r5120
 2006-12-14 21:25:21 +00:00
Ryan Culpepper
bdc179ebfd Removed old dead code 
svn: r4515
 2006-10-07 22:32:25 +00:00
Ryan Culpepper
39145f9c71 Fixed eol properties 
Reorganized macro stepper gui
Added macro stepper actions to popup menu

svn: r4505
 2006-10-06 04:48:14 +00:00
Ryan Culpepper
2954ed5844 Reorganized syntax-browser 
svn: r4500
 2006-10-06 02:26:04 +00:00
Ryan Culpepper
bc02b021b9 Fixed location bug with popup menu 
Improved syntax snips

svn: r4492
 2006-10-05 06:08:49 +00:00
Ryan Culpepper
00b0dc8f10 Added context popup menu to syntax browser & macro stepper 
Made identifier=? menus use checkable items

svn: r4461
 2006-10-01 22:38:19 +00:00
Ryan Culpepper
57f3a709d1 Added simple context menu to syntax-browser 
svn: r4459
 2006-10-01 19:11:35 +00:00
Ryan Culpepper
ba5c8d5b07 Font size changes; prefs setting overrides default 
svn: r4308
 2006-09-11 13:47:27 +00:00
Ryan Culpepper
407339e935 Fixed width calculation 
svn: r4301
 2006-09-11 01:02:19 +00:00
Ryan Culpepper
61798f478e Macro debugger changes merged from /branches/ryanc/md2 4050:4176 
Fixed macro hiding on applications
  Stepper font depends on framework settings
  Fixed hiding policies and gui wrt lexical vs global bindings
  Macro hiding removes renaming steps
  Better handling of nonlinear subterms & local actions
  Automatic pretty-print resizing
  Handled local-bind action (partial?)
  Enabled module language
  Disabled struct contracts for faster compilation
  Fixed syntax-browser on boxes, 3d syntax; normalized print params
  Fixed PR 8246: syntax-browser mishandled non-ascii characters

svn: r4178
 2006-08-28 22:58:52 +00:00
Ryan Culpepper
d91e2b4502 Added the macro stepper 
svn: r3987
 2006-08-08 20:32:58 +00:00