GitHub - AllanBlanchard/Frama-C-Conc2Seq: Frama-C Conc2Seq plugin - transforms concurrent code into equivalent sequential one

This plugin is not actively developed anymore.

Name		Name	Last commit message	Last commit date
Latest commit History 50 Commits
test		test
tests		tests
.merlin		.merlin
Conc2Seq.mli		Conc2Seq.mli
LICENSE		LICENSE
Makefile.in		Makefile.in
README.md		README.md
atomic.h		atomic.h
atomic_header.ml		atomic_header.ml
atomic_header.mli		atomic_header.mli
code_transformer.ml		code_transformer.ml
code_transformer.mli		code_transformer.mli
configure.ac		configure.ac
errors.ml		errors.ml
functions.ml		functions.ml
functions.mli		functions.mli
interleavings.ml		interleavings.ml
interleavings.mli		interleavings.mli
lemmas.ml		lemmas.ml
lemmas.mli		lemmas.mli
logic_transformer.ml		logic_transformer.ml
logic_transformer.mli		logic_transformer.mli
options.ml		options.ml
program_counter.ml		program_counter.ml
program_counter.mli		program_counter.mli
query.ml		query.ml
query.mli		query.mli
register.ml		register.ml
simfuncs_spec.ml		simfuncs_spec.ml
simfuncs_spec.mli		simfuncs_spec.mli
simulation.ml		simulation.ml
simulation.mli		simulation.mli
simulation_axioms.ml		simulation_axioms.ml
simulation_axioms.mli		simulation_axioms.mli
simulation_invariant.ml		simulation_invariant.ml
simulation_invariant.mli		simulation_invariant.mli
single_load.ml		single_load.ml
single_load.mli		single_load.mli
specified_atomic.ml		specified_atomic.ml
specified_atomic.mli		specified_atomic.mli
statements.ml		statements.ml
statements.mli		statements.mli
thread_local.ml		thread_local.ml
thread_local.mli		thread_local.mli
user_invariant.ml		user_invariant.ml
user_invariant.mli		user_invariant.mli
vars.ml		vars.ml
vars.mli		vars.mli
vars_spec.ml		vars_spec.ml
vars_spec.mli		vars_spec.mli

Provide feedback