322 Commits

Author	SHA1	Message	Date
Rob Rix	78be762a0c	Use the parser helper for the rest of the evaluators.	2018-03-08 12:51:44 -05:00
Rob Rix	e912723b92	Evaluate Ruby files using the helper.	2018-03-08 12:50:56 -05:00
Rob Rix	5887ba194f	Generalize the parser helper over the parser.	2018-03-08 12:50:00 -05:00
Rob Rix	0bbbe11b77	Use parsePythonFile to evaluate.	2018-03-08 12:47:11 -05:00
Rob Rix	b7536a939a	Extract a helper to parse Python files.	2018-03-08 12:46:46 -05:00
Rob Rix	f301cb0943	Typecheck and trace using evaluateModule.	2018-03-08 12:46:26 -05:00
Rob Rix	5c65b042c3	Use the simplified RunEffects interface.	2018-03-08 12:42:03 -05:00
Rob Rix	e20fcac374	🔥 evaluateDead.	2018-03-08 11:36:53 -05:00
Rob Rix	563b43b527	Move Evaluator into the Evaluating module.	2018-03-08 11:31:59 -05:00
Rob Rix	3f358a4cce	Rename EvaluatorEffects to EvaluatingEffects.	2018-03-08 11:25:18 -05:00
Rob Rix	9fa05c9b61	Define a convenience for evaluating Python with dead code and tracing analyses.	2018-03-08 10:50:55 -05:00
Rob Rix	02347f7014	Rename Evaluation to Evaluating.	2018-03-08 10:00:31 -05:00
Rob Rix	bce888995a	Abstract CachingAnalysis over the underlying analysis.	2018-03-07 21:50:44 -05:00
Rob Rix	19ae302c40	Define the tracePythonFile helper w/o evaluateTrace.	2018-03-07 18:05:53 -05:00
Rob Rix	147c373c29	Define a helper for tracing Python files.	2018-03-07 15:23:36 -05:00
Patrick Thomson	c3d01b6602	Resuscitate the caching evaluator. ... The caching analysis had been disabled, as it was still written in the open-interpreter style. This patch restores it, defining a `CachingAnalysis` newtype that uses nondeterministic but convergent caching in its `MonadAnalysis` instance. This also defines an `embedSubterm` helper that is useful in defining new analysis passes. Thanks to @robrix for 🍐!	2018-03-06 13:51:00 -05:00
Rob Rix	5199bebf39	Merge branch 'master' into evaluatable-simplification	2018-03-01 16:55:18 -05:00
joshvera	41a538d7e1	Merge remote-tracking branch 'origin/master' into rename-semantic	2018-03-01 10:16:35 -05:00
Rob Rix	9192a35b06	Merge branch 'eval-effect' into algebraic-evaluation	2018-03-01 09:56:12 -05:00
joshvera	83e2ba56e5	Merge remote-tracking branch 'origin/master' into prologue	2018-02-28 15:30:42 -05:00
Rob Rix	244f4722b6	🔥 a redundant import.	2018-02-28 14:29:28 -05:00
joshvera	383fbf747b	Merge remote-tracking branch 'origin/master' into prologue	2018-02-28 12:19:06 -05:00
joshvera	9963f4a2b0	expose Monoid typeclass	2018-02-28 11:27:25 -05:00
Rob Rix	4f5250bc95	Merge branch 'eval-effect' into algebraic-evaluation	2018-02-27 11:53:22 -05:00
Timothy Clem	8903fbbecf	Remove micro Ruby/Python	2018-02-27 08:23:13 -08:00
Rob Rix	74d7ca7df2	Factor Base out of the algebra synonyms.	2018-02-27 09:26:05 -05:00
joshvera	e32961edde	Rename semantic-diff to semantic	2018-02-26 13:16:56 -05:00
Timothy Clem	3772c1dde6	Whitespace	2018-02-23 14:28:51 -08:00
Timothy Clem	4d090bb085	Cleanup util a bit	2018-02-23 11:09:02 -08:00
Timothy Clem	bd0cc0c027	Add a small version of Python to work with too	2018-02-23 08:54:26 -08:00
Timothy Clem	e5426e3744	Evaluate lots of ruby files	2018-02-22 16:34:30 -08:00
joshvera	19b6778ac5	Add evaluateRubyFile2	2018-02-21 15:34:49 -05:00
Timothy Clem	e46d92dc65	Eval test harness for Ruby	2018-02-16 13:37:56 -08:00
Timothy Clem	3c5714af7f	Add a type signature here	2018-02-16 12:38:29 -08:00
Timothy Clem	cbc5776cc9	Cleanup, remove imports, extra contexts	2018-02-16 12:38:29 -08:00
Timothy Clem	41841b6947	Fix the recursive Eff issue with the Linker Effects	2018-02-16 12:38:29 -08:00
Timothy Clem	b1633cf356	Blobs so we can know language	2018-02-16 12:38:29 -08:00
Timothy Clem	1943a5a905	Parse files to filepath, term pairs	2018-02-16 12:38:29 -08:00
Timothy Clem	32c2e92660	Couple of extra helper utils	2018-02-16 12:38:29 -08:00
Timothy Clem	aed971ed07	Merge branch 'master' into import-graph	2018-02-12 10:11:29 -08:00
Rob Rix	2e06b93f0b	Correct indentation.	2018-02-07 13:24:38 -05:00
Timothy Clem	a6fbebbf6d	Basic plumbing for import rendering	2018-01-23 11:21:42 -08:00
Timothy Clem	6f1f141cfb	Better field names, join instead of if/then	2018-01-22 11:24:55 -08:00
Timothy Clem	fb5cb974a6	Clean up import	2018-01-22 11:24:14 -08:00
Timothy Clem	6517970f8a	Symbol rendering (like tags, but new hotness)	2018-01-17 12:54:17 -08:00
Timothy Clem	3b173123e4	Formatting	2018-01-17 10:05:44 -08:00
Timothy Clem	706ed5cc0c	Better way to pass around tag fields to the one renderer	2018-01-16 11:39:04 -08:00
Timothy Clem	173b9acd38	Field selection for tag output	2018-01-16 10:40:45 -08:00
Timothy Clem	816eb600f7	Remove old --toc-assignment flag	2018-01-10 15:26:13 -08:00
joshvera	99d9b7c97a	Merge master into 🔥-monolithic-syntax	2017-12-19 13:09:30 -05:00