github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 08:54:07 +03:00
Code Issues Projects Releases Wiki Activity
25,252 Commits 19 Branches 16 Tags 46 MiB
a473a346c9
Commit Graph

25252 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Timothy Clem
a473a346c9 Slightly different JSON printing options 2018-08-20 10:37:55 -07:00
Timothy Clem
ae20bf5477 Docs on remark function 2018-08-20 10:37:33 -07:00
Timothy Clem
58cf9925fa Not using this 2018-08-20 10:37:24 -07:00
Timothy Clem
3c53862e19 Merge remote-tracking branch 'origin/master' into source-aware-reprinter 2018-08-20 10:17:38 -07:00
Timothy Clem
4e5983c5e0 Fix lints 2018-08-20 10:08:53 -07:00
Timothy Clem
92a15e2bcb Better docs and param naming 2018-08-20 09:58:28 -07:00
Timothy Clem
b5fdc2d079 New take on layout rules 2018-08-20 09:52:30 -07:00
Timothy Clem
d42d02fe62 Organize imports, not using TokenizerEffs 2018-08-20 09:52:19 -07:00
Timothy Clem
1dc89961b2 Remove Rule 2018-08-20 09:52:03 -07:00
Timothy Clem
ea553c69db Util experiments without using Rule 2018-08-20 09:51:41 -07:00
Timothy Clem
552d3fbaf2 Translator Monad 2018-08-20 09:51:29 -07:00
Timothy Clem
7d185d3001 Fully flesh out JSON specific translation step 2018-08-20 09:04:08 -07:00
Timothy Clem
193e17b277 Docs and clean up imports 2018-08-20 09:03:51 -07:00
Timothy Clem
e417b5cbda We have entire context now 2018-08-20 09:03:43 -07:00
Timothy Clem
b9a3e3d254 Relax need for Eff 2018-08-20 09:03:23 -07:00
Timothy Clem
f98cda72cb Bring back re-write experiments in Util 2018-08-20 09:03:12 -07:00
Timothy Clem
441c47f5ec Fix up specs 2018-08-20 09:03:03 -07:00
Timothy Clem
512ba1f8b6 Docs, move these notes 2018-08-20 09:02:59 -07:00
Timothy Clem
506bc50350 Cleanup, comments, export list 2018-08-20 09:02:47 -07:00
Timothy Clem
13e2ba2956 default JSON pipeline 2018-08-17 16:53:36 -07:00
Timothy Clem
933782ab78 Use machines a bit more directly 2018-08-17 16:21:55 -07:00
Timothy Clem
cd3233549a WIP, language translation as an additional step in pipeline 2018-08-17 15:17:14 -07:00
Timothy Clem
d9218cfd1f Cleanup names a bit 2018-08-17 13:15:32 -07:00
Timothy Clem
f239a7a483 Typesetting in the pipeline too 2018-08-17 12:46:54 -07:00
Timothy Clem
9de1897694 WIP - basic translating in machines 2018-08-17 11:43:32 -07:00
Timothy Clem
b49adc41fe Move splice to data, allow config for translation 2018-08-17 09:10:14 -07:00
Josh Vera
46eace3c50 Merge pull request #2138 from github/auto-proto-gen 
Generate protodefs for syntaxes
 2018-08-17 12:02:14 -04:00
Josh Vera
03d22bf671 Merge branch 'master' into auto-proto-gen 2018-08-17 11:51:28 -04:00
Josh Vera
4f99f86ba8 Merge pull request #2139 from github/there-can-only-be-one-concrete-evaluator-newtype 
Combine the concrete evaluator newtypes
 2018-08-17 11:40:36 -04:00
Timothy Clem
5165d28090 Amazingly it complies! and still prettyprints 2018-08-16 17:05:57 -07:00
Timothy Clem
0cd96954d9 Clean up need for splice 2018-08-16 16:57:09 -07:00
Timothy Clem
f674e2dad1 WIP - translation with Eff interface 2018-08-16 16:51:07 -07:00
Rob Rix
3f7a77c639 Merge branch 'master' into there-can-only-be-one-concrete-evaluator-newtype 2018-08-16 11:24:25 -04:00
Josh Vera
951692c3e0 Merge branch 'master' into auto-proto-gen 2018-08-16 11:23:04 -04:00
Josh Vera
7cf34d29c1 Merge pull request #2110 from github/interactive-debugger 
Interactive debugger
 2018-08-16 11:21:54 -04:00
joshvera
7ebdfa2c1a Merge remote-tracking branch 'origin/master' into interactive-debugger 2018-08-16 11:07:36 -04:00
Rob Rix
ff1185f937 Merge remote-tracking branch 'origin/bump-licensed-1.3.2' into interactive-debugger 2018-08-16 10:08:45 -04:00
Timothy Clem
600942dcf1 Fix up these tests 2018-08-15 14:01:58 -07:00
Timothy Clem
b39721ec4f Be consistent with 2 spaces for now 2018-08-15 14:01:53 -07:00
Timothy Clem
d5ac03c4a8 Comment out logging for tests 2018-08-15 14:01:44 -07:00
Timothy Clem
ec4d75ced3 Remove extra import and un-needed Language ext 2018-08-15 14:01:35 -07:00
Timothy Clem
bd29d222e1 Merge branch 'master' into auto-proto-gen 2018-08-15 12:47:29 -07:00
Rob Rix
886a140881 Merge branch 'interactive-debugger' into there-can-only-be-one-concrete-evaluator-newtype 2018-08-15 13:53:01 -04:00
Rob Rix
ac94df12c2 Merge branch 'master' into interactive-debugger 2018-08-15 13:52:43 -04:00
Timothy Clem
9de677ecc5 Merge pull request #2137 from github/change-port 
Change default port from 8080 to 8001
 2018-08-15 10:40:03 -07:00
Rob Rix
90b29a39ab Add a missing import. 2018-08-15 12:08:15 -04:00
Rob Rix
358b8cc564 Replace UtilEff with ConcreteEff. 2018-08-15 11:55:45 -04:00
Rob Rix
ff31962bd7 Infer the presence of the graph effect. 2018-08-15 11:54:52 -04:00
Rob Rix
ed3189d828 Reformat a couple of signatures. 2018-08-15 11:54:14 -04:00
Rob Rix
c4e94f0d80 🔥 some redundant quantifiers. 2018-08-15 11:53:43 -04:00