809 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Paul Chiusano	25280bacd8	split Stream and Free out into separate modules, added some convenience functions	2015-12-17 10:52:12 -05:00
Paul Chiusano	bc3073b44a	switch to isLeaf rather than isBin	2015-12-17 01:32:20 -05:00
Paul Chiusano	9af18b90f9	switch to nicer representation of data type for query interpreters	2015-12-17 01:29:27 -05:00
Paul Chiusano	3c6d420a45	formatting cleanup	2015-12-16 16:12:08 -05:00
Paul Chiusano	6bf34ae2aa	some cleanup + identity traversal	2015-12-15 20:05:21 -05:00
Paul Chiusano	56cf02fc6a	be sure to recursively trim	2015-12-15 16:39:28 -05:00
Paul Chiusano	6c65574e07	Implemented trim traversal	2015-12-15 16:38:42 -05:00
Paul Chiusano	3e4fcd66c8	bit of cleanup	2015-12-15 16:04:11 -05:00
Paul Chiusano	44006f6b94	running a traversal now returns a stream	2015-12-15 15:18:59 -05:00
Paul Chiusano	16db535018	Implementing Pcbt fuseable traversals	2015-12-15 14:58:37 -05:00
Paul Chiusano	82013b035b	added fast vector implementation	2015-12-14 23:10:27 -05:00
Paul Chiusano	f378a4759d	fix tests	2015-12-14 21:05:13 -05:00
Paul Chiusano	5cbb47ac4a	don't allow advance action while explorer open; fuzzier string matching in TermExplorer	2015-12-07 09:09:10 -05:00
Paul Chiusano	e870eb23c2	checkAdmissible now correctly moves quantifiers outside before checking	2015-12-02 23:02:40 -05:00
Paul Chiusano	d9c8499adc	hooked up accept and insert action	2015-12-02 22:50:42 -05:00
Paul Chiusano	1a076f8ae5	switch to less hacky way of ensuring event are processed in the correct order	2015-12-02 21:20:41 -05:00
Paul Chiusano	2b331e6292	much better algorithm for finding next location when advancing cursor	2015-12-02 16:15:48 -05:00
Paul Chiusano	3742d8ad0c	implemented accept and advance action, still needs some tweaking to the algo for finding the next location	2015-12-02 14:51:15 -05:00
Paul Chiusano	01fa586201	special case for prefix operator paren handling	2015-12-02 09:56:45 -05:00
Paul Chiusano	67264e748a	fix parenthesization bug in prettyprinters	2015-12-01 23:19:24 -05:00
Paul Chiusano	3b059cd97a	only allow one outstanding search at a time	2015-12-01 22:55:13 -05:00
Paul Chiusano	192ee8502a	fix typechecking of literals in explorer	2015-12-01 22:15:56 -05:00
Paul Chiusano	652da190f6	rewrite how event handling works for explorer, much simplified	2015-12-01 18:32:10 -05:00
Paul Chiusano	0082fec118	nicer handling of display of current type	2015-12-01 10:43:18 -05:00
Paul Chiusano	ebe714c6fd	Fix rendering of foralls	2015-12-01 10:07:44 -05:00
Paul Chiusano	0fb1ea1331	fix issue with searches not being rerun	2015-11-29 15:52:13 -05:00
Paul Chiusano	343e02caf4	use mapDynM rather than combineDyn	2015-11-27 15:35:39 -05:00
Paul Chiusano	20e8b379e9	CSS tweaks	2015-11-27 15:26:07 -05:00
Paul Chiusano	e89804a554	UI tweaking and bugfixes	2015-11-26 16:35:42 -05:00
Paul Chiusano	52b16475ab	vector literals in explorer	2015-11-26 14:30:30 -05:00
Paul Chiusano	528c566d2a	more UI fixes, explorer opening and closing, with path being displayed correctly	2015-11-26 13:52:35 -05:00
Paul Chiusano	cf2d51bbc7	more UI fixes	2015-11-24 23:22:22 -05:00
Paul Chiusano	267b86dfb8	several UI fixes	2015-11-24 18:05:16 -05:00
Paul Chiusano	9dc4f81d82	fix vector path handling	2015-11-24 16:11:01 -05:00
Paul Chiusano	4136bc63b4	disable navigation while explorer open	2015-11-24 14:04:48 -05:00
Paul Chiusano	6d13daed45	WIP fixing various issues with explorer	2015-11-24 13:54:22 -05:00
Paul Chiusano	5789edaca1	switch to using symbolic link for shared / editor dependency, for faster turnaround times	2015-11-22 17:20:06 -05:00
Paul Chiusano	b6f3132a18	compiling version of editor + explorer	2015-11-22 16:47:15 -05:00
Paul Chiusano	7b2a404562	added logic for local info rendering	2015-11-20 14:50:39 -05:00
Paul Chiusano	6cad73b19c	added remote request logic to term explorer	2015-11-18 13:00:11 -05:00
Paul Chiusano	a85da7daea	more progress on term explorer	2015-11-18 11:49:18 -05:00
Paul Chiusano	d90a815e52	Move local info rendering inside term explorer	2015-11-17 16:20:10 -05:00
Paul Chiusano	51f845282c	more progress on term explorer	2015-11-17 16:08:09 -05:00
Paul Chiusano	5fedcac96c	WIP on term explorer	2015-11-17 13:46:36 -05:00
Paul Chiusano	2a4a9dfad2	WIP on term explorer	2015-11-17 11:26:21 -05:00
Paul Chiusano	dc2897c206	remove unused type parameter	2015-11-16 16:31:37 -05:00
Paul Chiusano	f7212b0e53	code now compiles with new path type	2015-11-13 16:49:09 -05:00
Paul Chiusano	e92e97eb6e	WIP removing old path type, not quite compiling yet	2015-11-13 16:42:59 -05:00
Paul Chiusano	0d7991b566	add Views module	2015-11-13 15:51:48 -05:00
Paul Chiusano	778332003c	port term and type prettyprinters to new path type	2015-11-13 15:49:37 -05:00