Kevin Jilissen

More elaborate setup tutorials

2

There are quite a few issues about first time setup. If someone could chime in and help with tutorials (written or video), that'd be great.

Logo

1

As apparently this plugin is used by quite a lot of people, it might be time to get a logo. I'm definitely not a graphic designer but this is the...

Dynamically stretch the code editor height using flexboxes

2

Alternative to #3198 which relies on flexbox layouts instead of computing the height ourselves, which makes it more generally applicable and probably prevents dozens of edge-cases and accessibility problems. The...

- [ ] Removed scoring objective; this now always is "maximize". - [ ] Removed scoring keyword from problem.yaml. - [ ] Python 3 is now used for .py files;...

pbessolve consistently segfaults in `get_sufficiently_large_postfix_index`

1

**Describe the bug** When running `pbessolve` with threading on a large PBES, it consistently segfaults in `get_sufficiently_large_postfix_index`. The culpit is most likely concurrent modification and iteration of `unordered_set m_symbol_set`. **To...