yggdrasil

Author	SHA1	Message	Date
Thomas Kerber	e9c05e676b	Not sure if this is working.	1 year ago
Thomas Kerber	4ca10bba09	Start working on ISM ideas.	1 year ago
Thomas Kerber	18797eea39	Attempt to move closer to actual proofs.	1 year ago
Thomas Kerber	2f8864279a	Fix various parts of the model.	1 year ago
Thomas Kerber	46d31107f6	Find serious problem in the simulated execution (the simulator's state is lost).	1 year ago
Thomas Kerber	1a813a3c9e	Slight reorganising.	1 year ago
Thomas Kerber	b7de611e6e	Almost working example!	1 year ago
Thomas Kerber	6042dec537	Fix unsolved meta.	1 year ago
Thomas Kerber	75eaa518c1	Build rational arithmetic.	1 year ago
Thomas Kerber	437071102b	Some work on rationals.	1 year ago
Thomas Kerber	5b6bfeee81	Finish security def?	1 year ago
Thomas Kerber	afb135392a	Start reworking the security model.	1 year ago
Thomas Kerber	caf15b9d2f	Finish probability work with a bunch of postulates.	1 year ago
Thomas Kerber	1e2909c992	Distributional equality.	1 year ago
Thomas Kerber	4db746f631	Some garbage.	1 year ago
Thomas Kerber	5286d8340f	Start working on probability stuff.	1 year ago
Thomas Kerber	1d3de4eac2	Start thinking about security definition.	1 year ago
Thomas Kerber	393ac3ba1c	Finish execution model.	1 year ago
Thomas Kerber	4cd48c4b9e	Mostly finish execution.	1 year ago
Thomas Kerber	6cdfff51af	Define actions!	1 year ago
Thomas Kerber	85e9f09f32	Start constructing world.	1 year ago
Thomas Kerber	43c0c4f68f	Add license.	1 year ago