GitHub - bandurvp/CollatzGC: GC testing using the Collatz conjecture

bandurvp / CollatzGC Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

GC testing using the Collatz conjecture

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
nativelib		nativelib
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
Collatz.c		Collatz.c
Collatz.c.GC		Collatz.c.GC
Collatz.c.manualFreesNoLeaks		Collatz.c.manualFreesNoLeaks
Collatz.c.original		Collatz.c.original
Collatz.h		Collatz.h
Collatz.vdmrt		Collatz.vdmrt
MangledNames.h		MangledNames.h
README.txt		README.txt
comparison.png		comparison.png
main.c		main.c
massif.out		massif.out
massif.out.GC		massif.out.GC
massif.out.ideal		massif.out.ideal
massif.out.noGC		massif.out.noGC
plotcmd		plotcmd
script.sh		script.sh
timescript.sh		timescript.sh
values.GC		values.GC
values.ideal		values.ideal
values.noGC		values.noGC

Repository files navigation

This source code is generated.  To compile, rename the file ProjectCMakeLists.txt to CMakeLists.txt and run

	cmake .

This should generate the required makefiles in order to be able to build the generated model with

	make

The main.c file is empty, it must be populated as required.  It is only provided to aid the initial compilation process.  PLEASE NOTE:  each time the VDM project is generated, this directory is completely erased.  Please consider carrying out development on the main.c file elsewhere and linking to it from this directory.