unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-25 01:08:30 +03:00
Code Issues Projects Releases Wiki Activity
836 Commits 418 Branches 90 Tags 348 MiB
ec933db185
Commit Graph

836 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Paul Chiusano
ec933db185 Remove overly complicated manual run instructions 2016-01-28 12:17:55 -05:00
Paul Chiusano
292b6264bd Merge pull request #35 from NightRa/patch-1 
README: Fixed link and simpler execution
 2016-01-28 12:05:21 -05:00
Ilan Godik
444dee85bd Fixed link and simpler execution 2016-01-28 19:02:29 +02:00
Paul Chiusano
ad60f7d3d1 Merge pull request #34 from unisonweb/topic/stack 
Convert build to use stack
 2016-01-28 11:54:53 -05:00
Paul Chiusano
ef4eb55e39 Lots of cleanup, everything works, and deleted all old nix stuff 2016-01-28 11:50:51 -05:00
Paul Chiusano
145186a864 fix UI.mousemove event to return *local* coordinates of mouse position, relative to top-left corner of element 2016-01-26 22:46:00 -05:00
Paul Chiusano
db0b21070d build compiles using stack 2016-01-26 20:25:58 -05:00
Paul Chiusano
6601465fc7 faster mostSignificantBit 2016-01-11 14:34:03 -05:00
Paul Chiusano
a536fa2bc0 cleanup / fix fromList 2016-01-10 23:28:03 -05:00
Paul Chiusano
81d4aaf958 finish implementation of fromList, minus proper placement of hits 2016-01-10 22:15:22 -05:00
Paul Chiusano
97e95ec2d5 WIP on fromList implementation 2016-01-10 19:53:50 -05:00
Paul Chiusano
abd67aa657 remove old representation, renamed View to Pcbt 2016-01-06 11:50:59 -05:00
Paul Chiusano
1229eac0d5 lazy expanding paths for joinOn 2016-01-04 16:35:27 -05:00
Paul Chiusano
baaa7cb9a5 lazily expanding paths for intersect and union 2016-01-04 16:14:50 -05:00
Paul Chiusano
84d0c8286e working on allowing minimal path differentiation 2016-01-04 15:22:34 -05:00
Paul Chiusano
bc62c7eab4 use applicative, not monad, which wasn't needed 2016-01-04 14:59:29 -05:00
Paul Chiusano
6ec8f871a2 remove unused imports 2015-12-22 00:49:39 -05:00
Paul Chiusano
044dcf2489 implemented joinOn 2015-12-22 00:33:24 -05:00
Paul Chiusano
9c483cefae union, intersection, and interleaved union and intersection 2015-12-21 23:19:55 -05:00
Paul Chiusano
4b7cb29c14 remove max path argument 2015-12-21 22:31:43 -05:00
Paul Chiusano
7f2edf0af5 implement union 2015-12-21 16:17:13 -05:00
Paul Chiusano
9c0751b88d implemented streaming sorting of Pcbts 2015-12-21 16:03:49 -05:00
Paul Chiusano
ceff70d95a implemented limit 2015-12-19 19:04:59 -05:00
Paul Chiusano
d1476c59e7 another tweak to at function 2015-12-19 17:26:25 -05:00
Paul Chiusano
69739253bb added isSubpath function to Path module 2015-12-18 19:28:29 -05:00
Paul Chiusano
b8321b11af Allow choosing both branches in at lookup 2015-12-18 17:16:24 -05:00
Paul Chiusano
d98fb3bb98 change signature of at function 2015-12-18 17:02:52 -05:00
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