-
- Downloads
implemented BSet tests and fixed some things
Showing
- btypes_primitives/src/main/rust_embedded/btypes/src/brelation.rs 5 additions, 5 deletions...primitives/src/main/rust_embedded/btypes/src/brelation.rs
- btypes_primitives/src/main/rust_embedded/btypes/src/bset.rs 19 additions, 14 deletionsbtypes_primitives/src/main/rust_embedded/btypes/src/bset.rs
- src/main/java/de/hhu/stups/codegenerator/generators/MachineGenerator.java 3 additions, 3 deletions.../hhu/stups/codegenerator/generators/MachineGenerator.java
- src/main/java/de/hhu/stups/codegenerator/generators/TypeGenerator.java 11 additions, 2 deletions.../de/hhu/stups/codegenerator/generators/TypeGenerator.java
- src/main/resources/de/hhu/stups/codegenerator/RustTemplate_e.stg 3 additions, 1 deletion...n/resources/de/hhu/stups/codegenerator/RustTemplate_e.stg
- src/test/java/de/hhu/stups/codegenerator/rust_embedded/TestSets.java 115 additions, 78 deletions...va/de/hhu/stups/codegenerator/rust_embedded/TestSets.java
- src/test/resources/de/hhu/stups/codegenerator/Card.mch 6 additions, 4 deletionssrc/test/resources/de/hhu/stups/codegenerator/Card.mch
- src/test/resources/de/hhu/stups/codegenerator/Difference.mch 4 additions, 2 deletionssrc/test/resources/de/hhu/stups/codegenerator/Difference.mch
- src/test/resources/de/hhu/stups/codegenerator/ElementOf.mch 4 additions, 2 deletionssrc/test/resources/de/hhu/stups/codegenerator/ElementOf.mch
- src/test/resources/de/hhu/stups/codegenerator/EmptySet.mch 3 additions, 1 deletionsrc/test/resources/de/hhu/stups/codegenerator/EmptySet.mch
- src/test/resources/de/hhu/stups/codegenerator/EmptySetAddition.strs 2 additions, 1 deletion...esources/de/hhu/stups/codegenerator/EmptySetAddition.strs
- src/test/resources/de/hhu/stups/codegenerator/Fin.mch 6 additions, 4 deletionssrc/test/resources/de/hhu/stups/codegenerator/Fin.mch
- src/test/resources/de/hhu/stups/codegenerator/Fin1.mch 6 additions, 4 deletionssrc/test/resources/de/hhu/stups/codegenerator/Fin1.mch
- src/test/resources/de/hhu/stups/codegenerator/GeneralizedIntersection.mch 4 additions, 2 deletions...es/de/hhu/stups/codegenerator/GeneralizedIntersection.mch
- src/test/resources/de/hhu/stups/codegenerator/GeneralizedIntersectionEmpty.mch 4 additions, 2 deletions.../hhu/stups/codegenerator/GeneralizedIntersectionEmpty.mch
- src/test/resources/de/hhu/stups/codegenerator/GeneralizedUnion.mch 4 additions, 2 deletions...resources/de/hhu/stups/codegenerator/GeneralizedUnion.mch
- src/test/resources/de/hhu/stups/codegenerator/GeneralizedUnionEmpty.mch 4 additions, 2 deletions...rces/de/hhu/stups/codegenerator/GeneralizedUnionEmpty.mch
- src/test/resources/de/hhu/stups/codegenerator/Intersection.mch 4 additions, 2 deletions...est/resources/de/hhu/stups/codegenerator/Intersection.mch
- src/test/resources/de/hhu/stups/codegenerator/IntersectionAddition.strs 6 additions, 1 deletion...rces/de/hhu/stups/codegenerator/IntersectionAddition.strs
- src/test/resources/de/hhu/stups/codegenerator/NotElementOf.mch 4 additions, 2 deletions...est/resources/de/hhu/stups/codegenerator/NotElementOf.mch
Loading
Please register or sign in to comment