issues
search
tuura
/
scenco-core
Collection of encoding algorithms for conditional graphs
Other
0
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fixing travis CI and README
#38
allegroCoder
closed
7 years ago
1
Temp files
#37
allegroCoder
closed
8 years ago
2
Temporary files and log removal from c++ side
#36
allegroCoder
opened
8 years ago
5
Temporary filename created inside std temp folder in Windows
#35
allegroCoder
closed
8 years ago
7
Automatic test for free-constraints codes
#34
allegroCoder
closed
8 years ago
5
Appveyor caching fix
#33
allegroCoder
closed
8 years ago
3
print scenco version with --version option
#32
allegroCoder
closed
8 years ago
2
.gitignore updated - *~ files removed
#31
allegroCoder
closed
8 years ago
0
Functions for automatic test generation 120 graphs / 5 events
#30
allegroCoder
closed
8 years ago
4
Automatic test generation functions
#29
allegroCoder
closed
8 years ago
3
Check for Abc and for the gate library
#28
allegroCoder
closed
8 years ago
7
Command line options
#27
allegroCoder
closed
8 years ago
1
Command line options
#26
allegroCoder
opened
8 years ago
3
Iss#23
#25
allegroCoder
closed
8 years ago
5
ABC does not handle don't care cubes
#24
allegroCoder
opened
8 years ago
3
Reading scenarios from log files
#23
allegroCoder
opened
8 years ago
7
Check abcbridge package
#22
snowleopard
opened
8 years ago
0
AppVeyor and travis files refactoring
#21
allegroCoder
closed
8 years ago
1
API Refactoring
#20
allegroCoder
closed
8 years ago
4
ABC flow (synthesis, mapping) supported
#19
allegroCoder
closed
8 years ago
2
Segmentation fault 11 on Mac OS X
#18
allegroCoder
closed
8 years ago
6
Building & testing ABC
#17
snowleopard
closed
8 years ago
7
Integration with AppVeyor for Windows continuous integration
#16
allegroCoder
closed
8 years ago
0
Refactoring Test.hs code
#15
allegroCoder
closed
8 years ago
2
Parse .opcode files and instantiate CodeWithUnknown
#14
allegroCoder
closed
8 years ago
6
Implement encoding feasibility check
#13
snowleopard
opened
8 years ago
2
Alessandro added in the authors.
#12
allegroCoder
closed
8 years ago
0
Build and test automation through Cabal & Travis
#11
allegroCoder
closed
8 years ago
22
Checking correctness of opcodes generated
#10
allegroCoder
closed
8 years ago
6
Stdin EOF in Haskell
#9
allegroCoder
closed
8 years ago
3
Encoding framework for Haskell-SCENCO
#8
allegroCoder
closed
8 years ago
1
Getting opcodes from c++ function
#7
allegroCoder
closed
8 years ago
6
Encoding interface between Haskell <=> C++
#6
allegroCoder
closed
8 years ago
4
Finalise AUTHORS
#5
snowleopard
closed
8 years ago
2
Add Graph datatype
#4
snowleopard
opened
8 years ago
6
Integrate existing encoding methods via FFI
#3
snowleopard
closed
8 years ago
8
Add technology mapping support
#2
snowleopard
closed
8 years ago
5
Implement tests
#1
snowleopard
closed
8 years ago
2