kmwebnet/OpenSK
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
642 Commits 4 Branches 2 Tags
aadd9d7ddf9c5c6808dd97d253bae52c9b935540
Commit Graph

642 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Mirna
b7dbe18c51 Merge branch 'master' into nfc-driver-interface 2020-10-19 10:36:36 +02:00
kaczmarczyck
18fdfc4305 Merge pull request #178 from mingxguo27/mingxguo-fuzzing-mvp 
Add initial corpus files
 2020-10-16 15:58:52 +02:00
Mirna
c520095ab7 Update lib.rs 
This branch is for the example application.
 2020-10-16 09:29:44 +02:00
Mirna
d2ef3853e5 Delete nfc.rs 
This branch is for the example application.
 2020-10-16 09:29:23 +02:00
Mirna
6b2fde242d Delete nfct_test.rs 
This branch is for the driver interface.
 2020-10-16 08:22:40 +02:00