Files

 master

/

src

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

kyechou

Partially support owned_dst_only invariants

Aug 1, 2024

c70ac17 · Aug 1, 2024

History

History

/

src

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
driver		driver	Disable aligning consecutive assignments	Jul 19, 2024
invariant		invariant	Fix loop checks	Jul 29, 2024
lib		lib	Disable aligning consecutive assignments	Jul 19, 2024
process		process	Disable aligning consecutive assignments	Jul 19, 2024
__init__.py		__init__.py	Remove soft links and make config.py a module	Dec 13, 2022
api.cpp		api.cpp	Make model reference non-constant	Mar 21, 2023
api.hpp		api.hpp	Add code for logging time and memory usage; add script for running en…	Jan 21, 2020
candidates.cpp		candidates.cpp	Remove catch2 submodule, update dependency, add clang-format	Jun 1, 2022
candidates.hpp		candidates.hpp	Remove catch2 submodule, update dependency, add clang-format	Jun 1, 2022
choices.cpp		choices.cpp	Make logger non-static	Mar 3, 2023
choices.hpp		choices.hpp	Remove catch2 submodule, update dependency, add clang-format	Jun 1, 2022
config.py		config.py	Partially support owned_dst_only invariants	Aug 1, 2024
configparser.cpp		configparser.cpp	Disable aligning consecutive assignments	Jul 19, 2024
configparser.hpp		configparser.hpp	Disable aligning consecutive assignments	Jul 19, 2024
conn.cpp		conn.cpp	Update .clang-format to 18	Jul 9, 2024
conn.hpp		conn.hpp	Disable aligning consecutive assignments	Jul 19, 2024
connmatrix.cpp		connmatrix.cpp	Compute and output initial (policy-oblivious) ECs for L3/L4	Mar 20, 2023
connmatrix.hpp		connmatrix.hpp	Remove catch2 submodule, update dependency, add clang-format	Jun 1, 2022
connspec.cpp		connspec.cpp	Rename policies	Mar 28, 2023
connspec.hpp		connspec.hpp	Update sources (no semantic changes)	Jul 9, 2024
dataparse.py		dataparse.py	Merge example 19 into 15 (working)	Jul 28, 2024
dockerapi.cpp		dockerapi.cpp	Fix tests	Jul 23, 2024
dockerapi.hpp		dockerapi.hpp	Reformat to be compatible with Ubuntu	Nov 2, 2023
dockernode.hpp		dockernode.hpp	Fix minor compile issues	Jul 8, 2024
dropdetection.cpp		dropdetection.cpp	Implement drop detection methods with an abstract base class	Apr 3, 2023
dropdetection.hpp		dropdetection.hpp	Fix dropmon blocking issue	Apr 3, 2023
dropmon.cpp		dropmon.cpp	Disable aligning consecutive assignments	Jul 19, 2024
dropmon.hpp		dropmon.hpp	Disable aligning consecutive assignments	Jul 19, 2024
droptimeout.cpp		droptimeout.cpp	Disable aligning consecutive assignments	Jul 19, 2024
droptimeout.hpp		droptimeout.hpp	Disable aligning consecutive assignments	Jul 19, 2024
droptrace.bpf.c		droptrace.bpf.c	Fix tests	Jul 23, 2024
droptrace.cpp		droptrace.cpp	Fix tests	Jul 23, 2024
droptrace.h		droptrace.h	Update .clang-format to 18	Jul 9, 2024
droptrace.hpp		droptrace.hpp	Disable aligning consecutive assignments	Jul 19, 2024
ecrange.cpp		ecrange.cpp	Update .clang-format to 18	Jul 9, 2024
ecrange.hpp		ecrange.hpp	Disable aligning consecutive assignments	Jul 19, 2024
emu-pkt-key.hpp		emu-pkt-key.hpp	Disable aligning consecutive assignments	Jul 19, 2024
emulation.cpp		emulation.cpp	Disable aligning consecutive assignments	Jul 19, 2024
emulation.hpp		emulation.hpp	Disable aligning consecutive assignments	Jul 19, 2024
emulationmgr.cpp		emulationmgr.cpp	Disable aligning consecutive assignments	Jul 19, 2024
emulationmgr.hpp		emulationmgr.hpp	Disable aligning consecutive assignments	Jul 19, 2024
eqclass.cpp		eqclass.cpp	Remove catch2 submodule, update dependency, add clang-format	Jun 1, 2022
eqclass.hpp		eqclass.hpp	Remove catch2 submodule, update dependency, add clang-format	Jun 1, 2022
eqclassmgr.cpp		eqclassmgr.cpp	Disable aligning consecutive assignments	Jul 19, 2024
eqclassmgr.hpp		eqclassmgr.hpp	Disable aligning consecutive assignments	Jul 19, 2024
fib.cpp		fib.cpp	Update .clang-format to 18	Jul 9, 2024
fib.hpp		fib.hpp	Disable aligning consecutive assignments	Jul 19, 2024
injection-cache.cpp		injection-cache.cpp	Cache the packet injection results	Nov 22, 2023
injection-cache.hpp		injection-cache.hpp	Disable aligning consecutive assignments	Jul 19, 2024
injection-result.cpp		injection-result.cpp	Update .clang-format to 18	Jul 9, 2024
injection-result.hpp		injection-result.hpp	Allow multiple injections per concretization	Nov 21, 2023
interface.cpp		interface.cpp	Make logger non-static	Mar 3, 2023
interface.hpp		interface.hpp	Restructure docker, dockerapi, and update parser	Mar 17, 2023
l2-lan.cpp		l2-lan.cpp	Update sources (no semantic changes)	Jul 9, 2024
l2-lan.hpp		l2-lan.hpp	Update sources (no semantic changes)	Jul 9, 2024
link.cpp		link.cpp	Make logger non-static	Mar 3, 2023
link.hpp		link.hpp	Restructure docker, dockerapi, and update parser	Mar 17, 2023
logger.cpp		logger.cpp	Disable aligning consecutive assignments	Jul 19, 2024
logger.hpp		logger.hpp	Disable aligning consecutive assignments	Jul 19, 2024
main.cpp		main.cpp	Disable aligning consecutive assignments	Jul 19, 2024
middlebox.cpp		middlebox.cpp	Disable aligning consecutive assignments	Jul 19, 2024
middlebox.hpp		middlebox.hpp	Disable aligning consecutive assignments	Jul 19, 2024
model-access.cpp		model-access.cpp	Disable aligning consecutive assignments	Jul 19, 2024
model-access.hpp		model-access.hpp	Disable aligning consecutive assignments	Jul 19, 2024
network.cpp		network.cpp	Ignore and remove duplicated links	Jul 29, 2024
network.hpp		network.hpp	Disable aligning consecutive assignments	Jul 19, 2024
network.pml		network.pml	Add support for loop invariants	Nov 27, 2023
node.cpp		node.cpp	Ignore and remove duplicated links	Jul 29, 2024
node.hpp		node.hpp	Disable aligning consecutive assignments	Jul 19, 2024
packet.cpp		packet.cpp	Fix tests	Jul 23, 2024
packet.hpp		packet.hpp	Disable aligning consecutive assignments	Jul 19, 2024
payload.cpp		payload.cpp	Reset system-wide (singleton) configurations when needed	Apr 3, 2023
payload.hpp		payload.hpp	Disable aligning consecutive assignments	Jul 19, 2024
payloadmgr.cpp		payloadmgr.cpp	Disable aligning consecutive assignments	Jul 19, 2024
payloadmgr.hpp		payloadmgr.hpp	Disable aligning consecutive assignments	Jul 19, 2024
pkt-hist.cpp		pkt-hist.cpp	Disable aligning consecutive assignments	Jul 19, 2024
pkt-hist.hpp		pkt-hist.hpp	Disable aligning consecutive assignments	Jul 19, 2024
pktbuffer.cpp		pktbuffer.cpp	Remove catch2 submodule, update dependency, add clang-format	Jun 1, 2022
pktbuffer.hpp		pktbuffer.hpp	Disable aligning consecutive assignments	Jul 19, 2024
plankton.cpp		plankton.cpp	Disable aligning consecutive assignments	Jul 19, 2024
plankton.hpp		plankton.hpp	Disable aligning consecutive assignments	Jul 19, 2024
protocols.hpp		protocols.hpp	Update .clang-format to 18	Jul 9, 2024
reachcounts.cpp		reachcounts.cpp	Remove catch2 submodule, update dependency, add clang-format	Jun 1, 2022
reachcounts.hpp		reachcounts.hpp	Update sources (no semantic changes)	Jul 9, 2024
route.cpp		route.cpp	Disable aligning consecutive assignments	Jul 19, 2024
route.hpp		route.hpp	Disable aligning consecutive assignments	Jul 19, 2024
routingtable.cpp		routingtable.cpp	Reformat to be compatible with Ubuntu	Nov 2, 2023
routingtable.hpp		routingtable.hpp	Disable aligning consecutive assignments	Jul 19, 2024
stats.cpp		stats.cpp	Record real peak RSS rather than virtual memory	Jul 30, 2024
stats.hpp		stats.hpp	Disable aligning consecutive assignments	Jul 19, 2024
unique-storage.cpp		unique-storage.cpp	Fix loop checks	Jul 29, 2024
unique-storage.hpp		unique-storage.hpp	Disable aligning consecutive assignments	Jul 19, 2024
View all files