summaryrefslogtreecommitdiff
path: root/flake.lock (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update charonNadrieril2024-06-241-3/+3
* Update charonNadrieril2024-06-241-3/+3
* Update charonNadrieril2024-06-211-3/+3
* `predicates` got merged into `generic_params`Nadrieril2024-06-211-3/+3
* Support for renaming using the rename attribute in charon (#239)Escherichia2024-06-181-3/+3
* Bump charonNadrieril2024-06-181-3/+3
* Update the Charon pinSon Ho2024-06-171-3/+3
* Filter out type aliasesNadrieril2024-06-061-3/+3
* Update charonNadrieril2024-06-051-3/+3
* Propagated changes to statement from Charon (#223)Escherichia2024-06-041-3/+3
* Update charon pinNadrieril2024-06-041-3/+3
* update charon pinAymeric Fromherz2024-05-241-3/+3
* update charon pinAymeric Fromherz2024-05-241-3/+3
* Update charon pinNadrieril2024-05-241-3/+3
* Bump charon versionNadrieril2024-05-231-3/+3
* Catch new literal variantsNadrieril2024-05-141-3/+3
* Update charonNadrieril2024-05-061-3/+3
* Update flake.lockAymeric Fromherz2024-05-061-3/+3
* Update charonNadrieril2024-04-301-3/+3
* Update the flake.lockSon Ho2024-04-251-15/+15
* Update charon pinNadrieril2024-04-181-4/+20
* Merge pull request #145 from RaitoBezarius/no-flakesGuillaume Boisseau2024-04-181-0/+16
|\
| * feat(nix): support non-Flakes usersRyan Lahfa2024-04-171-0/+16
* | Bump charonNadrieril2024-04-171-3/+3
|/
* Use charon mainNadrieril2024-04-111-4/+3
* Trust rustc regarding `Copy` boundsNadrieril2024-04-101-3/+4
* Update the nix flakeSon Ho2024-04-041-3/+3
* Update the nix flakeSon Ho2024-03-281-15/+15
* Update the flake.lockSon Ho2024-03-201-15/+15
* Update the flake.nix and the flake.lockSon Ho2024-03-181-347/+3
* Update the flake.lockSon Ho2024-03-171-21/+21
* Update the flake.lockSon Ho2024-03-111-12/+12
* Update the flake.lockSon Ho2024-03-091-24/+24
* Update the flake.lockSon Ho2024-02-091-21/+21
* Update the flake.lockSon Ho2024-02-021-18/+18
* Update the flake.lockSon Ho2024-01-251-24/+24
* Update the flake.lockSon Ho2023-12-231-21/+21
* Update the flake.lockSon Ho2023-12-131-9/+9
* Update the flake.lockSon Ho2023-12-131-3/+3
* Merge remote-tracking branch 'origin/main' into son_merge_back2Son Ho2023-12-131-21/+21
|\
| * Update the flake.lockSon Ho2023-12-121-21/+21
* | Update the flake.lockSon Ho2023-12-071-3/+3
|/
* Update the flake.lockSon Ho2023-12-071-18/+18
* Update the flake.lockSon Ho2023-12-051-36/+36
* Update the flake.lockSon Ho2023-11-291-9/+9
* Update flake.lockSon Ho2023-11-291-30/+30
* Update the flake.lockSon Ho2023-11-271-18/+18
* Update the flake.lockSon Ho2023-11-221-3/+2
* Fix an issue with the nix flake and update the flake.lockSon Ho2023-11-221-9/+10
* Update the flake.lockSon Ho2023-11-221-18/+18