hhu-stups pyB issues - Githubissues

hhu-stups / pyB

pyB

6 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Support alias includes/extends + op calls

#33 JonnyWalker opened 10 years ago
0
Typechecking of EXTENDS/INCLUDES clause not implemented

#32 JonnyWalker opened 10 years ago
1
Use B machine parameters

#31 JonnyWalker opened 10 years ago
0
Check all unifications inside the type checker with B spec

#30 JonnyWalker opened 10 years ago
0
Function expressions need better test coverage

#29 JonnyWalker opened 10 years ago
0
Added tests (and maybe implementation) for PrimedIdentifierExpression

#28 JonnyWalker opened 10 years ago
0
Set up constants animation is not testet for all sees/includes... cases

#27 JonnyWalker opened 10 years ago
0
Helper function select_ast_to_list is not used. Find out if this is a bug

#26 JonnyWalker opened 10 years ago
0
Write more ParallelSubstitution test with functions

#25 JonnyWalker opened 10 years ago
2
Implement check for double variable names

#24 JonnyWalker opened 10 years ago
0
Refactor brute force enumeration

#23 JonnyWalker opened 10 years ago
0
Reimplement enumeration of deferred sets

#22 JonnyWalker opened 10 years ago
0
Set of all strings is generated via some hack

#21 JonnyWalker opened 10 years ago
0
Add check for cyclic type chains

#20 JonnyWalker closed 10 years ago
1
Enum Hint may be nonsense

#19 JonnyWalker closed 10 years ago
2
Better test coverage for quick_eval

#18 JonnyWalker opened 10 years ago
0
Extend symbolic inf/large set implementation

#17 JonnyWalker opened 10 years ago
0
Remove dynamic code from constraintsolver.py

#16 JonnyWalker opened 10 years ago
0
Refactor B state push/pop inside animation.py

#15 JonnyWalker opened 10 years ago
0
Move static AST-analysis to parsing phase

#14 JonnyWalker opened 10 years ago
0
Advance B to constraint-solver wrapper

#13 JonnyWalker opened 10 years ago
1
Add History to state space

#12 JonnyWalker opened 10 years ago
0
Implement bstate comparison (at least equality)

#11 JonnyWalker opened 10 years ago
0
Refactor copy_op in boperation.py

#10 JonnyWalker opened 10 years ago
0
Sees/Uses/Includes/Extends: Check for name collisions and cycles

#9 JonnyWalker opened 10 years ago
0
Create python pyB egg file

#8 JonnyWalker opened 10 years ago
0
Replace current python-parser with json parser

#7 JonnyWalker opened 10 years ago
1
Implement limitation parameters for animation

#6 JonnyWalker opened 10 years ago
0
Write a testcase for the GCD external function

#5 JonnyWalker opened 10 years ago
0
BUG: Real assertion checking differs from assertion checking in test-file

#4 JonnyWalker closed 10 years ago
1
Increase test coverage

#3 JonnyWalker opened 10 years ago
0
Pure Evaluation: remove side effects from interpreter

#2 JonnyWalker opened 10 years ago
1
Add missing unifications to type checker

#1 JonnyWalker opened 10 years ago
1