Alex Rozanov
Alex Rozanov
First of all, thank you for the amazing tool. My initial filename was overpass.7.10.18.dem. The file opened and was analyzed just fine, but the demo started from the warmup, and...
[Here's an example](https://gist.github.com/hacklex/07821bf0a294e2e2810146d1510eedeb) extracted from my algebra library FStar freezes for minutes before finally accepting the fraction field definition.
Can we somehow make `fstar-mode` in emacs break the input file into parts according to top-level definitions, and submit as many as it could one by one so that I...
The example below is ripped out of context, so don't be surprised at the absurd conditions. Append was something else originally. Thing is, fstar fails to localize the problem and...
Verification proceeds really slowly when the typeclass tree is step or two above trivial... See my [ringlike algebraic structures](https://github.com/hacklex/CuteCAS/blob/master/FStar.Algebra.Classes.Ringlikes.fst), dependencies are * FStar.Algebra.Classes.Equatable * FStar.Algebra.Classes.Grouplike from the same repository (no...
To reproduce, either check out my [entire CuteCAS repository](https://github.com/hacklex/CuteCAS), or just get the following files from it: - AlgebraTypes.fst - Fractions.Definition.fst - Fractions.Equivalence.fst - Fractions.Addition.fst - Fractions.Multiplication.fst - Fractions.fst Then...
As @aseemr asked, I'm creating this issue with the following minimal example code: ```fstar assume val f : unit -> Pure int (requires True) (ensures fun x -> x >=...
Animations in Avalonia are way less smooth than in, for example, WPF (tested on win10). This is partially caused by the fact that DefaultRenderTimer is created at 60 FPS (and...
Well, in a partial defense of it, I'm yet to see a CAS capable of solving this one by either proving it being non-elementary, or actually computing it. Still, Axiom...
After some manipulations I reached the state at which every saved file started with ```xml ``` which caused loading errors with some svg loaders, notably avalonia ui's Svg control. Manipulations...