Skip to content

Commit c72c1ca

Browse files
satiscugcatsatiscugcat
committed
Removed fstar things
1 parent f138cb8 commit c72c1ca

25 files changed

+0
-22792
lines changed

‎testable-simd-models/proofs/fstar/extraction/.depend‎

Lines changed: 0 additions & 4007 deletions
This file was deleted.

‎testable-simd-models/proofs/fstar/extraction/Core_models.Abstractions.Bit.fst‎

Lines changed: 0 additions & 693 deletions
This file was deleted.

‎testable-simd-models/proofs/fstar/extraction/Core_models.Abstractions.Bitvec.Int_vec_interp.fst‎

Lines changed: 0 additions & 2639 deletions
This file was deleted.

‎testable-simd-models/proofs/fstar/extraction/Core_models.Abstractions.Bitvec.fst‎

Lines changed: 0 additions & 1053 deletions
This file was deleted.

‎testable-simd-models/proofs/fstar/extraction/Core_models.Abstractions.Funarr.fst‎

Lines changed: 0 additions & 168 deletions
This file was deleted.

0 commit comments

Comments
 (0)