Skip to content

Actions: thanhnguyen-aws/verify-rust-std

Actions

Run GOTO Transcoder (ESBMC)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
goto-transcoder.yml
176 workflow runs
176 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into repeatinvariant Run GOTO Transcoder (ESBMC) #176: Commit 6a1cec7 pushed by thanhnguyen-aws
18m 56s repeatinvariant
repeatinvariant
18m 56s
Extended invariants Run GOTO Transcoder (ESBMC) #175: Commit 038c707 pushed by tautschnig
16m 3s decseqinvariant
decseqinvariant
16m 3s
try remove stbbing Run GOTO Transcoder (ESBMC) #174: Commit d24102a pushed by thanhnguyen-aws
5m 6s asciiinvariant
asciiinvariant
5m 6s
safety -> kani Run GOTO Transcoder (ESBMC) #173: Commit ff93d97 pushed by thanhnguyen-aws
20m 59s asciiinvariant
asciiinvariant
20m 59s
safety -> kani Run GOTO Transcoder (ESBMC) #172: Commit 8ccd693 pushed by thanhnguyen-aws
14m 54s decseqinvariant
decseqinvariant
14m 54s
write_index, again Run GOTO Transcoder (ESBMC) #171: Commit b8b73bc pushed by tautschnig
15m 40s decseqinvariant
decseqinvariant
15m 40s
Update scripts/run-kani.sh Run GOTO Transcoder (ESBMC) #170: Commit c876cd6 pushed by tautschnig
6m 16s decseqinvariant
decseqinvariant
6m 16s
Update library/core/src/num/dec2flt/decimal_seq.rs Run GOTO Transcoder (ESBMC) #169: Commit 4559232 pushed by tautschnig
1h 6m 20s decseqinvariant
decseqinvariant
1h 6m 20s
Try to use Z3 Run GOTO Transcoder (ESBMC) #168: Commit 2a05d06 pushed by tautschnig
18m 5s repeatinvariant
repeatinvariant
18m 5s
Update library/core/src/num/dec2flt/decimal_seq.rs Run GOTO Transcoder (ESBMC) #167: Commit ebe6ace pushed by tautschnig
16m 40s decseqinvariant
decseqinvariant
16m 40s
add loop-invariants and harnesses Run GOTO Transcoder (ESBMC) #166: Pull request #16 synchronize by tautschnig
41m 55s memchrinvariant
memchrinvariant
41m 55s
Merge branch 'main' into memchrinvariant Run GOTO Transcoder (ESBMC) #165: Commit 92d5e64 pushed by tautschnig
19m 50s memchrinvariant
memchrinvariant
19m 50s
Merge branch 'main' into reverseinvariant Run GOTO Transcoder (ESBMC) #164: Commit 50879e9 pushed by tautschnig
26m 56s reverseinvariant
reverseinvariant
26m 56s
Merge branch 'main' into repeatinvariant Run GOTO Transcoder (ESBMC) #163: Commit 82698bd pushed by tautschnig
16m 19s repeatinvariant
repeatinvariant
16m 19s
add assumption Run GOTO Transcoder (ESBMC) #162: Commit f74f6e8 pushed by thanhnguyen-aws
17m 10s decseqinvariant
decseqinvariant
17m 10s
add -Z quantifier Run GOTO Transcoder (ESBMC) #161: Commit f71ef69 pushed by thanhnguyen-aws
15m 58s decseqinvariant
decseqinvariant
15m 58s
kani::forall -> forall Run GOTO Transcoder (ESBMC) #160: Commit e8ac050 pushed by thanhnguyen-aws
11m 27s decseqinvariant
decseqinvariant
11m 27s
fix format Run GOTO Transcoder (ESBMC) #159: Commit 0ff0c95 pushed by thanhnguyen-aws
7m 32s decseqinvariant
decseqinvariant
7m 32s
fix format Run GOTO Transcoder (ESBMC) #158: Commit 9629d00 pushed by thanhnguyen-aws
20m 55s asciiinvariant
asciiinvariant
20m 55s
Merge branch 'main' into decseqinvariant Run GOTO Transcoder (ESBMC) #157: Commit 425e153 pushed by thanhnguyen-aws
8m 27s decseqinvariant
decseqinvariant
8m 27s
Merge branch 'main' into asciiinvariant Run GOTO Transcoder (ESBMC) #156: Commit e13feed pushed by thanhnguyen-aws
17m 50s asciiinvariant
asciiinvariant
17m 50s
Merge branch 'main' into repeatinvariant Run GOTO Transcoder (ESBMC) #155: Commit 88462f5 pushed by thanhnguyen-aws
16m 16s repeatinvariant
repeatinvariant
16m 16s
Merge branch 'main' into reverseinvariant Run GOTO Transcoder (ESBMC) #154: Commit 869ca97 pushed by thanhnguyen-aws
17m 51s reverseinvariant
reverseinvariant
17m 51s
add loop-invariants and harnesses Run GOTO Transcoder (ESBMC) #153: Pull request #16 synchronize by thanhnguyen-aws
23m 55s memchrinvariant
memchrinvariant
23m 55s
temporarily disable is_safe check for CStr Run GOTO Transcoder (ESBMC) #152: Commit 5ea263a pushed by thanhnguyen-aws
21m 9s memchrinvariant
memchrinvariant
21m 9s