Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fixing isa-parser #335

Open
wants to merge 35 commits into
base: master
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
35 commits
Select commit Hold shift + click to select a range
6279c1a
isa-parser: fixed isa-parser datatype parsing function
ZhuoZoeyChen Jan 8, 2020
328c779
isa-parser: add parsing for case-of
ZhuoZoeyChen Jan 14, 2020
17590d5
isa-parser: add parsing for case-of; fix abbreviation parser
ZhuoZoeyChen Jan 14, 2020
1c20410
isa-parser: recordUpd: fieldL instead of termL for field name
ZhuoZoeyChen Jan 15, 2020
d8a9aba
isa-parser: add parsing for RecordUpd
ZhuoZoeyChen Jan 15, 2020
287dc22
isa-parser: add parsing for record declaration
ZhuoZoeyChen Jan 16, 2020
6d8f1b8
isa-parser: add parsing for primRec; add "$" operator
ZhuoZoeyChen Jan 16, 2020
29d2fdb
isa-parser: add parsing for case of; add parsing for ConstTerm IntLit…
ZhuoZoeyChen Jan 17, 2020
3b09b8c
isa-parser: added '.' as part of quasiletterS (used in term names)
ZhuoZoeyChen Jan 17, 2020
bce2caa
isa-parser: reformatting some do blocks
ZhuoZoeyChen Jan 17, 2020
666be40
isa-parser: added list type; removed '.' from quasiletterS because it…
ZhuoZoeyChen Jan 21, 2020
d3b2b5e
isa-parser: added parsing for tuple type; added pretty tuple and list
ZhuoZoeyChen Jan 21, 2020
e64bed6
isa-parser: added parsing for do block, image, uminus and >>=
ZhuoZoeyChen Jan 21, 2020
e05c846
isa-parser: parsing for set, union, greater_eq and '.' in module.func…
ZhuoZoeyChen Jan 21, 2020
7665835
isa-parser: renamed Tuple to TupleTerm to avoid confusion
ZhuoZoeyChen Jan 21, 2020
5aa5df5
isa-parser: added subscript as part of name, added 2 binOps: aternati…
ZhuoZoeyChen Jan 22, 2020
8f21b69
isa-parser: added parsing for >, <, - as operators. Need to change pa…
ZhuoZoeyChen Jan 24, 2020
a8cb7b8
isa-parser: added parsing for Pair, put parsing for List and Tuple in…
ZhuoZoeyChen Jan 27, 2020
3588bfc
added lexeme parser for square brackets and braces.
ZhuoZoeyChen Jan 27, 2020
5cf41b6
isa-parser: added parsing for declare
ZhuoZoeyChen Jan 27, 2020
84aabd4
isa-parser: added parsing for function update and its helper function…
ZhuoZoeyChen Jan 28, 2020
a78b31d
isa-parser: added parsing for binary operator - In
ZhuoZoeyChen Jan 28, 2020
fbd111f
isa-parser: added parsing for binary operator - addition and multipli…
ZhuoZoeyChen Jan 28, 2020
f311577
isa-parser: added parsing for binary operators including six bitwise …
ZhuoZoeyChen Jan 28, 2020
a9c8ad6
isa-parser: made parsing function updates better; modified record dec…
ZhuoZoeyChen Jan 28, 2020
b5215ef
isa-parser: added parsing for let in
ZhuoZoeyChen Jan 29, 2020
1f473f0
isa-parser: added parsing for tupled quantifiers; commented out lamTe…
ZhuoZoeyChen Jan 29, 2020
1e103ce
isa-parser: added lamTerm and mkLambda back
ZhuoZoeyChen Jan 29, 2020
463c9db
isa-parser: modified parsing for recField to allow unquoted types; ad…
ZhuoZoeyChen Jan 29, 2020
3c62e79
isa-parser: modified lamTerm
ZhuoZoeyChen Jan 29, 2020
630b157
isa-parser: fixed pretty printer for Declare
ZhuoZoeyChen Jan 29, 2020
6775665
isa-parser: made parsing composition a seperate case; fixed pretty pr…
ZhuoZoeyChen Jan 31, 2020
86d1104
isa-parser: Added:(1)binops |-> and :=(2)parens around if; Fixed:(1)p…
ZhuoZoeyChen Jan 31, 2020
274393d
isa-parser: added ffmap and Functor Flip instances for the sake of ty…
ZhuoZoeyChen Feb 12, 2020
ab8b3ce
add isa-hol4 translator
ZhuoZoeyChen Feb 25, 2020
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading