summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'main' into son/loops2Son Ho2024-06-04188-5984/+2764
|\
| * Merge pull request #230 from W95Psp/follow-up-charon-pr-209Guillaume Boisseau2024-06-047-6/+12
| |\
| | * Fix the CI pin checkNadrieril2024-06-041-0/+2
| | * Update charon pinNadrieril2024-06-042-4/+4
| | * feat: basic handling for `RValue::Len`, following AeneasVerif/charon#209Lucas Franceschino2024-06-034-2/+6
| |/
| * Merge pull request #226 from AeneasVerif/remove-rust-scriptsGuillaume Boisseau2024-05-302-157/+0
| |\
| | * Remove unused `rust-scripts`Nadrieril2024-05-302-157/+0
| |/
| * Merge pull request #225 from AeneasVerif/update-charon-pinGuillaume Boisseau2024-05-302-8/+14
| |\
| | * Update charon pin to local commit when developingNadrieril2024-05-302-8/+14
| |/
| * Merge pull request #217 from AeneasVerif/document-testsGuillaume Boisseau2024-05-307-197/+284
| |\
| | * Improve the tests READMENadrieril2024-05-302-14/+22
| | * runner: Factor out backend-specific optionsNadrieril2024-05-302-49/+56
| | * runner: Split up into multiple filesNadrieril2024-05-306-198/+191
| | * runner: make the backend map a submodule of `Backend`Nadrieril2024-05-301-36/+48
| | * tests: Add a READMENadrieril2024-05-301-0/+67
| |/
| * Merge pull request #149 from RaitoBezarius/reexport-our-charonGuillaume Boisseau2024-05-292-0/+20
| |\
| | * chore: explain a Nix-powered workflowRyan Lahfa2024-05-292-0/+20
| |/
| * Merge pull request #218 from AeneasVerif/ci-check-pinGuillaume Boisseau2024-05-295-2/+31
| |\
| | * ci: Check correctness of the charon pinned commitNadrieril2024-05-295-2/+31
| |/
| * Merge pull request #222 from AeneasVerif/son/readmeSon HO2024-05-291-6/+7
| |\
| | * Update the READMESon Ho2024-05-291-6/+7
| |/
| * Merge pull request #221 from AeneasVerif/son/builtinsSon HO2024-05-292-163/+124
| |\
| | * Merge branch 'main' into son/builtinsSon HO2024-05-290-0/+0
| | |\ | | |/ | |/|
| * | Merge pull request #220 from AeneasVerif/son/collisionsSon HO2024-05-293-25/+23
| |\ \
| | * \ Merge branch 'main' into son/collisionsSon HO2024-05-290-0/+0
| | |\ \ | | |/ / | |/| |
| * | | Merge pull request #219 from AeneasVerif/son/infiniteSon HO2024-05-285-5/+77
| |\ \ \
| | | | * Factor out code in ExtractBuiltin.mlSon Ho2024-05-292-163/+124
| | | |/
| | | * Fix an issue with some names being ignored when generating unique variable namesSon Ho2024-05-283-25/+23
| | |/
| | * Reactivate the infinite-loop.rs testSon Ho2024-05-284-1/+76
| | * Fix a bug in SymbolicToPure.translate_loopSon Ho2024-05-281-4/+1
| |/
| * Merge pull request #213 from AeneasVerif/cleanup-testsGuillaume Boisseau2024-05-2884-4396/+839
| |\
| | * tests: Rename hashmap_utils -> utilsNadrieril2024-05-2813-42/+40
| | * Add some testsNadrieril2024-05-288-0/+178
| | * runner: Store options for crate tests in a separate fileNadrieril2024-05-282-30/+14
| | * tests: Rename betree_main -> betreeNadrieril2024-05-2831-365/+361
| | * tests: Merge the hashmap test filesNadrieril2024-05-2742-3992/+279
| |/
| * Merge pull request #209 from AeneasVerif/negative-testsGuillaume Boisseau2024-05-278-47/+159
| |\
| | * runner: Add `no-check-output` option for unstable outputsNadrieril2024-05-273-27/+31
| | * runner: Support negative testsNadrieril2024-05-279-26/+123
| | * runner: Correctly catch command exit statusNadrieril2024-05-272-29/+40
| |/
| * Merge pull request #184 from RaitoBezarius/unsigned-maxSon HO2024-05-271-0/+39
| |\
| | * Merge branch 'main' into unsigned-maxSon HO2024-05-27118-1449/+1626
| | |\ | | |/ | |/|
| * | Merge pull request #206 from AeneasVerif/subdirGuillaume Boisseau2024-05-2485-609/+633
| |\ \
| | * | Rename some subdirectories for consistencyNadrieril2024-05-2450-13/+7
| | * | Update output filesNadrieril2024-05-2426-554/+554
| | * | runner: Specify subdirectory in magic commentsNadrieril2024-05-249-15/+24
| | * | runner: Factor out useful `BackendMap` operationsNadrieril2024-05-241-33/+26
| | * | runner: Allow per-backend skippingNadrieril2024-05-241-19/+46
| | * | runner: Allow filenames with dashesNadrieril2024-05-242-1/+2
| | * | fix generated fileNadrieril2024-05-241-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-19 11:39:17 +0000