lp:~sgaflv/+junk/desij

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

59. By Stan on 2014-03-13

- internal generator for BrzSequence added

58. By Stan on 2014-03-13

- changed seq component expression to the initial one

57. By Stan on 2014-03-10

- changing internal signals into outputs if they are used in more than one component

56. By Stan on 2014-03-10

- fixed double .g ending when producing stg from a breeze file

55. By Stan on 2014-03-10

- changed BrzSequence expression so that channel C doesn't look like part of a handshake

54. By Stan on 2014-01-22

- small modification to .g file name formation

53. By Stan on 2014-01-22

- increased max heap memory in batch files
- added output file name trimming to 50 symbols

52. By Stan on 2014-01-22

- added CSC resolging signals for BrzSequence

51. By Stan on 2013-12-13

- fixed CaseFetch expression
- -g option is added to recover dummy signals, that failed to contract (some additional corrections)
- avoid CSC by adding more signals as inputs (this now works on all Balsa examples)
- improved "zip up" procedure
- structurally dead transitions are removed
-

50. By Stan on 2013-11-20

- added modelling of dead transitions
- new expressions for BrzLoop, BrzWire, BzrHalt
- partition with additional inputs
- report on recurring signals