Commit Graph

  • *
  • *
  • *
  • *
  • *
  • *
  • | *
  • |/
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • | *
  • * |
  • | *
  • |/
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • e9c05e6 (HEAD -> master) Not sure if this is working. by Thomas Kerber 2018-12-10 18:58:35 +0000
  • 4ca10bb Start working on ISM ideas. by Thomas Kerber 2018-12-10 18:06:42 +0000
  • 18797ee (tabularasa) Attempt to move closer to actual proofs. by Thomas Kerber 2018-12-05 14:10:41 +0000
  • 2f88642 Fix various parts of the model. by Thomas Kerber 2018-12-03 18:27:05 +0000
  • 46d3110 Find serious problem in the simulated execution (the simulator's state is lost). by Thomas Kerber 2018-12-02 17:57:37 +0000
  • 1a813a3 Slight reorganising. by Thomas Kerber 2018-11-30 15:46:02 +0000
  • fc7b7e5 (gas-move-test) Bunch of work moving gas around - it doesn't seem to pay off. by Thomas Kerber 2018-11-30 15:28:02 +0000
  • b7de611 Almost working example! by Thomas Kerber 2018-11-29 19:34:38 +0000
  • 6042dec Fix unsolved meta. by Thomas Kerber 2018-11-29 12:32:33 +0000
  • 75eaa51 Build rational arithmetic. by Thomas Kerber 2018-11-29 11:29:54 +0000
  • 4370711 Some work on rationals. by Thomas Kerber 2018-11-28 23:21:57 +0000
  • 5b6bfee Finish security def? by Thomas Kerber 2018-11-28 22:05:07 +0000
  • afb1353 Start reworking the security model. by Thomas Kerber 2018-11-28 19:27:55 +0000
  • caf15b9 Finish probability work with a bunch of postulates. by Thomas Kerber 2018-11-28 16:31:33 +0000
  • 1e2909c Distributional equality. by Thomas Kerber 2018-11-28 12:54:24 +0000
  • 4db746f Some garbage. by Thomas Kerber 2018-11-28 03:12:59 +0000
  • 5286d83 Start working on probability stuff. by Thomas Kerber 2018-11-27 19:28:15 +0000
  • 1d3de4e Start thinking about security definition. by Thomas Kerber 2018-11-26 19:32:44 +0000
  • 393ac3b Finish execution model. by Thomas Kerber 2018-11-26 18:46:36 +0000
  • 4cd48c4 Mostly finish execution. by Thomas Kerber 2018-11-26 18:11:07 +0000
  • 6cdfff5 Define actions! by Thomas Kerber 2018-11-26 15:42:46 +0000
  • 85e9f09 Start constructing world. by Thomas Kerber 2018-11-26 14:14:55 +0000
  • 43c0c4f Add license. by Thomas Kerber 2018-11-26 11:33:13 +0000
  • 42948a4 (idris) Start working on DAGs. by Thomas Kerber 2018-11-07 17:08:06 +0000
  • 502f905 Add definition of negligible. by Thomas Kerber 2018-10-29 16:54:38 +0000
  • ca0c684 Construct QQ arithmetic. by Thomas Kerber 2018-10-29 16:49:26 +0000
  • 7d08352 Work on formalising probabilities. by Thomas Kerber 2018-10-29 15:08:27 +0000
  • cc79f8f Add first attempt at extensible equality. by Thomas Kerber 2018-10-25 21:54:13 +0100
  • bba0db3 Start tentative idris rewrite. by Thomas Kerber 2018-10-24 16:34:58 +0100
  • 84cfc9c (oldhaskell) Fix link for GitHub. by Thomas Kerber 2018-10-12 17:02:12 +0100
  • eac2850 Remove 'from' parameter. Fixes #1. by Thomas Kerber 2018-10-10 16:07:53 +0100
  • aadbb57 Remove 'from' parameter. Fixes #1. by Thomas Kerber 2018-10-10 16:07:53 +0100
  • ce9a551 Type level party management! by Thomas Kerber 2018-10-10 12:10:23 +0100
  • 3ece65f Start thinking of party management, i.e. meta-protocols. by Thomas Kerber 2018-10-05 16:05:23 +0100
  • 00b01c6 Add image! by Thomas Kerber 2018-09-21 15:13:49 +0100
  • 6207dbe Add not asked questions. by Thomas Kerber 2018-09-13 14:14:51 +0100
  • 876c79c (tag: 0.1.0.0) Complete first pass of documentation. by Thomas Kerber 2018-09-10 20:55:38 +0100
  • caa6635 Documentation for HList. by Thomas Kerber 2018-09-10 18:49:16 +0100
  • bf4195c Better distributions; now documented! by Thomas Kerber 2018-09-10 18:44:13 +0100
  • fd51430 Re-generalise signatures. by Thomas Kerber 2018-09-10 16:42:00 +0100
  • bb18b10 Add signature functionality back. by Thomas Kerber 2018-09-10 16:26:27 +0100
  • 8d75718 Fix Adversarial. by Thomas Kerber 2018-09-10 10:17:39 +0100
  • 8621537 Now with State monad. by Thomas Kerber 2018-09-08 12:02:55 +0100
  • ef38a07 Fro and Fcrs work again! by Thomas Kerber 2018-09-07 21:45:11 +0100
  • b21d003 Interfaces? by Thomas Kerber 2018-09-07 15:55:52 +0100
  • 7e278cf Using ST! But interfaces died... by Thomas Kerber 2018-09-07 14:01:57 +0100
  • 6d91e7a Start trying to use the ST monad. Currently very broken. by Thomas Kerber 2018-09-06 18:38:21 +0100
  • b011684 Fix potential issue of using references between worlds. by Thomas Kerber 2018-09-04 13:27:07 +0100
  • ee78503 Hfmt. by Thomas Kerber 2018-09-04 11:47:51 +0100
  • b82ebd6 Sanitize imports. by Thomas Kerber 2018-09-03 22:11:44 +0100
  • a65486c Add interface'. by Thomas Kerber 2018-09-03 20:56:07 +0100
  • 4b7e53c Remove channel type. Everything's a function. by Thomas Kerber 2018-09-03 20:47:16 +0100
  • 068aa0b Add adverserial + signature functionality. by Thomas Kerber 2018-09-03 16:47:13 +0100
  • e0d48b8 Yggdrasil is a distribution + minor changes. by Thomas Kerber 2018-09-03 13:52:28 +0100
  • 38ea33d Add functionality tests, some renaming. by Thomas Kerber 2018-09-03 01:58:20 +0100
  • e3f945d Do distributions properly. by Thomas Kerber 2018-09-02 22:42:50 +0100
  • 489b9a2 Hlint. by Thomas Kerber 2018-09-01 01:57:25 +0100
  • 2d82524 Try implementing CRS and RO. by Thomas Kerber 2018-08-31 21:33:17 +0100
  • 7b6932f Rewrite a bunch to simplify global state (now "world"). by Thomas Kerber 2018-08-31 16:19:11 +0100
  • ab1980b Self is external. by Thomas Kerber 2018-08-29 19:37:57 +0100
  • 95c08dd Add self. by Thomas Kerber 2018-08-29 17:56:45 +0100
  • 4d4ec0b Start looking at testing. by Thomas Kerber 2018-08-29 17:37:52 +0100
  • 92b3b26 Better distributions. by Thomas Kerber 2018-08-29 16:23:47 +0100
  • 2d976cd Add hydra support. by Thomas Kerber 2018-08-29 13:21:28 +0100
  • df134d6 Initial. by Thomas Kerber 2018-08-29 13:17:06 +0100