pash

pash copied to clipboard

We removed support for Ubuntu 18.04 since it is deprecated as a runner image from Github Actions and now we only support Ubuntu 20.04. It would be great if we...

angelhof

Use something like the following (based on @mgree advice) to hide output in installation scripts by default. ``` [ "$CI" != "true" ] && exec 3>&1 4>&2 >FOO.log 2>&1 ```...

angelhof

With the new annotations framework, we prioritize round robin over the previous standard parallelization (aka consecutive chunks parallelization). In contrast to before, both types of parallelization might be used (for...

festutz

Unnest documentation and fix links

2

Forthoney

Update data URL

8

This updates a bunch of URLs to point to the new data directory.

nvasilakis

Running the install script requires the computer to have aclocal, however there is no dependency that this is already installed causing an issue when the script tries to install libdash...

ianhajra

Update distr ft benchmarks

1

Checkout evaluation scripts from pash/data branch and updated urls for distr benchmarks. I also added scripts to run benchmarks while injecting faults (naively) and script to compare if naive ft...

huangworld

I am realizing this only now, but there is a function called `make_typed_semi_sequence` being used in the `preprocess_ast_cases`. This used to also be in `ast_to_ast` which is where the logic...

Forthoney

New rewrites of dgsh scripts, cleaner and more meaningful

26

This PR starts rewriting dgsh scripts in a more meaningful less automated way (the ones that exist already contain command substitutions unnecessarily just because they were automatically generated.

angelhof

Pass environment file in the Wait response to hs

2

gliargovas