Aaron Allen
|
b6094ff6c7
|
add IP update for PatBinds
|
2021-12-08 21:35:04 -06:00 |
|
Aaron Allen
|
8747fe00c4
|
loading div
|
2021-12-08 12:31:39 -06:00 |
|
Aaron Allen
|
4043080852
|
back link
|
2021-12-05 00:50:19 -06:00 |
|
Aaron Allen
|
16f3ab339c
|
auto-scroll to first node
|
2021-12-03 16:42:46 -06:00 |
|
Aaron Allen
|
cd64d2069c
|
fix ghc 9 incompatibilities
|
2021-12-02 20:26:04 -06:00 |
|
Aaron Allen
|
a0e573bb88
|
fix srcloc of traces
|
2021-11-30 17:23:44 -06:00 |
|
Aaron Allen
|
26d873eda7
|
add src location tooltips
|
2021-11-29 23:04:04 -06:00 |
|
Aaron Allen
|
d281aa4abc
|
implement navigable html
|
2021-11-29 20:21:07 -06:00 |
|
Aaron Allen
|
93944dd9a7
|
edge href corrections
|
2021-11-28 17:03:23 -06:00 |
|
Aaron Allen
|
a4207b0325
|
add edge href
|
2021-11-28 15:11:56 -06:00 |
|
Aaron Allen
|
c31c569113
|
trace file improvements
|
2021-11-27 17:00:33 -06:00 |
|
Aaron Allen
|
4f1a927fa8
|
warn about certain optimizations
|
2021-11-26 00:08:54 -06:00 |
|
Aaron Allen
|
830bdc8665
|
escape html characters
|
2021-11-25 16:58:34 -06:00 |
|
Aaron Allen
|
d731848bdc
|
separate build targets
|
2021-11-25 15:49:18 -06:00 |
|
Aaron Allen
|
32f9f88ede
|
deterministically ordered graph
|
2021-11-22 21:14:29 -06:00 |
|
Aaron Allen
|
4a6fff5f82
|
rename
|
2021-11-21 20:16:06 -06:00 |
|
Aaron Allen
|
3d151865ea
|
use propagation
|
2021-11-21 19:54:00 -06:00 |
|
Aaron Allen
|
f934635754
|
add propagation field
|
2021-11-20 17:54:13 -06:00 |
|
Aaron Allen
|
718d4a0209
|
apply entry with $
|
2021-11-19 23:57:38 -06:00 |
|
Aaron Allen
|
03659aa435
|
allow non-empty givens in tc plugin
|
2021-11-16 22:39:13 -06:00 |
|
Aaron Allen
|
30a7bda2a5
|
annotate string literal in splice
|
2021-11-16 20:32:40 -06:00 |
|
Aaron Allen
|
9a780799c9
|
fix cabal file name
|
2021-11-16 20:24:15 -06:00 |
|
Aaron Allen
|
66e2be7c28
|
Deal with optionality of context in signature (9.2)
|
2021-11-08 21:18:35 -06:00 |
|
Aaron Allen
|
9af1efaf20
|
support 9.2.1
|
2021-11-07 19:37:25 -06:00 |
|
Aaron Allen
|
e77ff1903b
|
support 8.10
|
2021-11-03 22:27:00 -05:00 |
|
Aaron Allen
|
07bbc2ebb7
|
use bytestring in visualizer
|
2021-11-03 21:16:24 -05:00 |
|
Aaron Allen
|
b099e5dd09
|
improve graph appearance
|
2021-11-01 22:25:39 -05:00 |
|
Aaron Allen
|
2a1992c279
|
expand trace functions
|
2021-10-31 22:48:05 -05:00 |
|
Aaron Allen
|
0c6c3625bb
|
colored nodes
|
2021-10-31 15:18:44 -05:00 |
|
Aaron Allen
|
bf77bb0d5f
|
bind IP in let statements
|
2021-10-30 23:51:40 -05:00 |
|
Aaron Allen
|
98e6d331ca
|
use state monad to collect visited names
|
2021-10-27 22:22:22 -05:00 |
|
Aaron Allen
|
81fead0bb1
|
need to improve where binds
|
2021-10-25 22:33:02 -05:00 |
|
Aaron Allen
|
290f8678c8
|
add debug-all option
|
2021-10-24 22:49:28 -05:00 |
|
Aaron Allen
|
2f7ff1925b
|
type class cleanup
|
2021-10-24 20:19:59 -05:00 |
|
Aaron Allen
|
234456cccc
|
add readme
|
2021-10-23 17:38:29 -05:00 |
|
Aaron Allen
|
cc2c4847b0
|
default method impls
|
2021-10-23 17:02:32 -05:00 |
|
Aaron Allen
|
ffc3300422
|
improvements to tycl instances
|
2021-10-23 16:23:10 -05:00 |
|
Aaron Allen
|
ca2a68bbc6
|
move let binding to guards
|
2021-10-22 23:37:15 -05:00 |
|
Aaron Allen
|
d455b7416d
|
class methods
|
2021-10-22 23:26:23 -05:00 |
|
Aaron Allen
|
19992b5c1b
|
generates graphs
|
2021-10-18 22:48:04 -05:00 |
|
Aaron Allen
|
3a210f4e74
|
write to log file
|
2021-10-17 15:27:50 -05:00 |
|
Aaron Allen
|
f148f3d33f
|
starting output
|
2021-10-16 14:24:52 -05:00 |
|
Aaron Allen
|
890118c92b
|
handle where bindings nested within body
|
2021-10-15 22:06:12 -05:00 |
|
Aaron Allen
|
628429dfbc
|
where bindings working
|
2021-10-14 22:17:26 -05:00 |
|
Aaron Allen
|
09cec27372
|
wip
|
2021-10-14 21:18:29 -05:00 |
|
Aaron Allen
|
f3b405b62d
|
use syb to cover entire tree
|
2021-10-14 20:35:12 -05:00 |
|
Aaron Allen
|
ecc805cd9e
|
generate random ids
|
2021-10-10 21:53:40 -05:00 |
|
Aaron Allen
|
3291764739
|
tuple with prev key
|
2021-10-10 21:14:13 -05:00 |
|
Aaron Allen
|
75525eab37
|
user keys
|
2021-10-10 20:33:54 -05:00 |
|
Aaron Allen
|
4b280fd824
|
good progress
|
2021-10-10 18:18:55 -05:00 |
|