F

FStar

Settings | Report Duplicate

0

I Use This!

Very High Activity

Commits : Listings

Analyzed about 9 hours ago. based on code collected about 9 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Sep 14, 2024 — Sep 14, 2025 Showing page 6 of 1,302 Search / Filter on:
Merge pull request #3951 from FStarLang/release	Guido Martínez	More...				about 1 month ago
Merge pull request #3950 from mtzguido/friend	Guido Martínez	More...				about 1 month ago
check-friends: no more need for HACL_HOME= in Everparse	Guido Martínez	More...				about 1 month ago
Bump version number	Guido Martínez	More...				about 1 month ago
check-friends: add SecRef*	Guido Martínez	More...				about 1 month ago
Remove stray debug	Guido Martínez	More...				about 1 month ago
Bump stage0	Guido Martínez	More...				about 1 month ago
nits	Guido Martínez	More...				about 1 month ago
Merge pull request #3949 from mtzguido/nit	Guido Martínez	More...				about 1 month ago
nit, usng an RBset	Guido Martínez	More...				about 1 month ago
Remove traces of old 'DefaultEffect' qualifier	Guido Martínez	More...				about 1 month ago
Merge pull request #3947 from mtzguido/refact	Guido Martínez	More...				about 1 month ago
Update expected output	Guido Martínez	More...				about 1 month ago
Removing TVar token, Tvar nodes, etc, just look for a leading tick	Guido Martínez	More...				about 1 month ago
FStarC.Ident: introduce id_as_lid	Guido Martínez	More...				about 1 month ago
Error message nit	Guido Martínez	More...				about 1 month ago
Class.Ord: fix nasty bug is sort_dedup	Guido Martínez	More...				about 1 month ago
Merge pull request #3946 from mtzguido/tc_ref	Guido Martínez	More...				about 1 month ago
ToSyntax: refactor ticked variable handling	Guido Martínez	More...				about 1 month ago
Typeclasses: solving refined, unit, and squash goals too	Guido Martínez	More...				about 1 month ago
Merge pull request #3944 from mtzguido/hide_reveal	Guido Martínez	More...				about 1 month ago
SMTEncoding.Encode: extend the hack, cannot simplify FStar.Ghost either	Guido Martínez	More...				about 1 month ago
Merge pull request #3942 from mtzguido/nits	Guido Martínez	More...				about 1 month ago
normalizer: simplify `hide #t (reveal #t x) ~> x`	Guido Martínez	More...				about 1 month ago
NBE: implement syntactic term equality	Guido Martínez	More...				about 1 month ago
src: fix vs code config	Guido Martínez	More...				about 1 month ago
Merge pull request #3935 from mtzguido/term_eq	Guido Martínez	More...				about 1 month ago
Tweak a test	Guido Martínez	More...				about 1 month ago
nit	Guido Martínez	More...				about 1 month ago
Merge pull request #3941 from FStarLang/gebner_ide_unsaved	Gabriel Ebner	More...				about 2 months ago

←
1
2
3
4
5
6
7
8
9
10
…
1301
1302
→