github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Code Issues Projects Releases Wiki Activity
25,750 Commits 19 Branches 16 Tags 46 MiB
2c28df6135
Commit Graph

181 Commits

Author SHA1 Message Date
Rob Rix
5c2dac35e8 Merge branch 'master' into first-order-closures 2018-09-27 13:37:25 -05:00
Rob Rix
0653832d9d Swap the order of the parameters to Value. 2018-09-25 16:38:05 -05:00
Rob Rix
f3c20a8fad ConcreteEff is no more. 2018-09-25 13:40:07 -05:00
Timothy Clem
278e6890cd Fix up the tests 2018-09-25 11:18:51 -05:00
Rob Rix
c6769d2e01 Resume using a first-order definition of functions. 2018-09-21 14:42:57 -04:00
Rob Rix
038b56970e Parameterize Evaluator by the term type. 2018-09-20 12:43:59 -04:00
joshvera
eb71b512b3 Fix test type errors 2018-09-14 18:04:08 -04: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
joshvera
75365e9caa Merge remote-tracking branch 'origin/master' into interactive-debugger 2018-08-13 16:40:27 -04:00
joshvera
2732f17719 Merge remote-tracking branch 'origin/master' into interactive-debugger 2018-08-10 14:20:16 -04:00
Rob Rix
d05f3c6ae3 🔥 Data.Abstract.Address. 2018-08-10 13:46:24 -04:00
Rob Rix
55acc78d83 Fix up the specs. 2018-08-09 15:51:55 -04:00
Rob Rix
0def4afbab Specialize Heap to Set. 2018-08-09 15:40:42 -04:00
Rob Rix
c1254d54b8 🔥 Cell. 2018-08-09 15:30:50 -04:00
Rick Winfrey
77c8867907 No longer need these imports 2018-08-08 10:31:59 -07:00
Rick Winfrey
383b6208ee Rename ErrorContext -> BaseError 2018-08-07 16:50:55 -07:00
Rick Winfrey
cdedb5d893 Update tests 2018-08-07 10:48:01 -07:00
Rick Winfrey
00a24473c7 Update tests 2018-08-06 15:10:59 -07:00
Rick Winfrey
823ae6ac51 Merge branch 'master' into error-context 2018-08-06 13:46:42 -07:00
Rick Winfrey
5b9dca6400 Wrap UnspecializedError with BaseError 2018-08-06 11:50:49 -07:00
Rick Winfrey
37d197bb21 Wrap SpecHelpers errors in BaseError 2018-08-03 16:59:34 -07:00
Rob Rix
8c9debbd17 Fix up the specs. 2018-08-03 14:14:08 -04:00
Rob Rix
f2fcbf93f4 Generalize UtilEff over the trailing effects. 2018-08-03 11:18:03 -04:00
Rob Rix
5368f859eb Whoops. 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-08-01 15:22:37 -04:00
Charlie Somerville
de80f1906e fix SpecHelpers to hit heap for namespaces 2018-07-19 17:03:17 +10:00
Charlie Somerville
a3bc96834c Merge branch 'master' into charliesome/module-result 2018-07-18 14:53:31 +10:00
Charlie Somerville
6837b1d637 names takes a Binding, not an Environment 2018-07-17 12:04:54 +10:00
Charlie Somerville
752e29c9ef use ModuleResult type alias here too 2018-07-17 11:42:01 +10:00
Patrick Thomson
ae550c59c8 Merge remote-tracking branch 'origin/master' into abstract-call-graph 2018-07-13 11:11:46 -04:00
Rob Rix
255a0aa62b Move TaskConfig into Semantic.Util. 2018-07-10 14:09:02 -04:00
Rob Rix
b33daf0ce1 Pass the task config stuff around as a single datum. 2018-07-10 13:49:34 -04:00
Rob Rix
90cb86d027 Pass config & queues to the integration specs. 2018-07-09 14:26:15 -04:00
Patrick Thomson
c5b722dbba Merge remote-tracking branch 'origin/master' into abstract-call-graph 2018-07-09 11:28:24 -04:00
Rob Rix
bcbc70446c Merge branch 'charliesome/substitution' into abstract-abstract-semantics 2018-07-05 14:15:01 -04:00
Rob Rix
5100670e72 Rename Data.Abstract.Value to Data.Abstract.Value.Concrete. 2018-07-03 14:22:26 -04:00
Patrick Thomson
1eed347da6 fix the specs 2018-06-29 16:17:27 -04:00
Rob Rix
a236328056 Merge branch 'master' into higher-order-effects 2018-06-26 15:14:28 -04:00
Rob Rix
7d37d3eb11 Resume defining LoopControl as using Exc. 2018-06-26 12:09:21 -04:00
Rob Rix
492947ae2e Resume defining Return as using Exc. 2018-06-26 12:00:25 -04:00
Rob Rix
3fb45b5d50 Preserve the structure of the data we’re testing against. 2018-06-25 12:27:30 -04:00
Rob Rix
33c04b15c3 Get the tests compiling. 2018-06-22 13:52:21 -04:00
Rob Rix
eedc8f4b7e Rearrange the spec helper to match Util. 2018-06-21 14:52:08 -04:00
Rob Rix
6abd29a65d Reuse UtilEff. 2018-06-21 13:46:28 -04:00
Rob Rix
3c537e3337 We’re in Evaluator, not TermEvaluator. 2018-06-21 13:44:58 -04:00
Rob Rix
4e57d32e91 🔥 the outdated reference to the module table state. 2018-06-21 13:36:11 -04:00
Rob Rix
418b15077a Not EvaluatingState. 2018-06-21 13:34:42 -04:00
Rob Rix
e0f5d4ee22 Don’t use evaluating. 2018-06-21 13:22:58 -04:00
Rob Rix
1e26865c65 🔥 evaluatePackageWith. 2018-06-21 13:19:24 -04:00
Rob Rix
e972abd2e3 Factor runFresh out of evaluating. 2018-06-20 12:17:46 -04:00