Skip to content
Snippets Groups Projects
  1. Nov 24, 2023
  2. Nov 14, 2023
  3. Nov 07, 2023
  4. Nov 05, 2023
  5. Sep 24, 2023
    • MaZiFAU's avatar
      6ee88a78
    • MaZiFAU's avatar
      BugFixes; Performance; · 6073913f
      MaZiFAU authored
      BugFixes;
      + Saving/Loading
      + Fetching Context somtimes skipped a fact
      
      Performance;
      + Dynamic Types will now try to simplify before SendToMMT()
      + Caching of Stages know activated
      6073913f
    • MaZiFAU's avatar
      Known Bugs; BugFixes; Facts; Misc; · 47feb1f4
      MaZiFAU authored
      Known Bugs;
      + Saving/Loading [Experimental]
      
      BugFixes;
      + Server caching may pose the need for postponed Stage loading
      + Server cheches wrong label -> send fact with new one.
      + New Facts may have Definisions()==null -> null.ToString() for ID
      +-> MMTFact.ToString() as Fallback
      
      Facts;
      + Further decoupled from FactRecorder
      +-> labeling done JIT by FactRecorder
      + Caching: object CompiledValue && Expression CompileBase
      
      Misc;
      + added SOMDoc(from)Object(object)
      + StageStatic.ShallowLoadStages(bool): streamlined loading in case of failure due to unloaded dependecies (e.g.: ContextRecorder)
      47feb1f4
  6. Sep 23, 2023
  7. Sep 22, 2023
  8. Sep 20, 2023
    • MaZiFAU's avatar
      Carved out (Unsorted)Fact.cs · 55b5697c
      MaZiFAU authored
      55b5697c
    • MaZiFAU's avatar
      TriangleFact; FactRecorder; · 946d55de
      MaZiFAU authored
      TriangleFact;
      + first draft for topology/mesh
      + first draft for extracting colliders to tri-facts (StageBehaviour)
      +> including visual debug support
      + had to change some asset-import-setting to IsReadable
      
      FactRecorder;
      + tried to reduce number of Facts beiing send to MMT
      +-> delayed Twin creation
      +-> Ids may change during runtime
      + tradeof: compute(EquivalenceChecks) / Waiting for Server to answer
      + IDEAS:
      +-> switch to Fact as primary key and Id as secondary
      +-->see FunctionCallFact
      +-> bulk add
      946d55de
  9. Sep 19, 2023
  10. Sep 18, 2023
  11. Sep 16, 2023
    • MaZiFAU's avatar
      SOMDOC; · 0db8aa88
      MaZiFAU authored
      SOMDOC;
      + changed to OMLIT<T> from OMF, OMSTR[, OMBOOL]
      + added support for Anonymous/Dynamic Types: OML [formerly RECARG]
      0db8aa88
  12. Sep 14, 2023
    • MaZiFAU's avatar
      Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc; · a84f9413
      MaZiFAU authored
      Regenerated Demofiles;
      + 3D case functional
      +->TODO SolutionCheck
      
      Reworked Function(Call)Fact;
      + De/Serialization from MMT
      + Deleted AttachedFunctionFact
      + Sampled Equivalent for FunctionCallFact
      + Generalized Animation on event
      
      Facts;
      + Using SOMDoc/ServerDefinition.ToString, instead of URI
      + Breaking parity allowed:
      +-> Server rejected Fact
      +-> Temporary Fact vie MakeFact
      + parse Facts returns List<Fact> instead of Fact (for Lists/Tuple/FactCalls)
      + MakeFact(object): partially implemeted
      + Added IUnpackable.UnpackMe() for composite Facts (Lists/Tuple)
      
      DynamicFacts; [List, Tuple]
      + May hold data of dynamic unknown Signature
      
      Misc;
      + double inserted Facts will now "Hint"
      + added posibility to blacklist scrolls for dynamic request (e.g. very long/cannon ball)
      + Expanded and fixed Lambda-from-SOMDoc-Builder
      a84f9413
  13. Sep 11, 2023
    • MaZiFAU's avatar
      Fixed SOMDocToLambdaExpression for Lambdas · 3b7728f2
      MaZiFAU authored
      3b7728f2
    • MaZiFAU's avatar
      (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions; · d0f1fddc
      MaZiFAU authored
      ScrollDetail:
      + standarsized method of fact injection and postprocessing (REVISIONIZE)
      + use mwthod for CanonBalls
      + upgraded fallback scrolls.json
      
      DemoFiles:
      + added CanonBall 3D (Calculator)
      + modified to be compatible
      
      Facts:
      + fixed some of the newer Facts
      + added RealLitFact
      
      ShapeGenerator:
      + Prisms now offset along normal
      + fixed some inconsequentially thrown errors
      
       Endpoints:
      + Fixed getType for FUNTYPE and others
      
      LambdaExpressions:
      + includes FactURIs
      + MMT Tuples will now be c# Tuples
      --> Including Isomorphismus for Vector3/?point/RxRxR
      + support ProjL/R
      + upgraded CallAnyFunction for more cases Generics/Interface/Array
      + First attempempt for lambda logic as used in MMT
      d0f1fddc
  14. Sep 06, 2023
    • MaZiFAU's avatar
      adf0c56a
    • MaZiFAU's avatar
      new ShapeGenerator-System; altered ShapePrefabs; refactored Facts; · 5bb470f5
      MaZiFAU authored
      new ShapeGenerator-System:
      + added Plane/PrismGenerator;
      + Fixed Torus Mesh Generation
      + streamlined Generator process;
      + enabled normal offset;
      + Refactoring
      
      altered ShapePrefabs:
      + added Prism/Cone Prefab an entree in FactSpawner;
      + switched to using new ShapGenerator-System;
      + added BoundingPositioning.cs for dynamic TextPosition;
      
      refactored Facts:
      + added QuadFact
      + mostly moved semantic coherent Facts in own file
      + Some spelling and semantic errors
      5bb470f5
  15. Sep 04, 2023
    • MaZiFAU's avatar
      Renameing; · c43da0cd
      MaZiFAU authored
      Renaming:
      +FactManager => FactAdder
      +FactOrganizer => FactRecorder
      c43da0cd
    • MaZiFAU's avatar
      MMTFunctions; BugFixes; Refactoring; · 3e7d4f72
      MaZiFAU authored
      MMTFunctions:
      +chabged to new FUN(TYPE)
      +changet to proper Tuple usage,
      +implemented: ProjL/R, FeedForward/StepUntil
      +ToType() for SomDocs
      +...
      
      Refactoring:
      +Popup/Behaviour
      
      BugFixes:
      +RightAngle
      +FallBackJasonScroll
      3e7d4f72
  16. Jul 14, 2023
  17. Jul 13, 2023
  18. Jul 07, 2023
  19. Jul 06, 2023
  20. Jul 05, 2023
Loading