Implement more math operands in Imp #10

Open

opened 2026-03-11 13:50:10 +01:00 by marfavi · 1 comment

marfavi commented 2026-03-11 13:50:10 +01:00

Owner

• Copy link
• Copy Markdown

Currently the parser will just translate stuff like a < b into a <= b && a <> b

Currently the parser will just translate stuff like `a < b` into `a <= b && a <> b`

marfavi added this to the Kanban project 2026-03-12 15:13:27 +01:00

marfavi changed title from Implement all math operands in Imp to Implement more math operands in Imp 2026-03-12 15:13:48 +01:00

marfavi commented 2026-03-12 15:17:39 +01:00

Author

Owner

• Copy link
• Copy Markdown

I think we skip division

I think we skip division

Commenting is not possible because the repository is archived.

No Branch/Tag specified

Branches Tags

main

report

refactor-documents

parser

No results found.

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Kanban

Assignees

Clear assignees

No assignees

1 participant

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

code2rocq/imp2rocq#10

No description provided.