search

eclipse-che / che-dockerfiles

Eclipse Public License 2.0
86 stars 107 forks source link

Added recipe for cryptol that includes z3 and abc provers #172

Closed zacharysang closed 6 years ago

zacharysang commented 6 years ago

Signed-off-by: Zachary Sang zacharysang@gmail.com

What does this PR do?

Adds recipe for cryptol that includes z3 and abc provers

What issues does this PR fix or reference?

170

New behavior

Added cryptol recipe dockerfile with z3 and abc provers

Tests written?

No

ghost commented 6 years ago

@zacharysang thanks for the contribution, however, we currently try to keep the list of pre defined stacks as simple as possible.

Moreover, the next generation of Che will make the concept of a stack much weaker - users will be able to use any images as app runtime.

I will close this PR