Patrick Thomson
7f81565efa
broken overwriteFloats, not sure what's up
2018-09-19 12:38:10 -04:00
Patrick Thomson
0cc5fc5e19
port addKVPair
2018-09-19 12:06:09 -04:00
Patrick Thomson
9a1f6e9835
bump api
2018-09-19 11:58:44 -04:00
Patrick Thomson
62560cf462
fix increaseNumbers
2018-09-19 11:56:06 -04:00
Patrick Thomson
649dd2132f
renameKey works well now
2018-09-19 11:56:06 -04:00
Patrick Thomson
a36af2e785
Remove Hungarian-style T- prefix from tokens and scopes.
...
Prefixes on data constructors are generally an antipattern in Haskell:
if you're concerned about name collisions, have clients use qualified
imports for whatever modules they need. As such, this removes the T-
prefixes from the `Token` and `Context` types. This also renames
Context to Scope, which is a more exact and readable name.
2018-09-19 11:54:12 -04:00
Patrick Thomson
2998c8f8cc
last few changes
2018-09-19 11:03:59 -04:00
Patrick Thomson
b563774ac2
Merge remote-tracking branch 'origin/master' into term-rewriting-mk2
2018-09-18 17:46:28 -04:00
Patrick Thomson
79c29a7006
Address Tim's suggestions: things are looking way nicer.
2018-09-18 17:46:05 -04:00
Patrick Thomson
efb0b0a0f7
Change Rule to RuleM and PureRule to Rule.
2018-09-18 17:33:01 -04:00
Patrick Thomson
98bad59b26
Merge pull request #2179 from github/fix-benchmarks
...
Fix linker error when running benchmarks.
2018-09-18 16:23:54 -04:00
Patrick Thomson
d5be7ee842
Merge branch 'master' into fix-benchmarks
2018-09-18 15:50:59 -04:00
Patrick Thomson
8da5bcf973
just a bit more context
2018-09-18 15:46:51 -04:00
Patrick Thomson
3d1bccc3f4
cleaner tests
2018-09-18 15:45:17 -04:00
Patrick Thomson
eb667b3326
Revert the changes to Util.
2018-09-18 15:23:45 -04:00
Patrick Thomson
2dc8bb0041
Merge branch 'master' into term-rewriting-mk2
2018-09-18 15:18:21 -04:00
Rob Rix
0caf4c0dde
Merge pull request #2180 from github/heap-widening
...
Flow-insensitive heap widening
2018-09-18 15:09:47 -04:00
Rob Rix
13993af2c7
Merge branch 'master' into heap-widening
2018-09-18 14:46:36 -04:00
Josh Vera
887169ce8f
Merge pull request #2175 from github/scopes-and-frames
...
Scopes and frames
2018-09-18 13:38:02 -04:00
Patrick Thomson
6e65f9060d
Merge remote-tracking branch 'origin/master' into term-rewriting-mk2
2018-09-18 13:31:58 -04:00
Patrick Thomson
9eb7fe5cd8
reenable all the tests
2018-09-18 13:18:31 -04:00
Josh Vera
8d9c627579
Merge branch 'master' into scopes-and-frames
2018-09-18 13:14:27 -04:00
Timothy Clem
bf10afe940
Merge pull request #2178 from github/tree-sitter-tracking
...
Tracking latest tree-sitter
2018-09-18 10:02:40 -07:00
joshvera
bb08efad31
remove import
2018-09-18 12:36:25 -04:00
Patrick Thomson
5c442ff7dd
first successful roundtrip!
2018-09-18 12:36:10 -04:00
joshvera
e6d26ed322
lowerBound
2018-09-18 12:34:13 -04:00
joshvera
906da72e54
Merge remote-tracking branch 'origin/master' into scopes-and-frames
2018-09-18 12:26:18 -04:00
joshvera
1c95f42ff8
Rename and document EdgeLabel
2018-09-18 12:25:58 -04:00
joshvera
8c917e3523
Add lowerBound instance
2018-09-18 12:25:43 -04:00
Timothy Clem
12e1fe3a88
++tree-sitter
2018-09-18 09:07:26 -07:00
Timothy Clem
9b23d4a74d
Merge branch 'master' into tree-sitter-tracking
2018-09-18 08:59:51 -07:00
Patrick Thomson
c2bfde5c95
move Fragment into its own file for clarity's sake
2018-09-18 11:38:10 -04:00
Rob Rix
f3d616fbd1
Merge branch 'master' into heap-widening
2018-09-18 11:17:21 -04:00
Rob Rix
c50cc165f6
Use the flow-insensitive caching algorithm.
2018-09-18 10:46:17 -04:00
Rob Rix
49251bbf27
Compute the least fixed-point of the cache and heap.
2018-09-18 10:45:37 -04:00
Rob Rix
dec0f3f845
Remove Heaps from the flow-insensitive cache.
2018-09-18 10:33:34 -04:00
Rob Rix
87c609fa1c
Duplicate the flow-sensitive caching module.
2018-09-18 10:27:47 -04:00
Rob Rix
58c22658d3
Rename the Caching module to note its flow-sensitivity.
2018-09-18 10:26:50 -04:00
Rob Rix
560c93784c
Move the cache into the Caching module.
2018-09-18 10:21:25 -04:00
Rob Rix
86654a2dab
Move Configuration into Data.Abstract.Cache.
2018-09-18 10:12:02 -04:00
Rob Rix
51be2081ae
🔥 Control.Abstract.Configuration.
2018-09-18 10:10:03 -04:00
Rob Rix
3a760445e3
Give Caching its own definition of getConfiguration.
2018-09-18 10:08:48 -04:00
Rob Rix
32d683fb20
Don’t re-export Configuration.
2018-09-18 10:05:03 -04:00
Rob Rix
d15790bce7
🔥 some trailing whitespace.
2018-09-18 10:04:53 -04:00
Rob Rix
c612b0d490
Tracing doesn’t require the live set.
2018-09-18 10:02:32 -04:00
Rob Rix
5043e62a71
Give the tracing analysis its own definition of Configuration.
2018-09-18 09:59:37 -04:00
Patrick Thomson
1ba38e3e57
Merge remote-tracking branch 'origin/master' into term-rewriting-mk2
2018-09-17 18:31:44 -04:00
Patrick Thomson
1d61d40354
Merge branch 'master' into fix-benchmarks
2018-09-17 16:55:40 -04:00
Patrick Thomson
12ac402656
Merge pull request #2176 from github/bump-synopsis
...
Replace the "initial project from stack" synopsis.
2018-09-17 16:33:49 -04:00
Patrick Thomson
eac1876a9a
Bump licenses.
2018-09-17 16:33:26 -04:00