Commit Graph

797 Commits

Author SHA1 Message Date
Mirna f9705d7c26 example app 2020-11-02 11:13:58 +02:00
Mirna f6016fb123 Merge branch 'master' into nfc-example-app 2020-11-02 11:03:57 +02:00
Mirna a0ef78f0c0 Merge pull request #2 from google/master
Update the fork
2020-11-02 10:53:20 +02:00
Mirna dd814b8ded Remove duplicate code 2020-11-02 10:49:00 +02:00
Mirna 5503a09b51 Merge pull request #185 from MirnaMuhammad98/nfc-driver-interface
Add NFC driver interface
2020-10-30 11:30:41 +02:00
Mirna 69194f3960 Updates in the application logic 2020-10-29 23:07:23 +02:00
Mirna 4e36a045ae Merge branch 'master' into nfc-driver-interface 2020-10-29 22:52:25 +02:00
Mirna 9e89803cb8 Removed Select syscalls, handled in the driver 2020-10-29 22:51:51 +02:00
Julien Cretin 9778ea7fd2 Introduce distinct integer types
This PR does the following things:
- Give incompatible representations for integers with different semantics:
  - `usize` is used for natural numbers for the public API.
  - `Nat` is used internally for natural numbers (essentially a stable `usize`).
  - `Word` is used for sequences of bits representing words in flash.
  - `Position` is used for word positions in the virtual storage.
- Only use fixed size integers to preserve overflow behavior between targets.
- Use little-endian representation instead of native representation for `Word`.

Alternatives:
- Run tests and fuzzing on 32-bits architecture (or some compatibility mode).
  This approach would have better readability than the current solution (less
  conversions at public API). However it would require additional setup and
  might not be viable long-term by restricting machines on which fuzzing is
  possible.
- Accept the behavior difference for tests and fuzzing. This approach would also
  have better readability. However checking for arithmetic overflow (and other
  `usize` related concerns like memory size) is more important.
2020-10-29 18:48:15 +01:00
Julien Cretin dea28f622f Merge pull request #190 from ia0/v2_lib
Add model for new store
2020-10-29 13:29:49 +01:00
Julien Cretin 5ce91947b6 Fix StoreRatio fields visibility and improve documentation 2020-10-29 12:23:34 +01:00
Julien Cretin 8e22fbd9a6 Merge branch 'master' into v2_lib 2020-10-29 08:21:13 +01:00
Mirna 3d71da0bf5 Unify drop pattern 2020-10-28 20:28:53 +02:00
Mirna ca30c7397d Merge branch 'master' into nfc-driver-interface 2020-10-28 19:12:09 +02:00
Mirna ce446f571c Resolve Comments 2020-10-28 19:11:09 +02:00
kaczmarczyck f60c159221 Merge pull request #191 from mingxguo27/mingxguo-cred-policy
Always set default credential policy
2020-10-28 17:32:49 +01:00
mingxguo27 c6a93d0539 Always set default credential policy 2020-10-28 15:03:59 +00:00
Mirna db0a22e5c5 Merge branch 'master' into nfc-driver-interface 2020-10-27 22:21:17 +02:00
Julien Cretin e7303ed7c6 Add model for new store 2020-10-27 14:23:39 +01:00
Julien Cretin 55ceec2a21 Merge pull request #172 from ia0/v2_lib
Add format helpers for new store
2020-10-27 14:13:33 +01:00
Julien Cretin 71815cad09 Update ERASED_WORD definition to use WORD 2020-10-27 13:45:18 +01:00
Mirna 2434c1d622 Merge branch 'master' into nfc-driver-interface 2020-10-27 14:20:05 +02:00
Julien Cretin edd1bcf5d2 Do not inline constants in documentation 2020-10-27 11:25:08 +01:00
Julien Cretin ab8b90b596 Merge branch 'master' into v2_lib 2020-10-27 11:09:52 +01:00
Julien Cretin 1f0f2d16e3 Merge pull request #189 from ia0/travis
Remove unused .travis.yml
2020-10-27 11:09:23 +01:00
Julien Cretin 1ef1a8d95b Remove unused .travis.yml 2020-10-27 10:36:16 +01:00
Mirna 31449fcc0d Added setup function for driver existence checking 2020-10-27 10:06:11 +02:00
Mirna 64c66b91f5 Fixed NFC feature flag 2020-10-27 10:05:06 +02:00
Julien Cretin 552bab6ba9 Remove public visibility for internal function 2020-10-26 17:51:40 +01:00
Mirna e37f63396c Revert #cfg change 2020-10-26 14:01:27 +02:00
Mirna a53569007d Hide NFC behind feature flag 2020-10-26 12:56:53 +02:00
Mirna bf44d3bb0c Merge branch 'master' into nfc-driver-interface 2020-10-26 10:36:44 +02:00
Mirna b95b0682f9 Added NFC compile flag 2020-10-23 19:25:36 +02:00
Julien Cretin cb3369213f Fix merge missing conflict 2020-10-23 17:27:20 +02:00
Julien Cretin 3755be1625 Merge branch 'master' into v2_lib 2020-10-23 17:20:19 +02:00
Julien Cretin 6bb11f09f0 Merge pull request #187 from ia0/v2_buffer
Add buffer storage for new store
2020-10-23 17:18:32 +02:00
Julien Cretin 99e2d07156 Fix documentation 2020-10-23 16:38:48 +02:00
Julien Cretin f52ea953b8 Improve documentation 2020-10-23 15:38:21 +02:00
Julien Cretin 34ad35fdc1 Fix documentation 2020-10-23 11:52:21 +02:00
Julien Cretin f5e6f8728f Do not use nightly features 2020-10-23 08:41:44 +02:00
Julien Cretin d8f405baab Add missing alloc crate 2020-10-23 08:37:09 +02:00
Julien Cretin 10ac76e58a Add buffer storage for new store 2020-10-23 08:22:30 +02:00
Julien Cretin b7fff97a8e Merge branch 'master' into v2_lib 2020-10-23 08:06:47 +02:00
Mirna 18c6406031 Use return type TockResult<T> 2020-10-22 15:10:36 +02:00
Mirna 16870d52c5 Update the application logic 2020-10-22 12:15:24 +02:00
Mirna 59af769c69 Remove unnecessary done.get() 2020-10-22 12:10:43 +02:00
Mirna 8cb85563da Updated Functions Return Types 2020-10-21 19:30:58 +02:00
Mirna 7e0a48ae1c Resolved Review Comments 2020-10-21 10:39:17 +02:00
Mirna 2ac55d3459 Merge branch 'nfc-driver-interface' of https://github.com/MirnaMuhammad98/OpenSK into nfc-driver-interface 2020-10-21 10:36:56 +02:00
Mirna 10f59f0cf1 Merge branch 'master' into nfc-driver-interface 2020-10-21 10:35:15 +02:00