notbad4u/osl issues and pull requests

#25 - Fix docker

Pull Request - State: closed - Opened by NotBad4U over 2 years ago

#25 - Fix docker

Pull Request - State: closed - Opened by NotBad4U over 2 years ago

#24 - Could not compile semantics with K-framework v3.5 in Docker

Issue - State: closed - Opened by NotBad4U over 2 years ago - 1 comment
Labels: bug

#24 - Could not compile semantics with K-framework v3.5 in Docker

Issue - State: closed - Opened by NotBad4U over 2 years ago - 1 comment
Labels: bug

#23 - Verify that parameters props correspond to the correspondant Type in function definition

Issue - State: open - Opened by NotBad4U over 3 years ago - 1 comment
Labels: enhancement

#23 - Verify that parameters props correspond to the correspondant Type in function definition

Issue - State: open - Opened by NotBad4U over 3 years ago - 1 comment
Labels: enhancement

#22 - Support structure tag which is not an Expression::Identifier

Issue - State: open - Opened by NotBad4U over 3 years ago
Labels: bug

#21 - Support argc and argv

Issue - State: open - Opened by NotBad4U over 3 years ago
Labels: enhancement, cfrontend

#21 - Support argc and argv

Issue - State: open - Opened by NotBad4U over 3 years ago
Labels: enhancement, cfrontend

#20 - Capture move semantic in loop

Issue - State: open - Opened by NotBad4U over 3 years ago
Labels: enhancement

#20 - Capture move semantic in loop

Issue - State: open - Opened by NotBad4U over 3 years ago
Labels: enhancement

#19 - Borrow mutable a variable declared not mutable

Issue - State: closed - Opened by NotBad4U over 3 years ago
Labels: bug

#19 - Borrow mutable a variable declared not mutable

Issue - State: closed - Opened by NotBad4U over 3 years ago
Labels: bug

#18 - Should be able to transfer to a mut borrow

Issue - State: closed - Opened by NotBad4U over 3 years ago
Labels: bug

#18 - Should be able to transfer to a mut borrow

Issue - State: closed - Opened by NotBad4U over 3 years ago
Labels: bug

#17 - Support switch statement

Issue - State: closed - Opened by NotBad4U over 3 years ago - 1 comment
Labels: enhancement, cfrontend

#17 - Support switch statement

Issue - State: closed - Opened by NotBad4U over 3 years ago - 1 comment
Labels: enhancement, cfrontend

#16 - Support variadic C function

Issue - State: open - Opened by NotBad4U over 3 years ago - 1 comment
Labels: enhancement, cfrontend

#16 - Support variadic C function

Issue - State: open - Opened by NotBad4U over 3 years ago - 1 comment
Labels: enhancement, cfrontend

#15 - Support stdlib exit function

Issue - State: open - Opened by NotBad4U over 3 years ago
Labels: enhancement, cfrontend

#14 - Incorrect lifetime when the function return one of its parameters

Issue - State: open - Opened by NotBad4U over 3 years ago
Labels: bug

#14 - Incorrect lifetime when the function return one of its parameters

Issue - State: open - Opened by NotBad4U over 3 years ago
Labels: bug

#13 - Support the transpilation of declaration

Issue - State: closed - Opened by NotBad4U over 3 years ago

#13 - Support the transpilation of declaration

Issue - State: closed - Opened by NotBad4U over 3 years ago

#12 - Support the transpilation of include

Issue - State: closed - Opened by NotBad4U over 3 years ago - 2 comments
Labels: enhancement, cfrontend

#12 - Support the transpilation of include

Issue - State: closed - Opened by NotBad4U over 3 years ago - 2 comments
Labels: enhancement, cfrontend

#11 - Transpilation of deref assign

Issue - State: closed - Opened by NotBad4U over 3 years ago - 1 comment
Labels: enhancement, cfrontend

#11 - Transpilation of deref assign

Issue - State: closed - Opened by NotBad4U over 3 years ago - 1 comment
Labels: enhancement, cfrontend

#10 - Translation of C call function

Issue - State: closed - Opened by NotBad4U over 3 years ago - 1 comment
Labels: enhancement, cfrontend

#10 - Translation of C call function

Issue - State: closed - Opened by NotBad4U over 3 years ago - 1 comment
Labels: enhancement, cfrontend

#9 - Setup a CIL

Issue - State: closed - Opened by NotBad4U over 3 years ago
Labels: enhancement, osl

#8 - Support the translation of C struct

Issue - State: closed - Opened by NotBad4U over 3 years ago - 3 comments
Labels: enhancement, cfrontend

#7 - Support array

Issue - State: closed - Opened by NotBad4U over 3 years ago - 1 comment
Labels: enhancement, question, cfrontend

#6 - Migration of K 3.5 to K 5.1

Issue - State: open - Opened by NotBad4U over 3 years ago
Labels: osl, hard

#5 - Support the transpilation of basic loop control flow

Issue - State: closed - Opened by NotBad4U over 3 years ago - 1 comment
Labels: enhancement, cfrontend

#4 - Support the transpilation of basic branching control flow

Issue - State: closed - Opened by NotBad4U over 3 years ago - 2 comments
Labels: enhancement, cfrontend

#3 - Support the transpilation of C function

Issue - State: closed - Opened by NotBad4U over 3 years ago
Labels: enhancement, cfrontend

#2 - Support C expression

Issue - State: closed - Opened by NotBad4U over 3 years ago - 1 comment
Labels: enhancement, cfrontend

#1 - How to support goto and should we do it?

Issue - State: open - Opened by NotBad4U over 3 years ago - 1 comment
Labels: enhancement, question

GitHub / notbad4u/osl issues and pull requests