summaryrefslogtreecommitdiff
path: root/flake.lock (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update charonNadrieril2024-06-281-10/+6
|
* Update charonNadrieril2024-06-251-3/+3
|
* 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * support for renaming using the rename attribute in charon * support for global decl * add support for renaming field * applied suggested changes and began adding support for variant * finished support for renaming variant * applied suggested changes * add tests * fixed variant and field renaming * update charon-pin * update flake.lock * Update the charon pin * Fix an issue with renaming trait method implementations * Fix an issue with the renaming of trait implementations * Fix an issue when renaming enumerations * Update the Charon pin * Fix the F* tests * Fix an issue with the spans for the loops * Fix the tests * Update a comment * Use fuel in the coq tests * Generate the template decreases clauses by default --------- Co-authored-by: Escherichia <escherichia@charlotte> Co-authored-by: Son Ho <hosonmarc@gmail.com>
* 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
| | | | | Co-authored-by: Escherichia <escherichia@charlotte> Co-authored-by: Nadrieril <nadrieril+git@gmail.com>
* 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
| | | | | | | | | | | | | | | | Not all Nix users can make use of Flakes. This adds the compatibility for non-Flakes users. Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr>
* | 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-22 14:13:59 +0000