calyx icon indicating copy to clipboard operation
calyx copied to clipboard

Published 20 hours ago • verified publisher icon calyxir

Vcalyx

Open hackedy opened this issue 1 year ago • 1 comments
trafficstars

This PR adds the Coq development of VCalyx including the syntax and interpreter. It also includes Fud stages for invoking the vcalyx interpreter and a few Runt tests.

Not ready to merge, I need to flesh out the Runt tests, but I want to open a draft PR so I can keep track of what I need to fix.

todos

  • [ ] make runt tests check output memories produced by programs
  • [ ] fix whatever is going on with CI

hackedy avatar Jan 11 '24 16:01 hackedy

Awesome! Let us know if you need help with the testing infra

rachitnigam avatar Jan 16 '24 17:01 rachitnigam

Hi @hackedy! This PR is getting quite stale w.r.t. to main. Do we have a specific plan of action on how we want to move this forward? If not, I would like to close the PR.

rachitnigam avatar Jul 22 '24 06:07 rachitnigam

Yes, let's close it.

hackedy avatar Aug 07 '24 19:08 hackedy