Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Add the aeneas-verify-fstar derivation | Son Ho | 2022-11-16 | 1 | -0/+120 | |
* | Update the flake.lock | Son Ho | 2022-11-14 | 1 | -3/+3 | |
* | Udpate flake.lock | Son Ho | 2022-11-11 | 1 | -3/+3 | |
* | Update the nix flake | Son Ho | 2022-11-11 | 1 | -3/+3 | |
* | Run `make nix update` | Son Ho | 2022-11-11 | 1 | -3/+3 | |
* | Run `nix flake update` | Son Ho | 2022-11-11 | 1 | -3/+3 | |
* | nix | Paul-Nicolas Madelaine | 2022-11-11 | 1 | -0/+165 |