-
Notifications
You must be signed in to change notification settings - Fork 3
Pull requests: syntest-framework/syntest-solidity
Pull requests list
Add citation config
wontfix
This will not be worked on
#161
by mitchellolsthoorn
was closed Jan 2, 2024
Loading...
Add zenodo config
wontfix
This will not be worked on
#160
by mitchellolsthoorn
was closed Jan 2, 2024
Loading...
Upgrade to core 0.4.0
wontfix
This will not be worked on
#158
by dstallenberg
was closed Nov 29, 2023
•
Draft
Update to @syntest/core@0.3.1
wontfix
This will not be worked on
#155
by dstallenberg
was closed Apr 29, 2023
•
Draft
Patch variable name error
wontfix
This will not be worked on
#149
by dstallenberg
was closed Apr 29, 2023
Loading...
Setup style convention infrastructure
#144
by dstallenberg
was merged Jan 17, 2023
Loading...
4 tasks done
Update and lock dependency versions
#138
by dstallenberg
was merged Jan 17, 2023
Loading...
5 tasks done
infra: update CI infrastructure settings
#131
by mitchellolsthoorn
was merged Jan 16, 2023
Loading...
Move testcase specific code out of framework
#122
by dstallenberg
was merged Dec 15, 2022
Loading...
Repair statement immutability
stale
No activity for an extensive period
#115
by dstallenberg
was closed Feb 28, 2022
•
Draft
Move testcase specific code out of framework
stale
No activity for an extensive period
#114
by dstallenberg
was closed Apr 3, 2022
•
Draft
Repair sampling structure
stale
No activity for an extensive period
#113
by dstallenberg
was closed Mar 10, 2022
•
Draft
Move targetting to framework
stale
No activity for an extensive period
#111
by dstallenberg
was closed Mar 26, 2022
Loading...
Repair the commands
bug
Something isn't working
#109
by dstallenberg
was merged Oct 21, 2021
Loading...
ProTip!
Exclude everything labeled
bug with -label:bug.
You can’t perform that action at this time.