by

Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Jan 02 14:58
    stechu commented #83
  • Jan 02 13:33
    matthiastz opened #84
  • Jan 02 13:00
    matthiastz edited #83
  • Jan 02 13:00
    matthiastz opened #83
  • Jan 02 12:24
    matthiastz commented #82
  • Jan 02 12:24
    matthiastz opened #82
  • Jan 01 05:26
    andrew4699 edited #81
  • Jan 01 05:25
    andrew4699 edited #81
  • Jan 01 05:25
    andrew4699 edited #81
  • Jan 01 05:24
    andrew4699 edited #81
  • Jan 01 05:24
    andrew4699 edited #81
  • Jan 01 05:24
    andrew4699 opened #81
  • Dec 23 2019 13:07
    matthiastz commented #80
  • Dec 23 2019 13:05
    matthiastz commented #80
  • Dec 23 2019 12:35
    matthiastz commented #80
  • Dec 21 2019 15:49
    stechu closed #78
  • Dec 21 2019 15:49
    stechu commented #78
  • Dec 21 2019 15:49
    stechu commented #78
  • Dec 21 2019 15:42
    stechu commented #80
  • Dec 21 2019 15:42
    stechu labeled #80
xuruiyang
@xuruiyang
what is the expected run time for rosette/cidr-benchmarks/subquery-test.rkt? It seems runs forever...