tuura plato issues - Githubissues

tuura / plato

A DSL for asynchronous circuits specification

Other

11 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Unable to translate Concepts

#97 ARandomOWL opened 3 years ago
4
Update stack.yaml syntax for Stack v1.11

#96 ARandomOWL closed 3 years ago
2
Added comprehensive comments to compilation/translation modules

#95 jrbeaumont closed 6 years ago
8
Added combinational gate concept

#94 jrbeaumont closed 6 years ago
5
Added support for declared signals, and translation of them

#93 jrbeaumont closed 6 years ago
6
Add reset concepts

#92 snowleopard opened 6 years ago
0
Added US spellings of initialise (initialize)

#91 jrbeaumont closed 6 years ago
0
Add asymmetric C-elements?

#90 snowleopard opened 6 years ago
5
Migrate Tuura.Boolean to new package tuura-boolean

#89 ARandomOWL closed 6 years ago
2
Improve the boolean parser

#88 ARandomOWL closed 6 years ago
3
Fixed an error in srHalfLatch

#87 jrbeaumont closed 6 years ago
3
Add support for 'may-fire' semantics

#86 snowleopard opened 6 years ago
2
Made implementation of srHalfLatch and therefore srLatch neater

#85 jrbeaumont closed 6 years ago
1
Implementations of concepts and transformations discussed in #83

#84 jrbeaumont closed 6 years ago
10
Implement srLatch and enable.

#83 jrbeaumont opened 6 years ago
39
Added generalised multi-input gates.

#82 jrbeaumont closed 6 years ago
14
boolean: show instances for Literal, CNF, DNF. Self-dual functions.

#81 ARandomOWL closed 6 years ago
9
Bool to concepts

#80 jrbeaumont closed 6 years ago
40
Added (~&~>) for listed AND causality operator

#79 jrbeaumont closed 6 years ago
1
Added XOR gate and function to remove redundant combinations of cause transitions

#78 jrbeaumont closed 6 years ago
3
Implemented bubble function to invert a chosen signal's transitions

#77 jrbeaumont closed 7 years ago
13
WIP: Added dual for toggling transitions.

#76 jrbeaumont closed 7 years ago
24
Reconfigured causality to use OR-causality as the base.

#75 jrbeaumont closed 7 years ago
21
State graphs now identify internal signals correctly (Fixed #73)

#74 jrbeaumont closed 7 years ago
0
`.internals` when creating a .sg is the incorrect syntax and causes an error in Workcraft.

#73 jrbeaumont closed 7 years ago
0
Invariant information printed for STG will not include blank lines

#72 jrbeaumont closed 7 years ago
0
Reordered validation in FSM translation and Refactored causality.

#71 jrbeaumont closed 7 years ago
7
Updated README and manual to include new features

#70 jrbeaumont closed 7 years ago
4
Refactor arc representation so AND and OR causality are more obvious.

#69 jrbeaumont closed 7 years ago
7
Check for reachable states which don't hold for the invariant before starting any translation

#68 jrbeaumont closed 7 years ago
6
Added support for invariants

#67 jrbeaumont closed 7 years ago
23
Refactored repeated circuit/abstract code into single files

#66 jrbeaumont closed 7 years ago
6
Implemented FSM translation

#65 jrbeaumont closed 7 years ago
7
FSM: Write out inputs/outputs/internals

#64 ARandomOWL closed 7 years ago
0
Added options for including external concept files

#63 jrbeaumont closed 7 years ago
4
Implement verification for incorrect causalities.

#62 jrbeaumont opened 7 years ago
1
Ranamed tool to plato

#61 jrbeaumont closed 7 years ago
2
Implement translation from concepts to FSMs.

#60 jrbeaumont closed 7 years ago
3
Stack should now use lts-7.5 for GHC 8.0.1

#59 jrbeaumont closed 7 years ago
1
Revert "Reset stack file to use lts-7.5 for GHC 8.0.1"

#58 snowleopard closed 7 years ago
0
Reset stack file to use lts-7.5 for GHC 8.0.1

#57 jrbeaumont closed 7 years ago
11
Changed stack resolver to work with Ubuntu

#56 jrbeaumont closed 7 years ago
1
Updated stack and cabal file to use lts-7.5

#55 jrbeaumont closed 7 years ago
1
WIP: Added tests for translation.

#54 jrbeaumont closed 7 years ago
7
Add testing for translation tool.

#53 jrbeaumont closed 7 years ago
1
Fixed a bug where internals would not be parsed by Workcraft

#52 jrbeaumont closed 7 years ago
8
Improved `handleArcs` function.

#51 jrbeaumont closed 7 years ago
7
Improve handleArcs function in translate/Main.hs

#50 jrbeaumont closed 7 years ago
15
Updated manual to include OR-causality

#49 jrbeaumont closed 7 years ago
1
Implemented OR-causality.

#48 jrbeaumont closed 7 years ago
11