34237 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	cc807c7b95	Inline findEdge.	2022-02-03 11:27:50 -05:00
Rob Rix	44ce77df56	Find named edges.	2022-02-03 11:26:25 -05:00
Rob Rix	ab6f066f39	Use fix instead of hand-rolling it.	2022-02-02 11:46:23 -05:00
Rob Rix	25a444c8f8	Add modules.	2022-02-01 14:43:49 -05:00
Rob Rix	a88972cf32	Correct ordering.	2022-02-01 14:33:43 -05:00
Rob Rix	0b5562c0fa	Correct associativity.	2022-02-01 14:31:36 -05:00
Rob Rix	fe46c706ea	Construct nested let-bindings.	2022-02-01 14:29:13 -05:00
Rob Rix	f60b256846	Add let bindings to Syntax.	2022-02-01 14:21:27 -05:00
Rob Rix	ff516c39ac	Define a let' macro.	2022-02-01 14:12:06 -05:00
Rob Rix	1f2b8a1490	Add let-bindings.	2022-02-01 14:05:01 -05:00
Rob Rix	b6fac248f1	Add a heading for Dom.	2022-02-01 13:54:00 -05:00
Rob Rix	374c8f990d	Factor out resolution of edges.	2022-02-01 13:47:34 -05:00
Rob Rix	caf3c3f1cd	Generalize edge.	2022-02-01 13:42:20 -05:00
Rob Rix	52f6d2b07c	Parse block nodes (incorrectly).	2022-02-01 13:12:23 -05:00
Rob Rix	b7f1d1f928	Match else clauses.	2022-02-01 12:52:05 -05:00
Rob Rix	d86289a78f	Add per-child edges to blocks.	2022-02-01 12:29:31 -05:00
Rob Rix	d32d44d6d7	Add a dependency on bytestring.	2022-01-28 14:01:16 -05:00
Rob Rix	ffb38fa574	Get the index from the objects again.	2022-01-28 14:00:57 -05:00
Rob Rix	10f2423c39	Pass the index in.	2022-01-28 11:42:15 -05:00
Rob Rix	63b5e970fd	Parse files.	2022-01-28 11:35:03 -05:00
Rob Rix	27b436f6d9	Spacing.	2022-01-28 11:18:39 -05:00
Rob Rix	6084ab89e9	Define a knot-tied handler.	2022-01-27 14:18:51 -05:00
Rob Rix	512618e17d	Define a convenient evaluation handler.	2022-01-27 14:18:14 -05:00
Rob Rix	64c73458ea	Specialize Interpret to values.	2022-01-27 14:17:40 -05:00
Rob Rix	5acdc526e2	Define an abstract interpretation implementation of Syntax.	2022-01-27 14:14:23 -05:00
Rob Rix	7946b74395	ddie takes a value, not a primitive.	2022-01-27 14:13:48 -05:00
Rob Rix	39c4f8ecaa	Depend on vector.	2021-12-17 15:24:54 -05:00
Rob Rix	be0c656e9f	Parse graphs.	2021-12-17 15:21:31 -05:00
Rob Rix	ecb25608f8	Parse directly into Syntax.	2021-12-17 15:14:17 -05:00
Rob Rix	28f9bd84cd	Define an AST and JSON deserialization.	2021-12-15 15:04:52 -05:00
Rob Rix	527e02725f	Rename the raise node.	2021-12-15 15:04:38 -05:00
Rob Rix	253f0e9b52	Add labelled edges instead of adding edges to attributes.	2021-12-15 13:59:14 -05:00
Rob Rix	cd2b0b7d59	Define a small interpreter for Syntax.	2021-12-14 14:53:39 -05:00
Rob Rix	abeb3ae084	Define a small library of combinators over Print.	2021-12-14 14:50:53 -05:00
Rob Rix	397995e8a1	Define a Show instance for Print.	2021-12-14 14:46:59 -05:00
Rob Rix	9642b12730	Define a Monoid instance for Print.	2021-12-14 14:46:31 -05:00
Rob Rix	771c3dcd4b	Define a Semigroup instance for Print.	2021-12-14 14:46:09 -05:00
Rob Rix	ee7135c5a7	Define a pretty-printing interpreter.	2021-12-14 14:45:37 -05:00
Rob Rix	756a3b48e0	Define a tree-sitter-graph file for Python interpretation.	2021-12-14 14:37:59 -05:00
Rob Rix	3b89756033	Stub in an interface for syntax.	2021-12-14 14:37:29 -05:00
Rob Rix	9c9a9a4007	Define a module for syntax.	2021-12-14 14:36:29 -05:00
Rob Rix	e4281d57f7	Merge pull request #659 from github/abstract-normalization-by-abstract-evaluation ... Parametric modular interpretation	2021-08-24 11:42:40 -04:00
Rob Rix	26655c219b	Merge branch 'master' into abstract-normalization-by-abstract-evaluation	2021-08-24 10:52:58 -04:00
Rob Rix	b5b39bdc2f	📝 Neutral.	2021-08-24 09:47:03 -04:00
Patrick Thomson	e9e1f01025	Merge pull request #657 from ahelwer/patch-1 ... External scanners: used for CSGs, not CFGs	2021-08-24 09:07:30 -04:00
Rob Rix	3cd8945a2b	This component no longer exists.	2021-08-19 17:10:21 -04:00
Rob Rix	68f823ea43	Fix the CLI spec.	2021-08-19 15:50:12 -04:00
Rob Rix	7696adfc97	Fix a spec.	2021-08-19 15:46:45 -04:00
Rob Rix	55c349bc0f	HIde an import.	2021-08-19 13:47:07 -04:00
Rob Rix	841c17969f	Exclude Language.Python.Failure.	2021-08-19 13:46:26 -04:00