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

614 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Mirna
f48046d1e4 Added checks using NFC feature flag 2020-11-05 10:39:51 +02:00
Mirna
203367b081 Updated control flow + cleaned some code 2020-11-05 10:38:59 +02:00
Mirna
0eaa2b5291 Refactor a match expression 2020-11-04 20:25:30 +02:00
Mirna
c232f2344c Resolve comments 2020-11-04 20:05:32 +02:00
Mirna
8c52c707e1 Merge branch 'master' into nfc-example-app 2020-11-04 18:00:01 +02:00
Mirna
aa47d1c278 Supply NFC feature flag to desktop checks 2020-11-04 17:49:28 +02:00
Mirna
eb31876807 Update to calculate elapsed time for transmission 2020-11-04 17:48:50 +02:00
Julien Cretin
aa4bc7faaa Merge pull request #193 from ia0/v2_lib 
Add new store (without tests yet)
 2020-11-03 21:25:17 +01:00
Julien Cretin
a024e642d3 Return zero instead of negative immediate capacity 2020-11-03 13:30:39 +01:00
Julien Cretin
410314b780 Move transaction validity check to Format 2020-11-03 12:54:30 +01:00
Julien Cretin
d734da3a0e Move transaction capacity formula to Format 2020-11-03 12:39:38 +01:00
Julien Cretin
b97758dd99 Do not use import ::* 2020-11-03 11:58:20 +01:00
Julien Cretin
233c15b20c Add new store (without tests yet) 2020-11-02 11:17:09 +01:00
Julien Cretin
c9fc621f59 Merge pull request #192 from ia0/v2_lib 
Clarify different integer types
 2020-11-02 11:16:06 +01:00
Mirna
1270cdd224 Merge pull request #3 from MirnaMuhammad98/master 
Update the example-app branch
 2020-11-02 11:16:08 +02:00
Mirna
c0661b1387 Merge branch 'nfc-example-app' into master 2020-11-02 11:15:46 +02:00
Julien Cretin
4b48c668be Merge branch 'master' into v2_lib 2020-11-02 10:14:41 +01:00
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