search

morganstanley / hobbes

A language and an embedded JIT compiler
http://hobbes.readthedocs.io/
Apache License 2.0
1.16k stars 105 forks source link

print out which constraints are not satisfied when compilation fail #421

Closed mo-xiaoming closed 2 years ago