Skip to content
Permalink

Comparing changes

This is a direct comparison between two commits made in this repository or its related repositories. View the default comparison for this range or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: mit-plv/fiat-crypto
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 2259c18b0dea718f15a4ce8744ee42edf9697ac5
Choose a base ref
..
head repository: mit-plv/fiat-crypto
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 6eb838f7bf2cd796147aaae11997c1d1238757f5
Choose a head ref
4 changes: 2 additions & 2 deletions .../fiat_p448_from_bytes/clang_19_1_0_O0.asm → ...48_solinas_from_bytes/clang_19_1_0_O0.asm
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
.globl _Z20fiat_p448_from_bytesPmPKh
_Z20fiat_p448_from_bytesPmPKh:
.globl _Z20fiat_p448_solinas_from_bytesPmPKh
_Z20fiat_p448_solinas_from_bytesPmPKh:
push rbp
mov rbp, rsp
sub rsp, 720
4 changes: 2 additions & 2 deletions ...amd64/fiat_p448_from_bytes/gcc_14_1_0.asm → ...at_p448_solinas_from_bytes/gcc_14_1_0.asm
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
.globl _Z20fiat_p448_from_bytesPmPKh
_Z20fiat_p448_from_bytesPmPKh:
.globl _Z20fiat_p448_solinas_from_bytesPmPKh
_Z20fiat_p448_solinas_from_bytesPmPKh:
push rbp
mov rbp, rsp
sub rsp, 728