Commits · main · chrg / rtree

Mar 24, 2025
- Try to support OldFunctions · 2fcf80b3
  chrg authored 1 week ago
  
  2fcf80b3
Mar 21, 2025
- Make the check the right way around · 46d8abb1
  chrg authored 1 week ago
  
  46d8abb1
- Better Unstatic · 9ec0f353
  chrg authored 1 week ago
  
  9ec0f353
- Actually compute function fixpoint · c5b2a24a
  chrg authored 1 week ago
  
  c5b2a24a
- Add a don't repair flag · fe81d53d
  chrg authored 1 week ago
  
  fe81d53d
- Enable removal of some features · 68f384cd
  chrg authored 2 weeks ago
  
  68f384cd
- Add questionable reducer tatic · f15e3c50
  chrg authored 2 weeks ago
  
  f15e3c50
- Semi reasonable refactor · 7ccdab06
  chrg authored 2 weeks ago
  
  7ccdab06
Mar 20, 2025
- Fix stuff! · d0bdb866
  chrg authored 2 weeks ago
  
  d0bdb866
Mar 19, 2025
- Small changes · d5448938
  chrg authored 2 weeks ago
  
  d5448938
Mar 18, 2025
- Merge remote-tracking branch 'origin/main' · 686e8918
  chrg authored 2 weeks ago
  
  686e8918
- Now working · 473c4e61
  chrg authored 2 weeks ago
  
  473c4e61
- Acceptable changes · d100697f
  chrg authored 2 weeks ago
  
  d100697f
- Small cleanup operation · 211f5ac9
  chrg authored 2 weeks ago
  
  211f5ac9
- Add support of gcc __vector_size__ · 1d788f7f
  chrg authored 2 weeks ago
  
  1d788f7f
Feb 20, 2025
- This is not the place for this. · 5c35709f
  chrg authored 1 month ago
  
  5c35709f
- Update to work. · dc3e512b
  chrg authored 1 month ago
  
  dc3e512b
Apr 25, 2024
- Final code · 62740005
  chrg authored 11 months ago
  
  62740005
Apr 03, 2024
- Changes from the paper · 8fc081ff
  chrg authored 1 year ago
  
  8fc081ff
Mar 22, 2024
- Final version · 0edd0b2e
  chrg authored 1 year ago
  
  0edd0b2e
Mar 20, 2024
- Semiworking version · 58036328
  chrg authored 1 year ago
  
  58036328
Mar 19, 2024
- Now we can remove individual fields · beef9cb8
  chrg authored 1 year ago
  
  beef9cb8
- A semiworking version recovered · fbde250c
  chrg authored 1 year ago
  
  fbde250c
Mar 15, 2024
- A questionable apporach to adding types · e501950f
  chrg authored 1 year ago
  
  e501950f
Mar 14, 2024
- Work done! · 5f63a6aa
  chrg authored 1 year ago
  
  5f63a6aa
Mar 13, 2024
- More work done · 3fbfca47
  chrg authored 1 year ago
  
  3fbfca47
Mar 12, 2024
- Work in progress · f2b4a449
  chrg authored 1 year ago
  
  f2b4a449
Mar 11, 2024
- Sligth improvement of tests · aee9ea62
  chrg authored 1 year ago
  
  aee9ea62
Mar 10, 2024
- A small fix · baa022e6
  chrg authored 1 year ago
  
  baa022e6
- Work work! · 15acce32
  chrg authored 1 year ago
  
  15acce32
- A "Simple" fix · 0f54a4c2
  chrg authored 1 year ago
  
  0f54a4c2
Mar 09, 2024
- So far so good · 3938eff9
  chrg authored 1 year ago
  
  3938eff9
Mar 07, 2024
- Some validity gymnastics! · 18298591
  chrg authored 1 year ago
  
  18298591
- Make infinite for loops an addon · dd603741
  chrg authored 1 year ago
  
  dd603741
- Protential improvements · 8da34d2e
  chrg authored 1 year ago
  
  8da34d2e
Mar 06, 2024
- Some improvements · 75614c87
  chrg authored 1 year ago
  
  75614c87
- Try to remove functions first. · 88d428ae
  chrg authored 1 year ago
  
  88d428ae
Mar 05, 2024
- Let's try this · b1e72cbd
  chrg authored 1 year ago
  
  b1e72cbd
- Fix small problems · 36ccf237
  chrg authored 1 year ago
  
  36ccf237
- Add addaptive algorithm · 6e284015
  chrg authored 1 year ago
  
  6e284015