F

FStar

Settings | Report Duplicate

0

I Use This!

Very High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 2 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jun 11, 2025 — Jun 11, 2026 Showing page 1 of 1,619 Search / Filter on:
Merge pull request #4308 from mtzguido/nits	Guido Martínez	More...				3 days ago
Merge pull request #4309 from FStarLang/kimaya/fixbug	Gabriel Ebner	More...				3 days ago
More error tweaks	Guido Martínez	More...				3 days ago
Pulse: purify if/match postcondition annotations	KimayaBedarkar	More...				3 days ago
Merge pull request #4307 from mtzguido/err	Guido Martínez	More...				4 days ago
Core: some more fancy quotes on errors	Guido Martínez	More...				4 days ago
Merge pull request #4305 from mtzguido/log_failing_queries	Guido Martínez	More...				4 days ago
SMT: Fix --log_failing_queries to include full prefix	Guido Martínez	More...				4 days ago
Merge pull request #4303 from mtzguido/get-z3-script	Guido Martínez	More...				5 days ago
get_fstar_z3.sh: make sure to fail early on HTTP errors, and maybe retry	Guido Martínez	More...				5 days ago
Bump version to 2026.06.07 (#4302)	Dzomo, the Everest Yak	More...				6 days ago
Merge pull request #4297 from mtzguido/pulse-print	Guido Martínez	More...				10 days ago
Merge pull request #4296 from mtzguido/smtpat-unif	Guido Martínez	More...				10 days ago
Merge pull request #4295 from mtzguido/easy	Guido Martínez	More...				11 days ago
Pulse: also use fancy quotes in error messages	Guido Martínez	More...				11 days ago
Pulse: remove custom term printer, use normal one	Guido Martínez	More...				11 days ago
Merge pull request #4294 from mtzguido/misc-krml-showable-instances	Guido Martínez	More...				11 days ago
Merge pull request #4293 from mtzguido/pulse-sugar-let-init	Guido Martínez	More...				11 days ago
Pulse.Sugar: remove option in let_init	Guido Martínez	More...				11 days ago
Merge pull request #4292 from mtzguido/reveal-hide	Guido Martínez	More...				11 days ago
Rel: move reveal/hide inference	Guido Martínez	More...				11 days ago
Merge pull request #4289 from mtzguido/fancy-quotes	Guido Martínez	More...				11 days ago
Merge pull request #4288 from mtzguido/uvar_error	Guido Martínez	More...				11 days ago
Update expected output, now better.	Guido Martínez	More...				12 days ago
Nit, using fancy quotes in error messages	Guido Martínez	More...				12 days ago
Remove unused function	Guido Martínez	More...				12 days ago
Pulse.Checker.ST: better error instead of crashing	Guido Martínez	More...				12 days ago
Bump version to 2026.05.31 (#4286)	Dzomo, the Everest Yak	More...				13 days ago
Merge pull request #4285 from mtzguido/fin	Guido Martínez	More...				15 days ago
FStar.Fin: relax argument to fin/under types	Guido Martínez	More...				15 days ago

←
1
2
3
4
5
6
7
8
9
…
1618
1619
→