Fetch analysis crate directly from the upstream git

Instead of keeping a copy of analysis, we can fetch it directly from the upstream git repository.

Note that to improve network use, a shallow copy is explicitly used (see .cargo/config.toml).

The latest version of analysis (with a small change to the Cargo.toml) makes cargo a bit buggy due to a weird dependency hole, which may be fixed in a newer version of cargo.

Furthermore, due to the cargo configuration of prusti, cargo must be configured with the -Zbindeps flags (see flake.nix).

added 1 commit

• b16b94e5 - feat(cargo): Fetch analysis crate directly from the upstream git

Compare with previous version

added 1 commit

• bc27b082 - feat(cargo): Fetch analysis crate directly from the upstream git

Compare with previous version

added 3 commits

• 033eab96 - feat(cargo): Fetch analysis crate directly from the upstream git
• 9fed94a4 - fix(nix): Pass '-Zbindeps' to cargo
• 5faf1559 - chore(nix): Pin to 23.11 instead to unstable

Compare with previous version

marked this merge request as ready

requested review from @lgaeher

changed the description

added 2 commits

• 9d6c7c6a - fix(nix): Pass '-Zbindeps' to cargo
• 7b01578a - chore(nix): Pin to 23.11 instead to unstable

Compare with previous version

resolved all threads

merged