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
24,961 Commits 19 Branches 16 Tags 46 MiB
99e377aec7
Commit Graph

82 Commits

Author SHA1 Message Date
Rob Rix
99e377aec7 Fix a missed reference to Deref in the specs. 2018-08-13 09:58:18 -04:00
Rob Rix
a438930c91 Use the specialized handlers for Allocator and Precise. 2018-08-13 09:43:37 -04:00
Rob Rix
f0d216da2c 🔥 the value parameter from Allocator. 2018-08-10 15:32:10 -04:00
Rob Rix
d05f3c6ae3 🔥 Data.Abstract.Address. 2018-08-10 13:46:24 -04:00
Rob Rix
b19ea1ca01 Fix up the Evaluator spec. 2018-08-09 16:13:03 -04:00
Rick Winfrey
317d4a3849 Merge branch 'master' into error-context 2018-08-08 10:33:41 -07:00
Rick Winfrey
383b6208ee Rename ErrorContext -> BaseError 2018-08-07 16:50:55 -07:00
Rick Winfrey
7a06b8c922 Fix up tests 2018-08-06 09:29:24 -07:00
Charlie Somerville
d00fced1bb Merge branch 'master' into charliesome/context 2018-08-01 11:45:46 +10:00
Rob Rix
60a4487a28 Run a Function effect in EvaluatorSpec. 2018-07-26 15:31:49 -04:00
Rob Rix
863c2774eb Merge branch 'master' into value-effects 2018-07-25 09:22:30 -04:00
Charlie Somerville
ee227d8091 fix up call in test 2018-07-24 16:23:53 +10:00
Rob Rix
33c6bc88f4 Correct the test. 2018-07-23 10:26:26 -04:00
Rob Rix
861a3fc80e Rename closure to function. 2018-07-23 10:26:06 -04:00
Charlie Somerville
de80f1906e fix SpecHelpers to hit heap for namespaces 2018-07-19 17:03:17 +10: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
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
33c04b15c3 Get the tests compiling. 2018-06-22 13:52:21 -04:00
Rob Rix
12c5dc32b2 🔥 an errant package version. 2018-06-22 10:38:03 -04:00
Rob Rix
07a0277b00 Fix up the Evaluator spec. 2018-06-21 13:42:03 -04:00
Rob Rix
84eb2beaa5 This doesn’t have module table state any more either. 2018-06-21 13:37:23 -04:00
Rob Rix
e0f5d4ee22 Don’t use evaluating. 2018-06-21 13:22:58 -04:00
Rob Rix
e972abd2e3 Factor runFresh out of evaluating. 2018-06-20 12:17:46 -04:00
Rob Rix
792cdcc5e2 Re-export Lower from SpecHelpers. 2018-06-15 11:41:38 -04:00
Rob Rix
31893e6ced Bump effects for https://github.com/joshvera/effects/pull/54. 
This requires us to specify the lists of effects fully.
 2018-06-13 16:35:56 -04:00
Charlie Somerville
ddb18160f7 Merge branch 'master' into charliesome/value-ref-address 2018-06-08 11:33:01 +10:00
Rob Rix
b6c8c3f236 Fix up the evaluator spec. 2018-06-06 09:46:12 -04:00
Rob Rix
d6d3008cba deref operates on the address, so drop the env. 2018-06-01 17:28:35 -04:00
Rob Rix
d8201341c9 We’re already destructuring the tuples. 2018-06-01 17:28:19 -04:00
Charlie Somerville
32268b1710 Merge branch 'master' into charliesome/value-ref-address 2018-05-31 20:34:05 -05:00
Rob Rix
08cf65718f Fix the evaluator spec. 2018-05-30 17:20:08 -04:00
Rob Rix
f9c7f2836d runEnv in the evaluator spec. 2018-05-30 13:03:50 -04:00
Charlie Somerville
b72b442e0c WIP Merge branch 'master' into charliesome/value-ref-address 2018-05-29 16:06:45 -05:00
Rob Rix
f0c220906a Partially apply Eff in the tests. 2018-05-28 14:48:00 -04:00
Rob Rix
cc02cfd8eb AbstractIntro is pure. 2018-05-28 14:47:42 -04:00
Rob Rix
89b90496b7 Don’t qualify this name. 2018-05-28 14:47:20 -04:00
Rob Rix
b3b47a34df 🔥 Goto. 2018-05-28 14:42:46 -04:00
Rob Rix
a01e723b31 Run ValueErrors in TermEvaluator. 2018-05-28 09:55:01 -04:00
Rob Rix
015b74cf41 Give Value a term type parameter once more. 2018-05-28 09:35:42 -04:00
Rob Rix
2993c3588c Correct the specs. 2018-05-28 08:54:33 -04:00
Charlie Somerville
71e389ef71 fix tests 2018-05-23 15:38:47 -07:00
Charlie Somerville
10022d4de9 push Address location value into the guts of the evaluator 2018-05-23 14:55:44 -07:00
Rob Rix
ca6b32378e Merge branch 'master' into allocator-effect 2018-05-18 11:09:20 -04:00
Josh Vera
053a158e59 Merge branch 'master' into update-fastsum 2018-05-18 10:44:08 -04:00
Rob Rix
6f3698122c Merge branch 'master' into allocator-effect 2018-05-17 16:47:24 -04:00
Patrick Thomson
322f348103 inj -> inject 2018-05-16 18:25:02 -04:00
Patrick Thomson
6b0198cb00 Remove otiose -Sum prefixes from all Data.Sum operations. 
There are no modules where we use both Union.inj and Sum.injectSum; as
such, it seems clumsy for such ubiquitous functions as inj and prj to
have such long names when there is no ambiguity. This restores the
codebase to much how it looked before we switched back to a richer
Data.Union.
 2018-05-16 15:27:08 -04:00