439 Commits (1b6a9ab3e59c5c5f56f1010b9988fd4ac673392d)
 

Author SHA1 Message Date
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 517756e087 bridge multiget 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 5bcbb3cd5b default handle 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 1d93422776 inlining 2 years ago
Ziyang Hu fa78f1bc67 revamp C++ interop 2 years ago
Ziyang Hu a8ff97d7c9 revamp C++ interop 2 years ago
Ziyang Hu e18d72db5c make IDE cooperate 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
Ziyang Hu 54c9327941 change function name for less confusion 2 years ago
Ziyang Hu cc60909a70 make cf creation/deletion thread-safe 2 years ago
Ziyang Hu fe44c00e3d make cf creation/deletion thread-safe 2 years ago
Ziyang Hu f9fa75765d make cf creation/deletion thread-safe 2 years ago
Ziyang Hu be6f922738 mutation statement eval 2 years ago
Ziyang Hu 20de063830 Arc for value 2 years ago
Ziyang Hu a4b00852a0 restore the local ID business 2 years ago
Ziyang Hu 8c196fa932 make clippy happy 2 years ago
Ziyang Hu d067a127cf use new storage engine 2 years ago
Ziyang Hu 6dbbec65d3 write and delete 2 years ago
Ziyang Hu f8de57de91 back to where we were, but proper support for column families 2 years ago
Ziyang Hu 83b9e0852e optimize chaining 2 years ago
Ziyang Hu 3adae6db13 simplify types 2 years ago