GitHub - Chaarlesss/verified-static-analyzer: A small & simple WIP verified static analyzer

Name		Name	Last commit message	Last commit date
Latest commit History 38 Commits
.gitignore		.gitignore
Basics_old.v		Basics_old.v
Fixpoints.v		Fixpoints.v
Functions.v		Functions.v
FunctionsProperties.v		FunctionsProperties.v
Galois.v		Galois.v
Lattice.v		Lattice.v
LatticeProperties.v		LatticeProperties.v
TransformerSemantics.v		TransformerSemantics.v
_CoqProject		_CoqProject
base.v		base.v
basics.v		basics.v