22 коммитов (master)
 

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