index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
lexer.mll
Age
Commit message (
Expand
)
Author
2014-07-03
Introduce a Sail library
Gabriel Kerneis
2014-06-25
Add support for memory barrier
Kathy Gray
2014-05-15
Missing cases in lexer and parser
Gabriel Kerneis
2014-03-27
Check simple constraints (i.e. ones using only constants).
Kathy Gray
2014-02-28
Correct bug in parsing and handling a['a:'b] types
Kathy Gray
2014-02-05
Deinfixable colon
Gabriel Kerneis
2014-01-07
Lex bitzero and bitone literals
Gabriel Kerneis
2013-12-17
Remove spurious lexing tokens
Gabriel Kerneis
2013-12-16
lexer: inc and dec keywords
Gabriel Kerneis
2013-12-03
Syntax changes per discussion with Peter, as well as L2.ott document clean up.
Kathy Gray
2013-11-28
Updated syntax with working examples
Kathy Gray
2013-11-27
More front-end passes for type identifiers
Kathy Gray
2013-11-22
Syntax changes per discussions on Thursday.
Kathy Gray
2013-11-05
Parsing of infix operators
Gabriel Kerneis
2013-11-05
Support parsing for extern calls
Gabriel Kerneis
2013-09-26
Adding undefined
Kathy Gray
2013-08-22
Pretty printer for whole AST; due to parenthesis not always being placed wher...
Kathy Gray
2013-08-19
Add loops and document optionnal else in conditional
Gabriel Kerneis
2013-08-01
Lex and discard comments
Gabriel Kerneis
2013-07-30
More infix supported
Kathy Gray
2013-07-26
Remove white space/terminal tracking
Kathy Gray
2013-07-25
Clean trailing whitespace
Gabriel Kerneis
2013-07-24
Parser compiles and compiles some very small test programs.
Kathy Gray
2013-07-18
More parsing
Kathy Gray
2013-07-12
Parser in progress, and more src files for plumbing parsing, lexing and event...
Kathy Gray
2013-07-10
Fixes to grammar omissions (i.e. naming_scheme_opt and type_def vs tdef), mor...
Kathy Gray
2013-07-05
More token corrections and additions based on l2_design notes.
Kathy Gray
2013-07-04
Small updates to tokens; change comments to --; fix up id
Kathy Gray
2013-07-04
First addition of lexer and parser for L2, based on Lem parser and lexer.
Kathy Gray