Skip to content

Pull requests: syntest-framework/syntest-javascript

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Update link script
#205 by dstallenberg was merged Dec 11, 2023 Loading…
Apply TU Delft waiver
#201 by mitchellolsthoorn was merged Nov 8, 2023 Loading…
Automate coverage collection
#200 by mitchellolsthoorn was merged Nov 2, 2023 Loading…
Remove author tags
#199 by mitchellolsthoorn was merged Nov 2, 2023 Loading…
Update licensing workflow
#198 by mitchellolsthoorn was merged Nov 2, 2023 Loading…
Adjust repo to rename of the framework
#197 by mitchellolsthoorn was merged Nov 2, 2023 Loading…
Feat test splitting
#181 by dstallenberg was merged Sep 21, 2023 Loading…
Feat improved testcase readability
#176 by dstallenberg was merged Sep 19, 2023 Loading…
Feat add label syntax support
#173 by dstallenberg was merged Sep 13, 2023 Loading…
Implement analysis include/exclude
#172 by dstallenberg was merged Sep 12, 2023 Loading…
Add support for string manipulation functions
#161 by dstallenberg was merged Aug 28, 2023 Loading…
Constant pool
#160 by mitchellolsthoorn was merged Aug 2, 2023 Loading…
Type pool
#158 by dstallenberg was merged Aug 11, 2023 Loading…
Move search progress bar listener to core
#156 by mitchellolsthoorn was merged Jul 31, 2023 Loading…
Use new prng package
#155 by dstallenberg was merged Jun 28, 2023 Loading…
Patch control flow graph
#154 by dstallenberg was merged Jun 23, 2023 Loading…
Patch branch distance
#153 by dstallenberg was merged Jun 23, 2023 Loading…
Patch resampling problem
#152 by dstallenberg was merged Jun 22, 2023 Loading…
Update codebase to the new objective API
#151 by mitchellolsthoorn was merged Jun 22, 2023 Loading…
Integer statements
#150 by dstallenberg was merged Jun 22, 2023 Loading…
Fix NPM clean script
#140 by mitchellolsthoorn was merged Jun 13, 2023 Loading…
Extract ast javascript from javascript package
#116 by dstallenberg was merged Mar 1, 2023 Loading…
ProTip! Follow long discussions with comments:>50.