Maxime

Hello, How can we control the number of cpu used by tensorflow? I would like to achieve something similar as https://www.tensorflow.org/performance/performance_guide#optimizing_for_cpu I noticed that `config` can be passed in `tf.Session()`,...

dynamic_rnn support

3

Hello, I ran `Pkg.update()` recently and it seems like the package does not support dynamic_rnn anymore. I was wondering what was the reason for this? I have not had the...

The documentation is scattered

2

Even if the ecosystem is split into multiple packages I think the documentation should be centralized. It is often hard for newcomers to discover all the packages of the ecosystem....

Tree hash mismatch error when installing on WSL

21

I am getting a `Tree Hash Mismatch!` error when trying to install SpecialFunctions. Setup: - julia 1.3 : fresh install, I just have Revise installed - windows subsystem for linux...

This repository should benefit from the new SISL registry to simplify the installation procedure on julia 1.1

Hi, I have saved a trained Flux model in julia 1.0 a while ago and would like to retrieve it in julia 1.1 but I am getting the following error:...

[Spot_julia] add more julia versions

1

I would like to update Spot_julia so that it supports later julia version, I am not sure if this change is enough.

Support of AbtractEnvironment

2

This solver uses some function that are broader than the minimal interface defined in RLInterface and relies on internal fields such as `env.problem` in many places. Ideally, the solver should...

Feature Request: Scheduler extraction in step-bounded reachability analysis

2

Given an MDP in the explicit format, for reachability formulas involving `G` , `F{op}k` or `U{op}k`, the model checking result returns a vector with the maximum probability of satisfying the...

A lot of functions are named `get_...`, I think we could remove the get in most of the cases to match julia style guides. Examples: get_lane -> lane get_center ->...