Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / casm-lang/libcasm-tc issues and pull requests

#92 - Clean-up of Unit Tests

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

#91 - CI: updated build and nightly workflow configuration

Pull Request - State: closed - Opened by ppaulweber about 3 years ago

#90 - Generator: changed test and benchmark C++ cases file creation

Pull Request - State: closed - Opened by ppaulweber over 4 years ago - 1 comment
Labels: bug

#89 - Fix error code locations for update merge/add conflicts

Pull Request - State: closed - Opened by emmanuel099 over 4 years ago - 1 comment

#87 - Add tests for local rule

Pull Request - State: closed - Opened by emmanuel099 over 4 years ago

#86 - Replace initially with equal in all function definitions

Pull Request - State: closed - Opened by emmanuel099 over 4 years ago - 1 comment

#85 - Cleanups and Preparations for #196

Pull Request - State: closed - Opened by emmanuel099 over 4 years ago - 1 comment

#84 - UsingPathDefinition: added positive and negative test cases

Pull Request - State: closed - Opened by ppaulweber over 4 years ago - 3 comments

#83 - UTF8 based test case specification files

Pull Request - State: closed - Opened by ppaulweber almost 5 years ago - 1 comment

#82 - Add a simple traffic simulator application

Pull Request - State: closed - Opened by emmanuel099 almost 5 years ago - 1 comment

#81 - rule/update: Test updating of lists

Pull Request - State: closed - Opened by emmanuel099 almost 5 years ago - 1 comment

#80 - Feature/14 import

Pull Request - State: closed - Opened by ppaulweber almost 5 years ago - 1 comment

#79 - Bug/afl crashes

Pull Request - State: closed - Opened by ppaulweber about 5 years ago - 1 comment

#78 - Optional Init Definition

Pull Request - State: closed - Opened by ppaulweber about 5 years ago - 2 comments

#77 - Cleanup Init Definition

Pull Request - State: closed - Opened by ppaulweber about 5 years ago - 1 comment

#76 - [definition/import] Add basic test cases mainly for testing lexer, parser & AST

Pull Request - State: closed - Opened by emmanuel099 over 5 years ago - 1 comment

#75 - Feature/34 comment

Pull Request - State: closed - Opened by ppaulweber over 5 years ago - 1 comment

#74 - Platform independent compilation

Pull Request - State: closed - Opened by ppaulweber over 5 years ago

#73 - Test cases for the Invariant Definition

Pull Request - State: closed - Opened by emmanuel099 almost 6 years ago

#72 - Feature/cardinality expression

Pull Request - State: closed - Opened by ppaulweber about 6 years ago

#71 - Test if choose expression is correctly marked as in-pure

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago
Labels: bug

#70 - Add tests for synchronous/asynchronous ASMs

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago

#68 - Bug/70 type inference of record literal

Pull Request - State: closed - Opened by ppaulweber about 6 years ago - 2 comments

#67 - Adjust error codes

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago

#66 - Type inference of list literal elements

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago
Labels: bug

#65 - Implies Operator: fixed incorrect assertions

Pull Request - State: closed - Opened by ppaulweber about 6 years ago

#64 - Feature/binary type handling

Pull Request - State: closed - Opened by ppaulweber about 6 years ago

#61 - Generator: removed absolute path from test and benchmark unit names

Pull Request - State: closed - Opened by ppaulweber about 6 years ago

#59 - Fix tests that I have missed in PR #57 and #58

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago

#58 - Feature/symbol registration generic error codes

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago

#57 - Drop relative identifier prefix from all "relative" enumerators

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago

#56 - Multiple variables in a single let rule/expression

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#55 - Add test cases which are extracted from crashes detected by AFL

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago - 3 comments
Labels: bug

#53 - While rule tests

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#52 - [call/direct] Test if calling self in pure expression is prohibited

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago - 1 comment

#51 - [application] Brainfuck Interpreter: Some additional changes/cleanups

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#50 - Built-in: added 'abort' test cases

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#49 - [application] Make Brainfuck-Machine runnable again

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#48 - [lexer] Test if unknown escape sequences are handled properly

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#45 - [application] Added a Dining Philosophers specification

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#44 - [application] Add a Prisoners game specification

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#43 - [rule/update] Adjust error code

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#42 - [benchmark] Fix syntax errors

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#41 - [benchmark] Add a Ackermann Reduction benchmark

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#40 - RuleReference: added test cases to check constant implementation

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#39 - Check rule properties

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#38 - [expression/typecasting] Test if writing `-x as String` works

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#37 - Added some additional call and universe related test cases

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#35 - Adjust syntax of all indirect calls

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#34 - [rule/update] Adjust test case to test the correct thing

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#33 - Test if namespace is correctly used during symbol resolving

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#32 - [expression/call] Check for arguments mismatch

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#31 - FunctionDefinition: adjusted initializer expressions

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#30 - [definition/derived] Pure attribute test cases

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#29 - Drop the call keyword from all rule calls

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#28 - Add 99 Bottles of Beer song

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago - 2 comments
Labels: needs-testing

#27 - Feature/57 cleanup of type and symbols

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#26 - [expression/typecasting] Add a test to assure that the parsing is correct

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago
Labels: bug

#25 - Adjust function attributes syntax

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#24 - RuleCall: added test to check direct rule calls with a list type

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#23 - Feature/51 tuple syntax

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#22 - Feature/53 stabilize

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#21 - Feature/16 using definition

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago - 1 comment

#19 - Rule/Update: Add some tests to check if out functions are properly handled

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago
Labels: bug

#18 - Feature/54 bit to binary

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#17 - Adjust error codes for argument size mismatch

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#16 - Feature/49 method call

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#15 - Feature/48 as operator

Pull Request - State: closed - Opened by ppaulweber over 6 years ago - 1 comment

#13 - Call rule: test if wrong call rule usages are detected

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#12 - Fixed incorrect assert built-in usage

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#11 - Floating to Decimal

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#10 - Cleanup of case rule tests

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#9 - Case rule: Rename and cleanup "multiple default cases" test

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#8 - Add test cases for forall rule with condition

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#7 - Fibonacci cleanups

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#6 - Test cases for let expression

Pull Request - State: closed - Opened by emmanuel099 almost 7 years ago
Labels: work-in-progress

#5 - Test cases for choose expression

Pull Request - State: closed - Opened by emmanuel099 almost 7 years ago
Labels: work-in-progress

#4 - Feature/32 numeric execution pass

Pull Request - State: closed - Opened by ppaulweber about 7 years ago

#3 - Defined function tests

Pull Request - State: closed - Opened by emmanuel099 over 7 years ago

#2 - Test adjustments for casm-lang/libcasm-fe#64

Pull Request - State: closed - Opened by emmanuel099 over 7 years ago