1805 Commits (da4e22dc68d3527b585dd5fb03cde852f767f41d)
 

Author SHA1 Message Date
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 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