8e79f2ee9c
Based on Nekogram. Key additions: - Rebrand to FoxiGram (app name, APK name, applicationId com.foxigram.app) - Embedded Xray (VLESS+Reality) proxy client via JNI libxray.so - Bundled hidden one-tap proxies (LTE + WiFi), read-only in UI - Auto-restore proxy on restart, rebind to active network (LTE/WiFi) - Server credentials externalized to git-ignored XrayServers.java (+ template) - libxray Go source included; compiled .so, keystore, google-services.json ignored
12 lines
357 B
Text
12 lines
357 B
Text
Name: Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives
|
|
Short Name: fiat-crypto
|
|
URL: https://github.com/mit-plv/fiat-crypto
|
|
Version: git (see METADATA)
|
|
Revision: 6ccc6638716d4632304baf1adbb5c47c3a12ea6f
|
|
License: Apache 2.0
|
|
License File: LICENSE
|
|
Security Critical: yes
|
|
Shipped: yes
|
|
|
|
Description:
|
|
See README.md and METADATA.
|