Skip to content
Snippets Groups Projects
Select Git revision
  • main default protected
  • simp
2 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.024Mar2120191820Feb25Apr322Mar20191514131211109765429Feb2827262322212019161514976518Jan1012Dec428Nov238Try to support OldFunctionsmainmainMake the check the right way aroundBetter UnstaticActually compute function fixpointAdd a don't repair flagEnable removal of some featuresAdd questionable reducer taticSemi reasonable refactorFix stuff!Small changesMerge remote-tracking branch 'origin/main'Now workingAcceptable changesSmall cleanup operationAdd support of gcc __vector_size__This is not the place for this.Update to work.Final codeChanges from the paperFinal versionSemiworking versionNow we can remove individual fieldsA semiworking version recoveredA questionable apporach to adding typesWork done!More work doneWork in progressSligth improvement of testsA small fixWork work!A "Simple" fixSo far so goodSome validity gymnastics!Make infinite for loops an addonProtential improvementsSome improvementsTry to remove functions first.Let's try thisFix small problemsAdd addaptive algorithm