Commit History

Auteur SHA1 Bericht Datum
  lloda 06a44d0d67 Better way to flag bad uses of ra::len 7 maanden geleden
  lloda bf00da4bc2 Guard against uses of ra::len in scalar conversion ops 7 maanden geleden
  lloda 7d3eba6c6b Simplify ra::len replacement 7 maanden geleden
  lloda d2eb06e8be Fix handling of len in step argument to ptr() 1 jaar geleden
  lloda 88308b0930 Replace flat interface with save-load interface 1 jaar geleden
  lloda ef82065e41 Start arguments to TestRecorder::test_abs, ::test_rel 1 jaar geleden
  lloda bb30995dd5 Move escape seq definitions to test.hh 1 jaar geleden
  lloda d91e22ae66 Merge ra::vector in ra::ptr 1 jaar geleden
  lloda 7423eff0ec Trying to make constant len exprs work 1 jaar geleden
  lloda b79f6f2842 Fix bug in constant iota check 1 jaar geleden
  lloda b0ba8bd442 Rearrange headers 1 jaar geleden
  lloda 68a7804c51 Preserve static length through with_len 1 jaar geleden
  lloda bb8d8f063b Remove some unused type predicates 1 jaar geleden
  lloda fab91179c5 Pattern Ptr::n after Iota::n 1 jaar geleden
  lloda caa387035b Allow exprs with iotas having Len in their lengths 1 jaar geleden
  lloda 9caac37e2e Partial support for ra::len in View subscripts 1 jaar geleden
  lloda 2f4920bc5f Move WithLen sandbox to header 1 jaar geleden