if you can work out a way for us to use a higher-powered computer to work on, that would be great! we won't need it immediately, but will be useful for hyperparameter tuning

Set up a continuous integration pipeline using Github to automatically merge our individual tag files using the already completed merge function

Create a 'jumbotron' with a header label which says 'upload resume', and some description text

python3 -m pip install --editable tapa/backend/python => succeed python3 -m pip install tapa/backend/python => fail FileNotFoundError: [Errno 2] No such file or directory: '/t...

TS2339: Property 'height' does not exist on type 'ThemedStyledProps<Pick<DetailedHTMLProps<ButtonHTMLAttributes, HTMLButtonElement>, "ke...

Trying to install Pynq-Composable_Pipeline on Pynq-Z1 with version 2.7 The command sudo pip3 install PYNQ_Composable_Pipeline/ --verbose returns the following. I checked Cython version, I have the ...

Expected Behavior cwltool ignores default values when using the argument on the command line Actual Behavior Calling cwltool with an argument that is a string[] in the command line will keep the th...

The evaluator is able to reduce rg == rg and rg != rg (to True and False), but doesn't reduce expressions with <, <=, >, or >=. This can be seen in the following...

Is your feature request related to a problem? Please describe. The optimizer doesn't have a rule to recognize IN and arrays in use patterns so users have to manually rewrite the pattern. De...

Mbed TLS only supports 12-byte nonces for PSA_ALG_STREAM_CIPHER with PSA_KEY_TYPE_CHACHA20 and for PSA_ALG_CHACHA20_POLY1305. The PSA Crypto specification allows both 12-byte and 8-byte nonces for ...

When the pynq_composable package is installed in a board that is not supported by the composable video overlay, the pynq_composable.overlay is register as a module, however the /usr/local/share/pyn...

When there's only one person in the For whom? column (this is the case for the slight majority of my transactions), the How much? column is unnecessarily cluttered, with the same value alwa...

Is your feature request related to a problem? Please describe. The GUI for AutoCompliance needs to be created. Describe the solution you'd like A functional GUI which can call the underlyin...

@mikeurbach and I think it would be useful to have an import/export format for scheduling problem instances, e.g. for writing test cases and benchmarking independent from the concrete (and potentia...

Describe the problem To use a timestamp value in decimal, in Postgres, I use the to_timestamp() function as follows select to_timestamp(1646906263.278); Since cockroach doesn't have to_time...

Sorry to one question. Built the vivado project for PYNQ-Z2 board by below command successfully: cd PYNQ_Composable_Pipeline/boards/Pynq-Z2 make project When I trying change the static ip : ex: col...

📓 Documentation Update Clicking on the Contributing Guide link from the side-bar on https://airctic.github.io/icedata/ directs to https://airctic.github.io/icedata/readme.md The body of the page di...

Add a test for what happens if a key is used for signing, but the signing secret key is missing.

Singularity HPC newly added support for wrappers: https://singularity-hpc.readthedocs.io/en/latest/getting_started/user-guide.html?highlight=wrappers#wrapper-scripts But we didn't properly ...