F

FStar

Settings | Report Duplicate

0

I Use This!

Very High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Sep 16, 2024 — Sep 16, 2025 Showing page 7 of 1,302 Search / Filter on:
Fix tests.	Gabriel Ebner	More...				about 2 months ago
Support unsaved files in the IDE.	Gabriel Ebner	More...				about 2 months ago
Merge pull request #3940 from mtzguido/check-world	Guido Martínez	More...				about 2 months ago
check-world: no diff checking for everparse	Guido Martínez	More...				about 2 months ago
Merge pull request #3939 from mtzguido/lax_term_eq	Guido Martínez	More...				about 2 months ago
LaxTermEq: fix, cannot use named view	Guido Martínez	More...				about 2 months ago
Merge pull request #3936 from mtzguido/lax_term_eq	Guido Martínez	More...				about 2 months ago
FStar.Tactics.LaxTermEq: adding a laxer term_eq	Guido Martínez	More...				about 2 months ago
Merge pull request #3934 from mtzguido/ints	Guido Martínez	More...				about 2 months ago
Remove term_eq_old	Guido Martínez	More...				about 2 months ago
Regenerate machine int files	Guido Martínez	More...				about 2 months ago
Merge pull request #3932 from mtzguido/machine_int_ops	Guido Martínez	More...				about 2 months ago
Merge pull request #3933 from mtzguido/bump	Guido Martínez	More...				about 2 months ago
Merge pull request #3931 from mtzguido/cleanup	Guido Martínez	More...				about 2 months ago
Bump stage0	Guido Martínez	More...				about 2 months ago
Remove a bunch of useless `open FStarC.Util`	Guido Martínez	More...				about 2 months ago
A fix for stage1	Guido Martínez	More...				about 2 months ago
machine integers: inline away the operators, remove them from .ml	Guido Martínez	More...				about 2 months ago
Merge pull request #3930 from mtzguido/format	Guido Martínez	More...				about 2 months ago
Merge pull request #3929 from mtzguido/sb	Guido Martínez	More...				about 2 months ago
FStarC.Util: moving some option-related functions into FStarC.Option	Guido Martínez	More...				about 2 months ago
nit	Guido Martínez	More...				about 2 months ago
Remove dependencies into FStarC.Util	Guido Martínez	More...				about 2 months ago
Remove FStarC.StringBuilder, use StringBuffer	Guido Martínez	More...				about 2 months ago
Remove needless recursive group	Guido Martínez	More...				about 2 months ago
Merge pull request #3928 from mtzguido/no_fs_int	Guido Martínez	More...				about 2 months ago
FStarC.Util: split away format functions into FStarC.Format	Guido Martínez	More...				about 2 months ago
FStarC.Util: Remove unneeded function	Guido Martínez	More...				about 2 months ago
Merge pull request #3927 from mtzguido/no_fstarc_bytes	Guido Martínez	More...				about 2 months ago
Merge pull request #3925 from mtzguido/misc	Guido Martínez	More...				about 2 months ago

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