25541 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	54792b6264	Define booleans with a value effect.	2018-08-23 12:54:03 -04:00
Ayman Nadeem	9bf8429f29	Merge pull request #2133 from github/evaluatable-instances ... add Evaluatable instances for remaining unspecialized expressions	2018-08-23 12:29:17 -04:00
Rob Rix	457541d027	Note the possibility of semi-abstract domains.	2018-08-23 12:21:04 -04:00
Ayman Nadeem	8e17c2df87	remove fake news comment about unsignedRshift	2018-08-23 12:09:51 -04:00
Timothy Clem	6255efe0fb	Get licenses in a good state	2018-08-23 09:03:04 -07:00
Ayman Nadeem	4be365ddcb	add test	2018-08-23 11:25:20 -04:00
Rob Rix	956d572ace	Define a Boolean effect.	2018-08-23 11:13:31 -04:00
Rob Rix	cfdc8030b1	📝 Value effects.	2018-08-23 11:12:33 -04:00
Timothy Clem	8f6d1ee873	Merge branch 'master' into source-aware-reprinter	2018-08-23 07:47:48 -07:00
Rob Rix	ea06833a5a	Add a heading for the value effects.	2018-08-23 10:39:30 -04:00
Ayman Nadeem	6cf92bb760	remove eval instances for cast because of ci fail	2018-08-23 10:38:53 -04:00
Timothy Clem	a8b9499692	Enable ability to run up to translating too	2018-08-22 16:26:48 -07:00
Rick Winfrey	dec8533a5b	Update CodeAnalysis from proto changes ... Hand edited	2018-08-22 15:41:27 -07:00
Ayman Nadeem	a8a4ef575c	Merge remote-tracking branch 'origin/master' into evaluatable-instances	2018-08-22 17:41:37 -04:00
Timothy Clem	26576411d0	Work on the naming a bit here	2018-08-22 14:33:55 -07:00
Ayman Nadeem	534bf2b728	fake evaluating cast expressions	2018-08-22 17:22:47 -04:00
Timothy Clem	3214519718	Very basic test for ruby printing	2018-08-22 13:47:30 -07:00
Timothy Clem	3e0a6b95cc	Lints, formatting, docs, cleanup	2018-08-22 13:35:40 -07:00
Timothy Clem	b0dab3ddd9	Back to master's version	2018-08-22 13:06:59 -07:00
Timothy Clem	edc14898aa	Docs	2018-08-22 13:05:44 -07:00
Ayman Nadeem	77f7273b75	add error handling for castToInteger	2018-08-22 15:54:40 -04:00
Ayman Nadeem	86f21c7e21	add castToInteger	2018-08-22 15:48:30 -04:00
Timothy Clem	b9d66ebfa7	Move pure outside of case	2018-08-22 11:43:00 -07:00
Timothy Clem	67f652b4d7	Refactor to have 1 additional data representation in the pipeline	2018-08-22 11:30:03 -07:00
Rob Rix	3456c6f1bb	Merge pull request #2143 from github/haddock-vendor-bump ... Fix Haddock generation.	2018-08-22 12:33:29 -04:00
Rick Winfrey	d230df876a	Fix typo	2018-08-21 16:43:13 -07:00
Rick Winfrey	0dd451885d	Maintain redundant Num constraint	2018-08-21 16:38:53 -07:00
Timothy Clem	a1294e91f1	Docs and some renaming	2018-08-21 16:15:08 -07:00
Ayman Nadeem	9d676c5ba1	make these tests passsssgit diffgit diff	2018-08-21 18:33:16 -04:00
Rick Winfrey	46d9df9bbb	🔥 unnecessary Num constraint	2018-08-21 14:55:54 -07:00
Rick Winfrey	64bea60ea9	🔤	2018-08-21 14:49:56 -07:00
Ayman Nadeem	7b4f0f2605	handle floats in unsignedRShift function	2018-08-21 17:48:18 -04:00
Ayman Nadeem	09f735b2b7	add typescript assignment for complement operator	2018-08-21 17:47:45 -04:00
Rick Winfrey	ddff2144ac	Update Semantic.Config to use envLookupNum	2018-08-21 14:46:15 -07:00
Rick Winfrey	5ea5798aac	Relax envLookupInt -> envLookupNum	2018-08-21 14:44:40 -07:00
Timothy Clem	945712bca6	Examples	2018-08-21 13:25:14 -07:00
Timothy Clem	105c5a5743	Comment about another style choice	2018-08-21 13:25:07 -07:00
Timothy Clem	dea542c678	Not using this yet	2018-08-21 13:24:58 -07:00
Timothy Clem	1a9200b783	tokenizing for Ruby blocks (functions)	2018-08-21 13:17:13 -07:00
Timothy Clem	9e0e56479e	Handle comments with trailing seps	2018-08-21 13:16:49 -07:00
Ayman Nadeem	a4ce904e5d	add normalize function	2018-08-21 16:12:05 -04:00
Ayman Nadeem	5949c6e7d6	Merge branch 'master' into evaluatable-instances	2018-08-21 15:55:15 -04:00
Timothy Clem	5ac0b5a900	Continue to refine tokenize api with Ruby as example	2018-08-21 11:16:39 -07:00
Timothy Clem	3b6c51aa70	No need for TComment yet	2018-08-21 11:16:16 -07:00
Timothy Clem	6d3dc92505	Just sequenceA_ contextTerms for now	2018-08-21 11:15:59 -07:00
Patrick Thomson	7f5783abb0	Fix Haddock generation. ... Bumps gRPC-haskell and removes an invalid (and unilluminating) comment. To test, run `stack haddock --fast --open`.	2018-08-21 12:40:16 -04:00
Timothy Clem	beb0f5f6c3	This got renamed	2018-08-21 09:39:47 -07:00
Timothy Clem	c622251f56	Work on Ruby method tokenizing	2018-08-21 09:39:37 -07:00
Timothy Clem	51d3422191	New splice api	2018-08-21 09:39:19 -07:00
Timothy Clem	e8aa27bee5	Some renames just to preventing name ambiguity	2018-08-21 09:39:10 -07:00