Josh Vera 6bb737c18f Merge branch 'master' into combined-state-effects		2018-03-28 11:56:17 -04:00
..
Analysis	Merge branch 'master' into combined-state-effects	2018-03-28 08:33:19 -04:00
Assigning/Assignment	Initial pass fixing errors raised by weeder.	2018-03-09 12:07:34 -05:00
Data	unused constraint	2018-03-22 13:07:32 -04:00
Diffing	Major updates to identifiers: free variables can be qualified names	2018-03-07 17:01:47 -08:00
fixtures	Merge branch 'master' into matching	2018-03-28 11:45:57 -04:00
Integration	More spec import cleanup	2018-03-13 11:10:50 -07:00
Matching/Go	Introduce tree-automata DSL for filtering and matching ASTs.	2018-03-27 16:14:30 -04:00
Rendering	Fix references to PackageDef in tests	2018-03-26 12:49:52 -07:00
repos	remove go-test repo	2016-10-31 17:13:57 -04:00
Semantic	More spec import cleanup	2018-03-13 11:10:50 -07:00
Test/Hspec	🔥 Prologue & protolude.	2017-07-28 14:37:02 -04:00
Doctests.hs	Merge branch 'master' into disable-doctests	2018-03-26 13:28:03 -04:00
Spec.hs	Introduce tree-automata DSL for filtering and matching ASTs.	2018-03-27 16:14:30 -04:00
SpecHelpers.hs	Use the EvaluatingState fields directly.	2018-03-27 15:23:26 -04:00