24815 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Ayman Nadeem	f773cc7de0	turn LambdaBody into a newtype	2018-07-23 12:35:49 -04:00
Ayman Nadeem	ccd7883574	remove comment	2018-07-23 12:33:18 -04:00
Ayman Nadeem	6e0d69133e	remove mergeable from Java.Syntax	2018-07-23 12:16:05 -04:00
Ayman Nadeem	52d89b7a05	fix merge conflicts	2018-07-23 11:23:57 -04:00
Ayman Nadeem	cb032b8229	change to newtype	2018-07-23 11:09:46 -04:00
Ayman Nadeem	f9474e633c	cleanup comments in assignment	2018-07-23 11:09:19 -04:00
Ayman Nadeem	3139301e7b	add Named1 and Message1	2018-07-23 11:08:25 -04:00
Rob Rix	bf388b4f50	Generalizes providingLiveSet to PureEffects.	2018-07-23 11:07:55 -04:00
Rob Rix	16e0a43a77	Generalize the graphing handlers to PureEffects.	2018-07-23 11:07:30 -04:00
Timothy Clem	67c6c7eb83	Merge branch 'master' into control-flow-part2	2018-07-23 08:04:59 -07:00
Rob Rix	be526492ff	Generalize everything we can to PureEffects.	2018-07-23 11:02:54 -04:00
Rob Rix	182c539718	Bump effects for a generalization to bracket.	2018-07-23 11:02:19 -04:00
Rob Rix	d1a9775874	Bump effects.	2018-07-23 10:55:07 -04:00
Rob Rix	490bd54d1e	Define a runBoolean handler for Concrete semantics.	2018-07-23 10:53:59 -04:00
Rob Rix	28fb83dfcb	Define a runBoolean handler for Type semantics.	2018-07-23 10:50:50 -04:00
Rob Rix	73c8443a6b	Define a runBoolean handler for Abstract semantics.	2018-07-23 10:48:07 -04:00
Rob Rix	bdb1437e5c	Define a runUnit handler for Concrete semantics.	2018-07-23 10:45:22 -04:00
Rob Rix	0bf81660ed	Define a runUnit handler for Type semantics.	2018-07-23 10:44:28 -04:00
Rob Rix	d8f8f66594	Define a runUnit handler for Abstract semantics.	2018-07-23 10:43:15 -04: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
Rob Rix	a6b3192be7	Specialize call to call-by-value.	2018-07-23 10:18:25 -04:00
Rob Rix	056177572c	Define a call' smart constructor.	2018-07-23 10:13:49 -04:00
Rob Rix	0b29c97b25	Define a function' smart constructor.	2018-07-23 10:12:12 -04:00
Rob Rix	48b4169dce	Define an asPair' smart constructor.	2018-07-23 10:05:43 -04:00
Rob Rix	4677961b85	Define a pair' smart constructor.	2018-07-23 10:04:58 -04:00
Rob Rix	ebe220b361	Define an asBool smart constructor.	2018-07-23 10:04:12 -04:00
Rob Rix	c675754b15	Define a boolean smart constructor.	2018-07-23 10:03:31 -04:00
Rob Rix	c023034df8	Define a unit' smart constructor.	2018-07-23 10:02:53 -04:00
Rob Rix	4fe4fc3e05	Export Unit, Boolean, and Pair.	2018-07-23 09:58:33 -04:00
Ayman Nadeem	8233b537ec	Merge branch 'master' into java-assignment-continued	2018-07-23 09:29:27 -04:00
Rob Rix	e98fa6cbea	Define a Pair effect.	2018-07-23 09:27:58 -04:00
Rob Rix	9f90a5304b	Define a Boolean effect.	2018-07-23 09:26:22 -04:00
Ayman Nadeem	f09f2ce26a	add tests for normalInterfaceDeclaration and assertStatements in stringLiteral	2018-07-23 09:26:02 -04:00
Rob Rix	8e93c06bb7	Define a Unit effect.	2018-07-23 09:23:53 -04:00
Rob Rix	3ee347c89c	Define a PureEffect instance for Function.	2018-07-23 09:22:10 -04:00
Rob Rix	aa1e7eb9ce	Bump effects.	2018-07-23 09:19:36 -04:00
Charlie Somerville	1858d4d048	fix up dedup comment	2018-07-23 23:19:33 +10:00
Charlie Somerville	9b4fe7eebb	appease linter	2018-07-23 23:18:17 +10:00
Rob Rix	bc3b493f31	Stub in a Function effect.	2018-07-23 09:15:16 -04:00
Charlie Somerville	e2fd4b2ba4	fix up doc comments	2018-07-23 17:45:59 +10:00
Charlie Somerville	f5e2035530	retain existing namespace superclass if set	2018-07-23 17:42:26 +10:00
Charlie Somerville	8642cb4e1f	fix method name order assertion in subclass spec	2018-07-23 17:42:03 +10:00
Charlie Somerville	1543161f0e	remove shadowed names in allNames	2018-07-23 17:41:47 +10:00
Charlie Somerville	dae549dd46	Merge branch 'master' into charliesome/module-result	2018-07-23 16:34:55 +10:00
Timothy Clem	deb5961091	Little bit of naming clarity	2018-07-20 16:55:20 -07:00
Josh Vera	9d307f5632	Merge pull request #2079 from github/move-mergeable-into-the-tests ... Move Mergeable into the tests	2018-07-20 16:16:34 -04:00
joshvera	fa9a060d09	Consume constant method class and interfaces in normal interfaces ... Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>	2018-07-20 16:03:48 -04:00
joshvera	5edd10b9a0	Added annotationTypeElement ... Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>	2018-07-20 15:57:27 -04:00
joshvera	1fc2059cf1	spaces ... Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>	2018-07-20 15:56:20 -04:00