Josh Jeppson

Additional template instantiations for `storm::storage::BitVectorHashMap`

1

Hey, So our project, STAMINA, requires an instantiation of a `BitVectorHashMap` for its multithreading protocol. The linker won't allow me to instantiate it in STAMINA, so I must instantiate it...

Vim Syntax highlighting

3

Hey, I'm a student at Utah State University, and we use Ivy for both research and a verification class I'm taking. I'm a vim user, and I noticed you only...

Restrict Time Signature denominators to 1, 2, 4, 8, 16, and 32

12

This PR creates a custom `TwoPowerModel` which inherits from `IntModel` with the restriction that `TwoPowerModel` only allows powers of two as its reported value. It then changes the type of...

`std::bad_alloc` in StormEigen (probably unsigned int overflow)

2

During compilation of Storm (`libstorm.so`) at `HEAD` (as of when this issue was submitted), the following two non-fatal error messages are emitted: ``` In member function ‘__ct ’, inlined from...

Socket Error on Search (It appears the issue is with the invidious API)

2

Hey, just downloaded your app from F-Droid, but I ran into a small issue, described below: **Bug Description**: Upon downloading version 2.2.0 from F-Droid I attempted to search for an...