github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-25 16:02:43 +03:00
Code Issues Projects Releases Wiki Activity
21,468 Commits 19 Branches 16 Tags 46 MiB
16df80a66a
Commit Graph

21468 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
ca778fd76e We don’t need to constrain the term type any more. 2018-05-07 15:25:05 -04:00
Rob Rix
4f64d95a51 🔥 redundant language extensions. 2018-05-07 15:21:41 -04:00
Rob Rix
28eec7a7ec Lift TermEvaluators to Subterm evaluators. 2018-05-07 15:19:57 -04:00
Rob Rix
a4e823681f Define a TermEvaluator synonym. 2018-05-07 15:19:36 -04:00
Patrick Thomson
50ea7d1a09 remove duplication 2018-05-07 15:13:40 -04:00
Rob Rix
3b4b953506 Run evaluators in IO. 2018-05-07 15:13:01 -04:00
Rob Rix
1bd817bc76 Test that we can construct integers. 2018-05-07 15:10:41 -04:00
Rob Rix
980fd74aed Define an evaluator helper. 2018-05-07 15:10:11 -04:00
Rob Rix
47d48d695e Add types for terms, values, and the effects for evaluating terms. 2018-05-07 15:09:50 -04:00
Patrick Thomson
600a2c5100 better name 2018-05-07 15:08:14 -04:00
Rob Rix
f16b734be3 🔥 a redundant Recursive constraint on term. 2018-05-07 15:05:15 -04:00
Patrick Thomson
5cf08450e0 whoops 2018-05-07 15:04:07 -04:00
Patrick Thomson
92d8ca7872 comments 2018-05-07 15:02:21 -04:00
Patrick Thomson
1a47af44d3 fix lints 2018-05-07 14:59:29 -04:00
Patrick Thomson
ab90ff0464 fix repl functions 2018-05-07 14:56:10 -04:00
Patrick Thomson
110365733c fix specs 2018-05-07 14:39:01 -04:00
Rob Rix
022e0779f7 🔥 the functional dependency on AbstractValue. 2018-05-07 14:25:14 -04:00
Patrick Thomson
335878454b Merge branch 'master' into remove-tracem 2018-05-07 14:23:46 -04:00
Rob Rix
c427be3670 Stub in a spec for Evaluator. 2018-05-07 14:21:05 -04:00
Rob Rix
29c755a8dc Sort the test modules. 2018-05-07 14:20:56 -04:00
Patrick Thomson
bedba61867 Make Evaluator use effectful trace rather than Debug.Trace. 2018-05-07 14:15:47 -04:00
Rob Rix
05999e7559 Revert "Don’t specialize null for Exports." 
This reverts commit 8f626b6c0f90af595f510543b15400219e5d9102.
 2018-05-07 14:13:11 -04:00
Rob Rix
676f905468 We no longer use fail in this module at all. 2018-05-07 13:15:15 -04:00
Rob Rix
4c6e433802 Merge branch 'master' into musical-chairs,-evaluator-edition 2018-05-07 13:09:25 -04:00
Rob Rix
d9b1b5e4da 📝 Evaluator. 2018-05-07 13:08:11 -04:00
Rob Rix
05c2770499 Don’t qualify the import of Eff. 2018-05-07 13:04:08 -04:00
Rob Rix
4becd242aa 🔥 a couple of stray imports. 2018-05-07 13:02:39 -04:00
Rob Rix
0220ef3046 Merge branch 'master' into musical-chairs,-evaluator-edition 2018-05-07 12:58:27 -04:00
Rob Rix
0687851456 Merge pull request #1805 from github/scope-effects-to-evaluation 
Scope effects to evaluation
 2018-05-07 12:55:04 -04:00
Rob Rix
b09e854be5 Move ResolutionError into the module table effects module. 2018-05-07 12:49:51 -04:00
Rob Rix
0d3f8b685f Don’t specialize null for Exports. 2018-05-07 12:33:48 -04:00
Rob Rix
05ff04533f Merge branch 'master' into scope-effects-to-evaluation 2018-05-07 12:29:26 -04:00
Rob Rix
aafbeb6b72 Don’t export the unevaluated module table & load stack accessors. 2018-05-07 12:28:04 -04:00
Rob Rix
39f8d659e1 Move require, load, & LoadError into the module table effects module. 2018-05-07 12:26:38 -04:00
Rob Rix
b69a9d275d Move resolve & listModulesInDir into the module table effect module. 2018-05-07 12:23:51 -04:00
Rob Rix
6557859772 Move the unevaluated module table and load stack accessors into the module table effects module. 2018-05-07 12:21:35 -04:00
Josh Vera
d6cf05177e Merge pull request #1817 from github/fix-benchmarks 
Fix benchmarks.
 2018-05-07 12:20:43 -04:00
Rob Rix
eabb3b79a1 Move the evaluated module table accessors into their own module. 2018-05-07 12:20:23 -04:00
Rob Rix
f2288e3d69 Move the Environment accessors into their own module. 2018-05-07 12:17:32 -04:00
Rob Rix
3c73571b0c Move currentModule/currentPackage into their own module. 2018-05-07 12:14:14 -04:00
Rob Rix
de5a46dc6c Move JumpTable, Label, label, and goto into their own module. 2018-05-07 12:12:11 -04:00
Rob Rix
0d1b025823 Move the Exports accessors into their own module. 2018-05-07 12:04:12 -04:00
Rob Rix
5f2c0d1345 Move isolate into Evaluatable. 2018-05-07 12:00:49 -04:00
Rob Rix
5d91cfd843 Move the roots functionality into its own module. 2018-05-07 11:58:30 -04:00
Rob Rix
c2a8c0c5fa Use the combined export module. 2018-05-07 11:54:13 -04:00
Rob Rix
531f941692 Provide a module re-exporting all the various abstract interpretation machinery. 2018-05-07 11:51:56 -04:00
Rob Rix
57ddf31ec5 Move the Heap accessors into their own module. 2018-05-07 11:49:59 -04:00
Rob Rix
920ddd893f Move the configuration accessor into its own module. 2018-05-07 11:49:47 -04:00
Rob Rix
3b497bd278 🔥 an unnecessary language extension. 2018-05-07 10:24:35 -04:00
Rob Rix
1740d6a558 🔥 redundant quantification. 2018-05-07 10:24:04 -04:00