Diffusion afp-devel d77834415899

operations for symbolic computation of bit operations
d77834415899
Actions

Description

operations for symbolic computation of bit operations

Details

Provenance

florian.haftmann

Authored on

Parents

rAFP835c58e469d3: fixed Proof_Strategy_Language following Isabelle/f58108b7a60c

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFPd77834415899: operations for symbolic computation of bit operations.Jul 12 2021, 1:41 PM

Changes (11)

Path

Size

thys

Modular_arithmetic_LLL_and_HNF_algorithms/

HNF_Mod_Det_Soundness.thy

Native_Word

Bits_Integer.thy

	Code_Int_Integer_Conversion.thy
	More_Bits_Int.thy

Code_Symbolic_Bits_Int.thy

Code_Target_Bits_Int.thy

Code_Target_Word_Base.thy

More_Bits_Int.thy

ROOT

Word_Lib/

Bits_Int.thy

rAFPd77834415899

View Options

thys/Modular_arithmetic_LLL_and_HNF_algorithms/HNF_Mod_Det_Soundness.thy

View Options

thys/Native_Word/Bits_Integer.thy

View Options

thys/Native_Word/Code_Int_Integer_Conversion.thy

View Options

thys/Native_Word/Code_Symbolic_Bits_Int.thy

View Options

thys/Native_Word/Code_Target_Bits_Int.thy

View Options

thys/Native_Word/Code_Target_Word_Base.thy

View Options

thys/Native_Word/More_Bits_Int.thy

View Options

thys/Native_Word/ROOT

View Options

thys/Word_Lib/Bits_Int.thy

operations for symbolic computation of bit operationsd77834415899Actions

Description

Details

Event Timeline

Changes (11)

rAFPd77834415899

thys/Modular_arithmetic_LLL_and_HNF_algorithms/HNF_Mod_Det_Soundness.thy

thys/Native_Word/Bits_Integer.thy

thys/Native_Word/Code_Int_Integer_Conversion.thy

thys/Native_Word/Code_Symbolic_Bits_Int.thy

thys/Native_Word/Code_Target_Bits_Int.thy

thys/Native_Word/Code_Target_Word_Base.thy

thys/Native_Word/More_Bits_Int.thy

thys/Native_Word/ROOT

thys/Word_Lib/Bits_Int.thy

operations for symbolic computation of bit operations
d77834415899
Actions