791 Commits (1c682000e0183a6f568e9796bebb919477e327a6)

Author SHA1 Message Date
Ziyang Hu 10bfb0a93f more convenience functions 2 years ago
Ziyang Hu 8f2f42566a joiner convenience function 2 years ago
Ziyang Hu 18092b6186 optimize semi-naive logic 2 years ago
Ziyang Hu c4ee752bbc optimize semi-naive logic 2 years ago
Ziyang Hu 0e1f5a42ff correct skipping of rule calculation 2 years ago
Ziyang Hu bc23afa0f4 working semi-naive with snapshot 2 years ago
Ziyang Hu 067708f2fb working semi-naive 2 years ago
Ziyang Hu 6fa609bbf0 semi-naive evaluation 2 years ago
Ziyang Hu 00fb6b9204 semi-naive evaluation 2 years ago
Ziyang Hu 434a80dc5f reorder relation 2 years ago
Ziyang Hu fc69de69b8 stored relation 2 years ago
Ziyang Hu e4c09a5d8e rulesets manipulation 2 years ago
Ziyang Hu 5dfcaa67b6 parsing rulesets 2 years ago
Ziyang Hu a0844961c2 ruleset parsing 2 years ago
Ziyang Hu 1a24d24a00 python helper 2 years ago
Ziyang Hu ae0156772e more consistent terminology 2 years ago
Ziyang Hu 5ac829adef plan for full query API 2 years ago
Ziyang Hu f73a821b7b more stringent parsing 2 years ago
Ziyang Hu 3e765c64f5 refer to entity by unique index 2 years ago
Ziyang Hu 468a6606f4 fix various problems 2 years ago
Ziyang Hu bea56054e5 try to build smaller tree 2 years ago
Ziyang Hu 5888e067d4 first high point 2 years ago
Ziyang Hu 486563c444 parse query clauses 2 years ago
Ziyang Hu d675b07940 materialized join 2 years ago
Ziyang Hu 5b529211a0 prefix join 2 years ago
Ziyang Hu 61e46ff147 iter projected relation 2 years ago
Ziyang Hu 3f4c7eaa85 the last of the triple joins 2 years ago
Ziyang Hu 1d3627b1fd ops on throwaway db 2 years ago
Ziyang Hu 1c350c7a42 three joins 2 years ago
Ziyang Hu db540f97d9 two joins 2 years ago
Ziyang Hu e316c44fca scratch DB 2 years ago
Ziyang Hu a857cb11cc change mutability for scan operations 2 years ago
Ziyang Hu 79808a4513 triple join skeleton 2 years ago
Ziyang Hu 493d0c95d8 joining game 2 years ago
Ziyang Hu 987d0c80f8 very simple tuple implementation 2 years ago
Ziyang Hu 52f5f8e4a5 very simple tuple implementation 2 years ago
Ziyang Hu 319225b7a9 simplify code 2 years ago
Ziyang Hu e595bd880b restore used function 2 years ago
Ziyang Hu 2633d191ff default value behaviour 2 years ago
Ziyang Hu dd39abffc2 cleanup 2 years ago
Ziyang Hu 8ed1d1ab02 recursive pull is subtle 2 years ago
Ziyang Hu 1b6a9ab3e5 recursion 2 years ago
Ziyang Hu ffa45f3445 recursion but cardinality not right 2 years ago
Ziyang Hu 3fe5a4865a parse pull specs 2 years ago
Ziyang Hu 85c500bf62 update tests 2 years ago
Ziyang Hu 6806b0f217 safe pullall 2 years ago
Ziyang Hu bacb30d5ca recursive attr pull 2 years ago
Ziyang Hu b8eee08641 pull attr, recursive star pull 2 years ago
Ziyang Hu 6518fc7d94 pullall 2 years ago
Ziyang Hu 0bbec5c895 pull 2 years ago
Ziyang Hu d82bbbd29b move stuff around 2 years ago
Ziyang Hu e3d9a18124 move stuff around 2 years ago
Ziyang Hu 1c8ff81f84 real deletion 2 years ago
Ziyang Hu 46c7a6a6ac no ns for keyword 2 years ago
Ziyang Hu 1dafb53f7f no ns for keyword 2 years ago
Ziyang Hu ddd64fe2ff fix component logic 2 years ago
Ziyang Hu 939e36de19 fix component logic 2 years ago
Ziyang Hu 14b375bfa1 export everything 2 years ago
Ziyang Hu 1e12ce0c6c rename for clearer intention 2 years ago
Ziyang Hu 22d961560b refer by identity fields 2 years ago
Ziyang Hu eded6a775e component shorthand 2 years ago
Ziyang Hu 28f5eeb13d AVE forward and backward scanning 2 years ago
Ziyang Hu f2e529bcd2 insertion supports array of values 2 years ago
Ziyang Hu 99d954af16 temp id stuff 2 years ago
Ziyang Hu f0b36edd84 iterator fiasco 2 years ago
Ziyang Hu d1910767c9 test retraction 2 years ago
Ziyang Hu 99c66fb6d4 return more from transactions 2 years ago
Ziyang Hu 2796af0534 get all attrs 2 years ago
Ziyang Hu f28049459a fix destroy-on-exit logic 2 years ago
Ziyang Hu 62aa8910ad update HTTP API 2 years ago
Ziyang Hu 6634f3d816 triple transacts 2 years ago
Ziyang Hu bf412a9e52 tx triple mess 2 years ago
Ziyang Hu 9821bc2c6b insertions 2 years ago
Ziyang Hu 62511919a8 tx triples 2 years ago
Ziyang Hu a9c1676e24 tx triples 2 years ago
Ziyang Hu 51a27163c6 transact attributes over http 2 years ago
Ziyang Hu 539083f7b5 display validity as datetime 2 years ago
Ziyang Hu 7ccaeec425 fix broken tests 2 years ago
Ziyang Hu 9bb3d64aaa tests fail 2 years ago
Ziyang Hu 0b0ff6a30a uniqueness check 2 years ago
Ziyang Hu d6c59407bb iterators support validity query 2 years ago
Ziyang Hu a193c9aa82 first run txid -> validity, make compiler happy 2 years ago
Ziyang Hu 2bc4adc858 introduce validity 2 years ago
Ziyang Hu cf9977a7b3 triple tests 2 years ago
Ziyang Hu 6624a8a11f triple tests 2 years ago
Ziyang Hu dcfb450d5f iterators 2 years ago
Ziyang Hu 7678dcf1c0 binary search 2 years ago
Ziyang Hu 63d6fec614 caching for eid by av 2 years ago
Ziyang Hu 1b340fa0b8 change no history impl 2 years ago
Ziyang Hu 4dada569e2 put StoreOp in data instead of in key 2 years ago
Ziyang Hu d3eeffcd6e stop! 2 years ago
Ziyang Hu c8cc80df8f signal values contain more information 2 years ago
Ziyang Hu b705f19991 starting this triple business 2 years ago
Ziyang Hu 70cf2e3674 add caching to attr tx 2 years ago
Ziyang Hu 87f0330ac3 wrap-up 2 years ago
Ziyang Hu ee4df13fd8 wrap-up 2 years ago
Ziyang Hu 53d2985f3e complete attr tx 2 years ago
Ziyang Hu b2bd86f723 complete attr tx 2 years ago
Ziyang Hu ef72c757d1 transact attributes 2 years ago
Ziyang Hu fff799f44e attribute and json 2 years ago
Ziyang Hu 26d1718af1 attribute and json 2 years ago
Ziyang Hu c364e9ae54 starting DB 2 years ago
Ziyang Hu 6e145a9a93 change encoding scheme 2 years ago
Ziyang Hu aee54ecdd0 methods for amending txid 2 years ago
Ziyang Hu 41d89d0415 new C++ interop 2 years ago
Ziyang Hu 45522ee043 add more encodings 2 years ago
Ziyang Hu dd7a59d258 encode, decode, compare 2 years ago
Ziyang Hu f855d4215b c++/rust comparator 2 years ago
Ziyang Hu eddf6a5573 triple branche 2 years ago
Ziyang Hu c0912dfbed chain walk looping 2 years ago
Ziyang Hu 159841b14f extract builders to free functions 2 years ago
Ziyang Hu 46aaf09a6c silence it 2 years ago
Ziyang Hu 9faf043fb6 Arc -> Rc for expr 2 years ago
Ziyang Hu e9e47531ec various fixes 2 years ago
Ziyang Hu fbf03b8fea getting started with web server 2 years ago
Ziyang Hu 350c3884a9 into smaller pieces 2 years ago
Ziyang Hu 5e5a6b9888 rework walk builder 2 years ago
Ziyang Hu eb34d3e49b rework sorting 2 years ago
Ziyang Hu 66f45e113a walk to the end 2 years ago
Ziyang Hu 19db69bbb9 in mem sorting 2 years ago
Ziyang Hu d00d93650d clustered filtering 2 years ago
Ziyang Hu f7914f7b22 clustered skip and take 2 years ago
Ziyang Hu 5c37796211 clustered skip and take 2 years ago
Ziyang Hu 4203346bd3 formatting 2 years ago
Ziyang Hu dc237a13c2 minmax 2 years ago
Ziyang Hu a84cd0227e op collect and op collect_if 2 years ago
Ziyang Hu 144c4e9709 specialized implementations 2 years ago
Ziyang Hu 3e48c48dad op_sum 2 years ago
Ziyang Hu 279b737612 op_agg in subdir 2 years ago
Ziyang Hu aaf331640a minor changes 2 years ago
Ziyang Hu 704a8098d6 walk through 2 years ago
Ziyang Hu 3391cc5da5 walk from node to edge 2 years ago
Ziyang Hu 64482664b6 start the walk 2 years ago
Ziyang Hu 86547a2e06 binding map business 2 years ago
Ziyang Hu 02bc5e0c5b start walker 2 years ago
Ziyang Hu 01da8341ab finish update op 2 years ago
Ziyang Hu 2bdf8e9d66 building updater 2 years ago
Ziyang Hu 3936ac8390 more principled insert parser 2 years ago
Ziyang Hu 6caf827430 utilize identity 2 years ago
Ziyang Hu f91fef799e better use of deletion input 2 years ago
Ziyang Hu d60e884a82 deletion of data 2 years ago
Ziyang Hu 29d9e90d37 cleanup 2 years ago
Ziyang Hu 6cce3e97da cleanup 2 years ago
Ziyang Hu 302e248a34 diff op 2 years ago
Ziyang Hu 83ee9af5b8 symdiff op 2 years ago
Ziyang Hu 3cdd1aec75 intersect op 2 years ago
Ziyang Hu e8802c395f union op 2 years ago
Ziyang Hu b0d46115b5 group op 2 years ago
Ziyang Hu c7ef9da43e more aggr functions 2 years ago
Ziyang Hu 95650f7610 more helper function 2 years ago
Ziyang Hu 46224cfb65 aggregate functions 2 years ago
Ziyang Hu 64c1ba3263 refactor expr 2 years ago
Ziyang Hu 3e5ca6c790 remove old files 2 years ago
Ziyang Hu 87246503e8 fix problem with concat 2 years ago
Ziyang Hu 793b3f0ec7 merge join OK 2 years ago
Ziyang Hu 772ae5bbe0 cleanup 2 years ago
Ziyang Hu c84868aff0 implement sorting 2 years ago
Ziyang Hu 9a07675f78 implement sorting 2 years ago
Ziyang Hu ad36e2d86d fix chain left join 2 years ago
Ziyang Hu d969e97e70 cleanup 2 years ago
Ziyang Hu aeb4ae1522 cleanup 2 years ago
Ziyang Hu 223695df63 fix binding map problems 2 years ago
Ziyang Hu 4a27d519e6 no more strange edge encoding 2 years ago
Ziyang Hu 06f93e8259 nested loop 2 years ago
Ziyang Hu 0fe284fe8d more of nested loops 2 years ago
Ziyang Hu 15175ce772 for nested loops 2 years ago
Ziyang Hu 8825d8ccdc cleanup 2 years ago
Ziyang Hu 1b8b6e9dcc left outer join 2 years ago
Ziyang Hu 32a00ff449 tupleslice always sharedptr 2 years ago
Ziyang Hu bfd0e5cdc3 cartesian join 2 years ago
Ziyang Hu 0c7f65f22a take and skip 2 years ago
Ziyang Hu 63dd65f6d2 clearer assoc construction 2 years ago
Ziyang Hu 7bf31f598c AssocOp 2 years ago
Ziyang Hu 1759401726 fix edge idx fiasco 2 years ago
Ziyang Hu 0dc41eb671 relational algebra not dyn trait 2 years ago
Ziyang Hu 854ab4903f Arc for relational algebra is not necessary 2 years ago
Ziyang Hu 169a915656 flatten on output 2 years ago
Ziyang Hu 68b76fc607 support unscoped map in select 2 years ago
Ziyang Hu de953b4be9 selection op 2 years ago
Ziyang Hu 58af3afa79 where filter 2 years ago
Ziyang Hu bd8e7584db single table scan 2 years ago
Ziyang Hu bd8181dc7d placeholders 2 years ago
Ziyang Hu 9d972c58d4 remove useless method 2 years ago
Ziyang Hu 0a7e5d8382 remove useless method 2 years ago
Ziyang Hu 472d27bedd get edge and index info 2 years ago
Ziyang Hu 6b56f8a558 profiling 2 years ago
Ziyang Hu dd76c4521e profiling 2 years ago
Ziyang Hu b990829bc1 profiling 2 years ago
Ziyang Hu b0d660bbfb insertion of test data 2 years ago
Ziyang Hu 6cf889232e remove old file 2 years ago
Ziyang Hu dded6b887a tagged insertion 2 years ago
Ziyang Hu 86c262a237 row eval context 2 years ago
Ziyang Hu c17e703fb0 renaming 2 years ago
Ziyang Hu f7b68edcbf use anyhow throughout 2 years ago
Ziyang Hu 95239589b9 use anyhow throughout 2 years ago
Ziyang Hu c30eca5088 cleanup 2 years ago
Ziyang Hu 9c1a368508 cleanup 2 years ago
Ziyang Hu 743529d7f4 insertion of values 2 years ago
Ziyang Hu 0adf90e6c9 fighting with lifetimes 2 years ago
Ziyang Hu 27016eb31e call it a day 2 years ago
Ziyang Hu e112cfcf3a partial eval concat 2 years ago
Ziyang Hu 29c487131d partial eval merge 2 years ago
Ziyang Hu 6619dc0488 ra from values 2 years ago
Ziyang Hu 8c1a214102 extend params 2 years ago
Ziyang Hu 1032109cd5 extend params 2 years ago
Ziyang Hu e207b05588 extend params 2 years ago
Ziyang Hu a863b5e4cc extend params 2 years ago
Ziyang Hu dcd11e4a7b split file and format 2 years ago
Ziyang Hu 0b2fe4eecd cleaning up 2 years ago
Ziyang Hu 119b1adad4 cleaning up 2 years ago
Ziyang Hu b30e9cf278 cleaning up 2 years ago
Ziyang Hu 8624cdcda9 format 2 years ago
Ziyang Hu 7fb4b80711 execute schema-defining scripts 2 years ago
Ziyang Hu 5942e4fb0c delete old files 2 years ago
Ziyang Hu 737478b19d change grammar 2 years ago
Ziyang Hu 190e2abc4c popping envs 2 years ago
Ziyang Hu a15c43dc2e almost completing reify tables 2 years ago
Ziyang Hu 98d9420b5f store data in main 2 years ago
Ziyang Hu 1168a836e9 store data in main 2 years ago
Ziyang Hu 33e95e52cd store data in main 2 years ago
Ziyang Hu d51a3c482d store table for temp 2 years ago
Ziyang Hu 1c6c3777e8 more principled approaches to storing meta information 2 years ago
Ziyang Hu 726107adec fix edge field names 2 years ago
Ziyang Hu 5fb4a14234 avoid unnecessary evaluation 2 years ago
Ziyang Hu dff378c7ac retire the special case of field access 2 years ago
Ziyang Hu 793030d9a1 reification without execution 2 years ago
Ziyang Hu 3e15032122 parse DDL to dry representation 2 years ago
Ziyang Hu 63ed776699 node def parsing again 2 years ago
Ziyang Hu 79162f833e start RA 2 years ago
Ziyang Hu 1cfa704fcc fn call notation 2 years ago
Ziyang Hu 1e3af751b7 fn call notation 2 years ago
Ziyang Hu c0f2618278 totally misunderstood rust's "polymorphism" 2 years ago
Ziyang Hu f6b58e460f switch expr 2 years ago
Ziyang Hu 274d6477f1 switch expr 2 years ago
Ziyang Hu 8484ae33a4 if expression 2 years ago
Ziyang Hu 0e9edd715f more optimized eval 2 years ago
Ziyang Hu e1d86b83e1 format 2 years ago
Ziyang Hu ca9c3ee831 cleanup 2 years ago
Ziyang Hu 55304c621e ops in their own modules 2 years ago
Ziyang Hu efefdbf8c7 optimize expr 2 years ago
Ziyang Hu 4b0cc31bec optimized eval implementation 2 years ago
Ziyang Hu d393d4cf5f row evaluation 2 years ago
Ziyang Hu 007c36daa2 tuples are complicated 2 years ago
Ziyang Hu f5de468548 various stuff 2 years ago
Ziyang Hu 3160789922 engin start 2 years ago
Ziyang Hu 8639b60aad format 2 years ago
Ziyang Hu ece15f0940 remove column family related stuff 2 years ago
Ziyang Hu 57937b6f56 tests for expression parsing 2 years ago
Ziyang Hu 2f4368fd9b tests for expression parsing 2 years ago
Ziyang Hu 7b00b81a2d parsing of expressions again 2 years ago
Ziyang Hu 6b0c3d88c0 ser/deser of expr to/from values 2 years ago
Ziyang Hu 304ea38e29 another round of refactoring 2 years ago
Ziyang Hu bb1eeacc71 plan for some revamp 2 years ago
Ziyang Hu 49b7581053 no keeping iterators around for nothing 2 years ago
Ziyang Hu a154eccce0 formatting 2 years ago
Ziyang Hu e6356fc876 ordering stuff, refreshing iterators 2 years ago
Ziyang Hu 5999ec6eee bytes type 2 years ago
Ziyang Hu 9e0b739589 sorting mat plan 2 years ago
Ziyang Hu 8d41002711 limit and offset 2 years ago
Ziyang Hu c74f0a4810 limiter 2 years ago
Ziyang Hu dd3722a635 getting complicated 2 years ago
Ziyang Hu 9a55a04398 supports associate table for initiating nodes 2 years ago
Ziyang Hu 9e06b23f35 parse associate tables 2 years ago
Ziyang Hu c8c8ac15e3 special value type for reverse sorting 2 years ago
Ziyang Hu b3651f8d47 refactor 2 years ago
Ziyang Hu db4b7c4851 fix nested join iter 2 years ago
Ziyang Hu c7b22e6d6f nested loop join complete 2 years ago
Ziyang Hu a0b001f94a edge to node join 2 years ago
Ziyang Hu aa56126edc nested loop join 2 years ago
Ziyang Hu 006ba78ba6 format 2 years ago
Ziyang Hu 95af831c82 start chain join 2 years ago
Ziyang Hu 75863ddae8 tuple_widths 2 years ago
Ziyang Hu 14e572403b cartesian product 2 years ago
Ziyang Hu 413cb4e714 edge iterator 2 years ago
Ziyang Hu 06159699f9 edge iterator 2 years ago
Ziyang Hu d9b1be6273 simplest fully auto query construction and execution 2 years ago
Ziyang Hu 341b94bbcd clippy happy 2 years ago
Ziyang Hu b4e33af5c2 safety warning 2 years ago
Ziyang Hu eb8c4311af rename to ExecPlan 2 years ago
Ziyang Hu b72f837b74 formatting 2 years ago
Ziyang Hu 612a6caeb2 outer merge join 2 years ago
Ziyang Hu 797a8ebac5 refactor 2 years ago
Ziyang Hu ccabdaa820 keyed difference 2 years ago
Ziyang Hu 1c0cfa4149 keyed union 2 years ago
Ziyang Hu 07fc0ae868 remove unnecessary indirections 2 years ago
Ziyang Hu c099ece0a9 bags union 2 years ago
Ziyang Hu 218757ce21 bags union 2 years ago
Ziyang Hu 75cc39a4b8 no copying 2 years ago
Ziyang Hu b201e79029 merge join 2 years ago
Ziyang Hu 50e3eebfa3 eval iterator 2 years ago
Ziyang Hu 9bb12e9bf5 output iterator 2 years ago
Ziyang Hu 79c59713fd filtering iterator 2 years ago
Ziyang Hu fef1d2c203 error handling 2 years ago
Ziyang Hu 3a00a88436 use trait objects 2 years ago
Ziyang Hu 29fb1b9999 whole set of iterators 2 years ago
Ziyang Hu b192c72e51 cleanup 2 years ago
Ziyang Hu 8d6bf05b6f tuple_eval deals with megatuple instead 2 years ago
Ziyang Hu 42fa98b223 change unique_ptr to shared 2 years ago
Ziyang Hu 967c27f56a cartesian product iterator 2 years ago
Ziyang Hu 06daecfe18 associate iterators 2 years ago
Ziyang Hu bfda892965 fix iterator 2 years ago
Ziyang Hu 921ce4d7ad use while let 2 years ago
Ziyang Hu e8eef6855c remove questionable iterator impl 2 years ago
Ziyang Hu 1113e01387 iterators don't go outside bounds 2 years ago
Ziyang Hu 61fbcdde52 smallish improvements 2 years ago
Ziyang Hu dff481130b extract table refs from cnf conditions 2 years ago
Ziyang Hu 55c7bfc302 CNF transform 2 years ago
Ziyang Hu 7618250c91 fix unary parsing 2 years ago
Ziyang Hu dc2a233d48 cnf transform 2 years ago
Ziyang Hu 0e97db174f hand-crafted queries 2 years ago
Ziyang Hu a29819ff95 hand-crafted queries 2 years ago
Ziyang Hu 5cba7ad376 tuple_eval takes in refs 2 years ago
Ziyang Hu 375fd6b7b8 fix coalesce partial eval; going through 2 years ago
Ziyang Hu cd664ce270 fix value eval problem 2 years ago
Ziyang Hu 2f68fe3919 two sets of function eval 2 years ago
Ziyang Hu 9f6a734797 cleanup 2 years ago
Ziyang Hu c8a9c40e89 tuple eval 2 years ago
Ziyang Hu 630beb1954 table extraction 2 years ago
Ziyang Hu 31ca5bf79e field access conversion to tuple refs 2 years ago
Ziyang Hu 1d9f1e55e6 Add TupleRef to value 2 years ago
Ziyang Hu fb97bf632b storage ID needs no mutability 2 years ago
Ziyang Hu dd0054a539 compaction instead of flushing 2 years ago
Ziyang Hu 5f3d2442a1 simplest query tree construction 2 years ago
Ziyang Hu 419c4c3328 refactor 2 years ago
Ziyang Hu cb8239897b refactor 2 years ago
Ziyang Hu 16d5dbb991 refactor 2 years ago
Ziyang Hu 31f1e1dc40 preparing for table env 2 years ago
Ziyang Hu 26c008fbca function typing 2 years ago
Ziyang Hu fa1cda686b limit offset 2 years ago
Ziyang Hu 8408d62539 scoped dict and spreading 2 years ago
Ziyang Hu e4766e574f evaluator correctly passes environment around 2 years ago
Ziyang Hu 9671ff0639 return where pattern as a single value 2 years ago
Ziyang Hu 5581f23e51 is_null and not_null values 2 years ago
Ziyang Hu 35c250d410 add field and idx accessors 2 years ago
Ziyang Hu 62a5876cc2 implement params 2 years ago
Ziyang Hu 571d072d4c remove params nonsense 2 years ago
Ziyang Hu 7a735269b5 add more params to Eval 2 years ago
Ziyang Hu eceab71fcd remove environment nonsense 2 years ago
Ziyang Hu 9855b1d537 timing 2 years ago
Ziyang Hu 6b3409a0a3 insertion from test data 2 years ago
Ziyang Hu 0611430262 parsing from chain 2 years ago
Ziyang Hu 725d60f7da refactor get table info 2 years ago
Ziyang Hu e0fb7c024a check existing keys on insertion 2 years ago
Ziyang Hu 00da0e33fc stack is slow 2 years ago
Ziyang Hu 653d764d78 table deletion when popping 2 years ago
Ziyang Hu bff5824907 data insertion 2 years ago
Ziyang Hu 6f3f443b62 collection of table coercion info 2 years ago
Ziyang Hu e9bea3f9c9 collection of table coercion info 2 years ago
Ziyang Hu a86e553f6a more helper functions 2 years ago
Ziyang Hu 1ddfbef091 coercion the easy cases 2 years ago
Ziyang Hu 98156906e7 coercion the easy cases 2 years ago
Ziyang Hu fd32670b35 associated tables 2 years ago
Ziyang Hu 7b5980f721 associated tables 2 years ago
Ziyang Hu c03cbf4f37 convenience methods 2 years ago
Ziyang Hu cda264a458 some cleanup 2 years ago
Ziyang Hu 2fca50db90 No UInt nonsense 2 years ago
Ziyang Hu 832431c70f start doing mutation 2 years ago
Ziyang Hu 3a6fee6fe0 zero copying 2 years ago
Ziyang Hu bafd3a3c13 add params support 2 years ago
Ziyang Hu ba4d10e7a5 add params support 2 years ago
Ziyang Hu d13011e18d testing expression evaluator 2 years ago
Ziyang Hu a38047aabe complete first batch of operators 2 years ago
Ziyang Hu 731f4a88a7 complete first batch of operators 2 years ago
Ziyang Hu 7c2e3c588e gt ge lt le 2 years ago
Ziyang Hu 9ed4e5174b gt ge lt le 2 years ago
Ziyang Hu a9417bdd8f More ops 2 years ago
Ziyang Hu c9c7447bb8 arithmetic expressions 2 years ago
Ziyang Hu 50f844f8e4 remove old files 2 years ago
Ziyang Hu b188a5a559 partial evaluation 2 years ago
Ziyang Hu b576d0e867 unevaluated value; lisp 2 years ago
Ziyang Hu 05f06ea427 revert things 2 years ago
Ziyang Hu fbae47219e parse more things 2 years ago
Ziyang Hu 4c37f1b6ff edge definition 2 years ago
Ziyang Hu 3368fc741c defining nodes 2 years ago
Ziyang Hu 2f511b7ba6 table_def parsing 2 years ago
Ziyang Hu 6b1e0276d8 memory env implementation 2 years ago
Ziyang Hu bcb346f61d fix resolving global variables 2 years ago
Ziyang Hu 017025884a recursive typing resolve 2 years ago
Ziyang Hu aa93ec2e30 delete defined 2 years ago
Ziyang Hu a01ffbc5af define type in environment 2 years ago
Ziyang Hu 5635aa4ff2 typing parser 2 years ago
Ziyang Hu 16f04399cd cleaning up session drop 2 years ago
Ziyang Hu c5ae62cea7 commit and rollback directly on session 2 years ago
Ziyang Hu e70ed6d330 error handling; correct guards 2 years ago
Ziyang Hu dd45ebb291 Aliasing is serious 2 years ago
Ziyang Hu 3ef1259fa1 session creation 2 years ago
Ziyang Hu 9f63ac3a05 Display trait 2 years ago
Ziyang Hu 7dceb102a7 hashing 2 years ago
Ziyang Hu f15e9ad5d0 options 2 years ago
Ziyang Hu 337ee3ff80 start engine 2 years ago
Ziyang Hu e0ab833345 create sessions 2 years ago
Ziyang Hu 2afb722683 engine creation 2 years ago
Ziyang Hu 4835a3d832 nice way of writing the comparison 2 years ago
Ziyang Hu d08df22306 move around 2 years ago
Ziyang Hu f5d05a17b3 change stuff 2 years ago
Ziyang Hu f675b04ed8 ordering and comparator 2 years ago
Ziyang Hu 4fe24d9573 split file 2 years ago
Ziyang Hu 085653c2b8 conversion to static value 2 years ago
Ziyang Hu ab272b85ac new tuple type 2 years ago
Ziyang Hu ffb24a612a compiling commit 2 years ago