Regarding GSoC 2024 #1001
Replies: 3 comments 4 replies
-
|
Hi and welcome! I don't think there is anything particular that you need to know before contributing. For getting to know BenchExec I would in general recommend to first get started with understanding BenchExec, for example by reading our paper and trying out BenchExec in practice. For the generated tables, we have an online example. There are many improvement ideas about them, have a look at our issues labeled with HTML table. If you have questions just ask me. Greetings |
Beta Was this translation helpful? Give feedback.
-
|
Ok, thanks a lot |
Beta Was this translation helpful? Give feedback.
-
Hey, |
Beta Was this translation helpful? Give feedback.
-
|
The benchmarking part of BenchExec doesn't work on Windows, because Windows doesn't provide the necessary features. If you want to try that out, you could use a VM with Linux. If you want to work only on the HTML tables, you in principle don't need it, though. But you should be able to run The filter overlay mentioned in #924 is the side bar that opens when you click the filter button in the top right corner. There are cases where you have textual filters, such as for the task, but depending on the table content also below. #830 is not resolved yet, the link with the reproducer still shows it. |
Beta Was this translation helpful? Give feedback.
-
|
Ok, thanks a lot
…On Mon, 26 Feb 2024 at 3:20 PM, Philipp Wendler ***@***.***> wrote:
Hi and welcome!
I don't think there is anything particular that you need to know before
contributing. For getting to know BenchExec I would in general recommend to
first get started with understanding BenchExec, for example by reading our
paper <https://doi.org/10.1007/s10009-017-0469-y> and trying out
BenchExec in practice.
For the generated tables, we have an online example
<https://sosy-lab.github.io/benchexec/example-table/svcomp-simple-cbmc-cpachecker.table.html>.
There are many improvement ideas about them, have a look at our issues
labeled with HTML table
<https://github.com/sosy-lab/benchexec/issues?q=is%3Aopen+label%3A%22HTML+table%22>
.
If you have questions just ask me.
Greetings
Philipp
—
Reply to this email directly, view it on GitHub
<#1001 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AWSUC4UG2EOKSTQC5CQEQCDYVRLHZAVCNFSM6AAAAABDZEY2JWVHI2DSMVQWIX3LMV43SRDJONRXK43TNFXW4Q3PNVWWK3TUHM4DKOJQGIZDE>
.
You are receiving this because you authored the thread.Message ID:
***@***.***>
|
Beta Was this translation helpful? Give feedback.
-
|
Sir, I went through the codebase once, there are few questions-
What are the issues that you'd recommend to be taken up for GSoC?
Is there any proposal format for SOSY?
…On Tue, Feb 27, 2024 at 1:26 PM Philipp Wendler ***@***.***> wrote:
The benchmarking part of BenchExec doesn't work on Windows, because
Windows doesn't provide the necessary features. If you want to try that
out, you could use a VM with Linux. If you want to work only on the HTML
tables, you in principle don't need it, though. But you should be able to
run table-generator with some existing result files. table-generator only
needs Python and works on Windows. There are some (old) existing result
files in the directory benchexec/tablegenerator/test_integration/ and here
<https://github.com/sosy-lab/benchexec/tree/gh-pages/example-table>.
The filter overlay mentioned in #924
<#924> is the side bar that
opens when you click the filter button in the top right corner. There are
cases where you have textual filters, such as for the task, but depending
on the table content also below.
#830 <#830> is not resolved
yet, the link with the reproducer still shows it.
—
Reply to this email directly, view it on GitHub
<#1001 (reply in thread)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AWSUC4RCIKHQUVRXDP4OUA3YVWGRDAVCNFSM6AAAAABDZEY2JWVHI2DSMVQWIX3LMV43SRDJONRXK43TNFXW4Q3PNVWWK3TUHM4DMMBRHA3DM>
.
You are receiving this because you authored the thread.Message ID:
***@***.***>
|
Beta Was this translation helpful? Give feedback.
-
|
We have some issues labeled with GSoC, these are likely good starting points. |
Beta Was this translation helpful? Give feedback.
-
Hi @PhilippWendler,
One of the projects under SOSY that has interested me is under your mentorship ,i.e., Improvements to generated tables for Benchexec as it aligns with my skill set. How should I start contributing and is there something else I should know before contributing?
Beta Was this translation helpful? Give feedback.
All reactions