Code

Use sedlex instead of ulex#2203

Code

Merged

nikswamy merged 7 commits intoFStarLang:masterFStarLang/FStar:masterfrom mnxn:sedlexmnxn/FStar:sedlexCopy head branch name to clipboardMar 11, 2021

+339-157

Commits

Commits on Jan 4, 2021

• ulex -> sedlex (part 1)

  

  fangyi-zhou

  authored and

  mnxn

  committed
  3f09fd3

  Copy full SHA for 3f09fd3

• Try to make things compile

  

  fangyi-zhou

  authored and

  mnxn

  committed
  1a39c88

  Copy full SHA for 1a39c88

• Replace FStar_Ulexing with FStar_Sedlexing

  Show description for ec5d6e1
  mnxn

  committed
  ec5d6e1

  Copy full SHA for ec5d6e1

• Split op_token to prevent compilation hanging

  Show description for 27f024e
  mnxn

  committed
  27f024e

  Copy full SHA for 27f024e

• Replace references to ulex with sedlex

  mnxn

  committed
  dfe31d2

  Copy full SHA for dfe31d2

• Fix "any" character matching in strings and comments

  Show description for 0242a66
  mnxn

  committed
  0242a66

  Copy full SHA for 0242a66

Commits on Feb 5, 2021

• Merge branch 'master' into sedlex

  nikswamy

  authored
  2706424

  Copy full SHA for 2706424