github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 05:11:44 +03:00
Code Issues Projects Releases Wiki Activity
25,679 Commits 19 Branches 16 Tags 46 MiB
4a84736162
Commit Graph

25679 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Timothy Clem
4a84736162 Docs 2018-09-20 10:31:13 -07:00
Timothy Clem
741a3b25d6 Implement doWhile in terms of the new while effect 2018-09-20 09:42:55 -07:00
Timothy Clem
fdfc47e168 Implement runWhile for Abstract and Type semantics 2018-09-20 09:14:34 -07:00
Timothy Clem
ceead75b69 Get interpose working and an abort to our loopcontrol effect 2018-09-20 08:41:17 -07:00
Timothy Clem
0341f21901 WIP - implement while/looping as an effect 2018-09-19 15:00:51 -07:00
Patrick Thomson
4016c6f3d8 Merge pull request #2184 from github/reprinting-pipeline-rename 
Remove Hungarian-style T- prefix from tokens and scopes.
 2018-09-19 13:30:18 -04:00
Patrick Thomson
ba18287311 Merge branch 'master' into reprinting-pipeline-rename 2018-09-19 13:08:52 -04:00
Patrick Thomson
8e1ca410bb 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 12:38:48 -04:00
Patrick Thomson
ee0a1170c3 Merge pull request #2174 from github/term-rewriting-mk2 
Integrate term-rewriting
 2018-09-19 12:26:43 -04:00
Patrick Thomson
22cf72c20f Merge branch 'master' into term-rewriting-mk2 2018-09-19 11:51:28 -04:00
Timothy Clem
2ced55842e Merge pull request #2183 from github/javascript-parse-examples 
Test out JavaScript parse-examples
 2018-09-19 08:11:38 -07:00
Patrick Thomson
2998c8f8cc last few changes 2018-09-19 11:03:59 -04:00
Timothy Clem
20ccdc19de Merge branch 'master' into javascript-parse-examples 2018-09-19 07:54:52 -07:00
Timothy Clem
253975164a Test out JavaScript parse-examples 2018-09-18 15:32:56 -07:00
Josh Vera
13c457ec4c Merge pull request #2182 from github/new-take-on-parse-examples 
New take on parse examples
 2018-09-18 18:21:39 -04:00
Patrick Thomson
d68c7975d7 Merge branch 'master' into new-take-on-parse-examples 2018-09-18 17:51:22 -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
Timothy Clem
6817193cbc Mark assignment timeouts as pending 2018-09-18 13:00:31 -07: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
Timothy Clem
7aa37f6443 Allow comments in variadicArgument expressions in Go 2018-09-18 11:16:20 -07:00
Timothy Clem
a25e848c9f Fix assigning comments with multiple elif in Python 2018-09-18 10:43:18 -07: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
4493dd7c6b Merge remote-tracking branch 'origin/master' into new-take-on-parse-examples 2018-09-18 10:02:53 -07: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
Timothy Clem
30b57cfd67 ++tree-sitter 2018-09-18 09:57:34 -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
Timothy Clem
fdfb8228b6 Only python to start 2018-09-18 08:36:48 -07:00
Timothy Clem
d83630443b Rename 2018-09-18 08:36:40 -07: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