phd
/
yggdrasil
Watch 1
Star 0
Fork 0
Code Issues 3 Pull Requests 0 Releases 1 Wiki Activity
22 Commits
5 Branches
Branch: master
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Commit Graph

22 Commits (master)
 

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