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 |
|
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 |