Lịch sử commit

Tác giả SHA1 Thông báo Ngày
  Jon Ross-Perkins 82f33ff384 Use new test framework in explorer to reduce per-test overhead (#2811) 3 năm trước cách đây
  Richard Smith 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 năm trước cách đây
  Jon Ross-Perkins eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 năm trước cách đây
  Jon Ross-Perkins e111418b32 Merge and label stdout/stderr for FileCheck (#2283) 3 năm trước cách đây
  Richard Smith 9f534ae004 Implement support for rewrite constraints (#2276) 3 năm trước cách đây
  Jon Ross-Perkins b9d3d9a3df Unify lit.cfg.py approach (#2249) 3 năm trước cách đây
  Richard Smith 8f0f69b65f Remove RuntimeError / CompilationError. (#2258) 3 năm trước cách đây
  Richard Smith e172c0a581 Add test for member access into symbolic witness. (#2256) 3 năm trước cách đây