fritzo/pomagma issues and pull requests

#56 - Bump ipython from 7.16.3 to 8.10.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#55 - Bump ipython from 5.1.0 to 7.16.3

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#54 - Sketch scoped lambda reduction a la Arioli

Pull Request - State: closed - Opened by fritzo over 7 years ago

#53 - Support cyclic structures in pomagma.reducer.data

Issue - State: open - Opened by fritzo over 7 years ago

#52 - Replace reducer.engines.engine with reducer.bohm

Pull Request - State: closed - Opened by fritzo over 7 years ago

#51 - Replace reducer.engines.engine with reducer.bohm

Pull Request - State: closed - Opened by fritzo almost 8 years ago

#50 - Switch to reducer.bohm engine by default

Pull Request - State: closed - Opened by fritzo almost 8 years ago

#49 - Reducer

Pull Request - State: closed - Opened by fritzo over 8 years ago

#48 - Protobuf error on OS X: KeyError ('DESCRIPTOR')

Issue - State: closed - Opened by fritzo over 8 years ago - 3 comments
Labels: bug

#47 - OS X compatibility

Pull Request - State: closed - Opened by fritzo over 8 years ago

#46 - Migrate zmq2 -> zmq4

Pull Request - State: closed - Opened by fritzo over 8 years ago
Labels: enhancement

#45 - Make sure to fsync() directories in durable atomic moves of files

Issue - State: open - Opened by fritzo over 8 years ago

#44 - Get zmq 4 working on OS X

Issue - State: closed - Opened by fritzo over 8 years ago - 1 comment
Labels: enhancement, wontfix

#43 - Refactor scheduler interface to support OS X + clang

Issue - State: closed - Opened by fritzo over 8 years ago - 1 comment
Labels: enhancement

#42 - pomagma::Server::trim gets stuck

Issue - State: closed - Opened by fritzo almost 9 years ago - 5 comments
Labels: bug

#41 - pomagma explore dies with "OSError: Too many open files"

Issue - State: open - Opened by fritzo almost 9 years ago
Labels: bug

#40 - Make intervals::Approximator's use of DenseSetStore thread-safe

Issue - State: closed - Opened by fritzo almost 9 years ago
Labels: bug

#39 - Propagate2

Pull Request - State: closed - Opened by fritzo about 9 years ago

#38 - Replace AsyncMap with LazyMap in Validator

Issue - State: open - Opened by fritzo about 9 years ago
Labels: enhancement

#37 - Propagate

Pull Request - State: closed - Opened by fritzo about 9 years ago

#36 - Fix disabled assertion in dense_set_store_test.cpp

Issue - State: closed - Opened by fritzo about 9 years ago
Labels: bug

#35 - Make WorkerPool test stronger

Issue - State: closed - Opened by fritzo about 9 years ago - 1 comment
Labels: bug

#34 - Implement literate code verbs in pomagma.corpus

Issue - State: open - Opened by fritzo about 9 years ago
Labels: enhancement

#33 - Choose syntax for corpus

Issue - State: closed - Opened by fritzo about 9 years ago - 2 comments
Labels: enhancement

#32 - Filter pomagma.theorist.solve define results

Issue - State: open - Opened by fritzo about 9 years ago
Labels: enhancement

#31 - Port a CMake C++ build from Linux to OS X

Issue - State: closed - Opened by fritzo about 9 years ago - 2 comments
Labels: enhancement

#30 - Migrate .travis.yml to container-based infrastructure

Issue - State: open - Opened by fritzo about 9 years ago
Labels: enhancement

#29 - Support install and build on OS X

Pull Request - State: closed - Opened by fritzo about 9 years ago

#28 - PagedQueue dies during queue_profile

Issue - State: closed - Opened by fritzo about 9 years ago - 1 comment
Labels: bug

#27 - Infer associativity in cartographer/infer

Issue - State: closed - Opened by fritzo over 9 years ago
Labels: enhancement

#26 - HDF5-DIAG Error

Issue - State: closed - Opened by fritzo over 9 years ago - 1 comment
Labels: bug

#25 - Slowest survey programs

Issue - State: closed - Opened by fritzo over 9 years ago - 2 comments

#24 - HDF5 type exceeds width when writing

Issue - State: closed - Opened by fritzo over 9 years ago - 2 comments
Labels: bug

#23 - Possible bug in surveyor virtual machine cleanup task scheduling

Issue - State: open - Opened by fritzo over 9 years ago - 1 comment
Labels: bug