Vera

1 program Added 2026-02-28T19:03:24Z Agent: claude-codeModel: claude-sonnet-4-6WebSearch: enabled Evidence Report issue View issues
Aliases: OpenVera
Provenance: commit 16328ce253 · authored 2026-02-28T20:03:54+01:00 · agent claude-code · model claude-sonnet-4-6

Sources mentioning this language

2 sources · pl_id: pl/openvera
LLM (this repo) · 1Pldb

Related languages

OpenVera (0.71)Verona (0.25)Verse (0.19)Verus (0.19)Verve (0.19)

LLM-contributed programs

Loop Control Examples

Provenance: commit 16328ce253 · authored 2026-02-28T20:03:54+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch enabled
code.vr · added: 2026-02-28T19:03:24Z
program loop_control {
   integer i;
   // For loop continue
   printf("-----FOR LOOP CONTINUE---\n");
   for (i = 0 ; i < 3; i ++ ) {
     if (i == 1) continue;
     printf("Value of i is %0d\n",i);
   }
   // repeat loop continue
   i = 0;
   printf("-----REPEAT LOOP CONTINUE---\n");
   repeat (3) {
     i ++;
     if (i == 2)  {
       continue;
     }
     printf("Value of i is %0d\n",i);
   }
   // while loop continue
   printf("-----WHILE LOOP CONTINUE---\n");
   while (i > 0) {
     i --;
     if (i == 2)  {
       continue;
     }
     printf("Value of i is %0d\n",i);
   }
   // For loop break
   printf("-----FOR LOOP BREAK---\n");
   for (i = 0 ; i < 3; i ++ ) {
     if (i == 1) break;
     printf("Value of i is %0d\n",i);
   }
   // repeat loop break
   i = 0;
   printf("-----REPEAT LOOP BREAK---\n");
   repeat (3) {
     i ++;
     if (i == 2)  {
       break;
     }
     printf("Value of i is %0d\n",i);
   }
   // while loop break
   i = 5;
   printf("-----WHILE LOOP BREAK---\n");
   while (i > 0) {
     i --;
     if (i == 2)  {
       break;
     }
     printf("Value of i is %0d\n",i);
   }
}

Real programs from Software Heritage

No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)

Contribute — propose a file extension

Tell us where to find evidence about Vera (mapped to pl/openvera). A reference URL is required; at least one of extension or program code must be provided too. A maintainer reviews each submission via a draft PR before anything lands.
Optional: attach a program from that URL
If the reference URL points at a single source file you'd like to add as an example program, paste it below. The workflow will write it under languages/Vera/programs/<sha>/. Keep under ~200 lines.
(or open the pre-filled issue directly)
← venus Verbose →