4 ms·

Very nice! Is the synthesis post ready?

• saurabh20n 7y ago
  Yes. We did all the work together. Was going to talk about that one later, but since you asked: Synthesizing smart contracts from test cases. https://synthetic-minds.com/pages/blog/blog-2019-09-12.html https://synthetic-minds.com/pages/blog/blog-2019-09-12.html
  • compilers 7y ago
    Cool! I do not have much experience in this area but this certainly seems like interesting work. I wish you good luck!
  • RichardHeart 7y ago
    Would love to hear back from you guys, richardheartauthor at gmail, emailed you in oct '18, and jun '19, and now.
    • saurabh20n 7y ago
      Thanks for the ping. Looking forward to running your contracts through our system.