|
Uapp: picar-s v2.0, picar-4wd forks and basic organization
|
|
63
|
70
|
October 19, 2020
|
|
Uapp: picar-s/Linux Raspberry Pi 3 i2c driver uobjcoll
|
|
2
|
6
|
October 19, 2020
|
|
überXMHF (rpi3-armv8_32): Add multi-mode capabilities to mixed-trust scheduler üapp
|
|
5
|
24
|
October 13, 2020
|
|
überXMHF (rpi3-armv8_32): Add mixed-trust scheduler üapp and MAVLINK serial-heartbeat protocol üapp
|
|
4
|
23
|
October 8, 2020
|
|
überXMHF (rpi3-armv8_32): Convert into a üobject collection with a single üobject
|
|
73
|
498
|
October 6, 2020
|
|
überSpark: Add frama-c and uberspark verification bridge with uberspark verification bridge plugin infrastructure
|
|
19
|
34
|
October 6, 2020
|
|
überSpark: Add cc-bridge compiler runtime library support, use crt üobjrtl by default in top-level header, and allow binary section specifications within uobj manifest
|
|
10
|
83
|
October 2, 2020
|
|
Test/Evaluation: Memory Integrity Attack Simulation
|
|
12
|
29
|
October 2, 2020
|
|
überXMHF (rpi3-armv8_32): Support for SHA256 on uxmhf-rpi3
|
|
6
|
37
|
October 2, 2020
|
|
überXMHF (pc-intel-x86-32): Convert into a üobject collection with a single üobject task?
|
|
30
|
301
|
September 25, 2020
|
|
Fix error in configuring/building x86_32 Compcert compiler bridges
|
|
32
|
85
|
September 14, 2020
|
|
überSpark: Add x86_32 hardware üobject runtime library
|
|
45
|
271
|
September 10, 2020
|
|
überSpark: Add x86_32 hardware model to next-gen toolkit
|
|
17
|
116
|
August 27, 2020
|
|
überSpark: Add host uid/gid mapping to x86_64 build container
|
|
9
|
55
|
July 23, 2020
|
|
überSpark: Add uobjcoll build configuration options (a.k.a compile time defines)
|
|
2
|
61
|
July 23, 2020
|
|
überSpark: Automatic installation root-dir discovery within front-end CLI
|
|
7
|
72
|
July 3, 2020
|
|
überSpark: Add libc and libcrypto üobject runtime libraries
|
|
13
|
150
|
July 3, 2020
|
|
überSpark: Add compiler bridge for Compcert v3.2 through v3.7 (amd64/x86_32)
|
|
9
|
117
|
June 25, 2020
|
|
überSpark: Add compiler bridge for Compcert v3.1 (amd64/x86_32)
|
|
19
|
260
|
May 6, 2020
|
|
überXMHF (rpi3-armv8_32): Add UART PV driver back-end üobject
|
|
5
|
152
|
June 6, 2020
|
|
überXMHF (rpi3-armv8_32): Add PL011 UART receive function and hardware flow control capabilities
|
|
5
|
78
|
April 12, 2020
|
|
überSpark: Add überSpark compiler, assembler, linker bridges for gcc, gnu-as and gnu-ld (amd64/armv8_32)
|
|
13
|
157
|
April 12, 2020
|
|
überSpark: Develop CoSS Development Guide üobject collection build example
|
|
12
|
118
|
April 12, 2020
|
|
überSpark: Refinements to General User's Guide installation walk-through
|
|
27
|
207
|
April 12, 2020
|
