Skip to content

Releases: filipeom/queries

Test-Comp 23

06 Feb 21:42
@filipeom filipeom
v0.0.4
bbf74f9

Choose a tag to compare

View all tags
Test-Comp 23 Latest
Latest

Symbolic execution queries executed by Owi in the Test-Comp 2023 dataset

Assets 3
Loading

Test-Comp 23

19 Dec 09:40
@filipeom filipeom
v0.0.3
cd69757

Choose a tag to compare

View all tags
Test-Comp 23

Sampled 8_500_000 queries from the symbolic analysis of Test-Comp 23 dataset. This is a subset of 2_736_414 qfbv formulas.

Loading

Test-Comp 23

07 Dec 00:07
@joaomhmpereira joaomhmpereira
v0.0.2_testcomp23
cd69757

Choose a tag to compare

View all tags
Test-Comp 23

Sampled 8_500_000 queries from the symbolic analysis of Test-Comp 23 dataset. This is a subset of 2_736_414 qfbv formulas.

Loading

Test-Comp 23

05 Dec 09:26
@filipeom filipeom
v0.0.1_testcomp23
350adc8

Choose a tag to compare

View all tags
Test-Comp 23

Sampled 8_500_000 queries from the symbolic analysis of Test-Comp 23 dataset. This is a subset of 2_736_414 qfbv formulas.

Loading