Issues
- 0
Timeout parameter in stepEventLoop gets ignored
#436 opened by mo-xiaoming - 12
Proposal: rename source files
#431 opened by data-man - 0
bool evaluation UB introduced with llvm-9+
#412 opened by smunix - 2
FieldVerifier::eliminators has memory leak
#406 opened by mo-xiaoming - 1
- 3
Create Jupyter kernel for hobbes
#399 opened by brianegge - 4
Failed to compress slog file with enum type
#398 opened by dawa79 - 1
Request for documentation for DEFINE_VARIANT
#395 opened by mortehu - 1
- 2
Evaluation example gives different output
#391 opened by Chaz6 - 8
build Hobbes with Clang on Linux
#384 opened by smunix - 0
Support for LLVM 11
#381 opened by smunix - 11
Support for LLVM 9
#315 opened by Chaz6 - 0
cmake build fail with llvm-3.5 Mac OS
#292 opened by smunix - 13
support different llvm versions
#294 opened by smunix - 11
Build stuck running tests on NixOS
#329 opened by thmzlt - 8
- 1
test_Hog_OrderedSender stalled on NixOs
#378 opened by smunix - 0
- 6
build fails with gcc 8 [gcc-8 (Debian 8.3.0-6) 8.3.0 g++-8 (Debian 8.3.0-6) 8.3.0)]
#316 opened by snow-abstraction - 2
- 4
Build failure in MacOS with llvm6
#370 opened by jimmylikes - 8
- 8
Think of the children!
#334 opened by gamagan - 12
Introduce custom string literal syntax?
#328 opened by adam-antonik - 2
- 3
- 2
llvm assertion
#358 opened by adam-antonik - 1
- 0
- 3
- 0
support for conversion over tuples
#349 opened by smunix - 25
HasField
#343 opened by adam-antonik - 4
compose is missing a definition
#342 opened by adam-antonik - 9
Memory management with newArray
#317 opened by adam-antonik - 5
- 3
- 0
store dblog file in hobbes::defaultStoreDir()
#337 opened by smunix - 4
Creating a new hobbes thread from hobbes
#335 opened by adam-antonik - 2
- 12
- 3
farray's cdelim behaves poorly for large inputs
#321 opened by adam-antonik - 18
Build fails on ignored return value
#318 opened by thmzlt - 4
It is unclear how to use the Map typeclass
#312 opened by adam-antonik - 3
- 3
- 3
crash on 1L / 0
#310 opened by adam-antonik - 1
- 3
- 4
linting old coding style
#305 opened by chenkai036