maemre cadmium issues - Githubissues

maemre / cadmium

1 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

keep variable names around

#14 maemre opened 5 years ago
0
Intern/hash-cons atoms

#13 maemre opened 5 years ago
0
Benchmarks and regression tests

#12 maemre opened 5 years ago
0
A better parser

#11 maemre opened 5 years ago
0
A module system

#10 maemre opened 5 years ago
0
Trivial optimizations

#9 maemre opened 5 years ago
0
More sanity checks and static analysis

#8 maemre opened 5 years ago
0
Integrating search and bound strategies to the engine

#7 maemre opened 5 years ago
0
Build a standard library

#6 maemre opened 5 years ago
0
CLP integration based on SMT solvers

#5 maemre opened 5 years ago
0
Implement a better GC and unification data structure

#4 maemre opened 5 years ago
0
Possible research direction: JIT mode inference/speculation

#3 maemre opened 5 years ago
1
A better static analysis to avoid creating unnecessary logic variables

#2 maemre opened 5 years ago
0