issues
search
Twigonometry
/
IsabelleDSL
IsabelleDSL (iDSL) is a framework for generating Domain-Specific Languages from specifications written in Isabelle
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Auto test test_string also needs converting to Haskell syntax
#33
Twigonometry
opened
2 years ago
0
Test C Stack and Queue
#32
Twigonometry
opened
2 years ago
0
Implement C Queue boilerplate
#31
Twigonometry
opened
2 years ago
0
Allow multiple pp functions
#30
Twigonometry
opened
2 years ago
1
Stack produces "No instance for (Printable Int)" error
#29
Twigonometry
opened
2 years ago
0
Add interactive mode
#28
Twigonometry
opened
2 years ago
0
Rename script to iDSL.py
#27
Twigonometry
closed
2 years ago
1
Merge testing changes
#26
Twigonometry
closed
2 years ago
0
Add windows support
#25
Twigonometry
opened
2 years ago
0
Fix imports of theories outside current directory
#24
Twigonometry
opened
2 years ago
1
User sessions should be in Isabelle syntax
#23
Twigonometry
closed
2 years ago
1
Only export pp function if not running auto_test
#22
Twigonometry
opened
2 years ago
0
Add primrec and other function definition types to regex
#21
Twigonometry
closed
2 years ago
2
Format exec_commands to compile C code
#20
Twigonometry
opened
2 years ago
0
Fix non-integer clash in Calculator
#19
Twigonometry
opened
2 years ago
0
Add mode for creating a new theory file
#18
Twigonometry
opened
2 years ago
1
Make pretty print function specifications valid Isabelle files
#17
Twigonometry
opened
2 years ago
0
Use CPP Templates to add polymorphism to C stack
#16
Twigonometry
opened
2 years ago
0
Add double verbose mode
#15
Twigonometry
opened
2 years ago
0
Use logging library for terminal output
#14
Twigonometry
opened
2 years ago
0
README Improvements
#13
Twigonometry
opened
2 years ago
1
Finish printable type class
#12
Twigonometry
closed
2 years ago
1
Add error handling based on popen status codes
#11
Twigonometry
opened
2 years ago
0
Implement simple web-based RBAC
#10
Twigonometry
opened
2 years ago
0
Allow multi-file boilerplate definitions
#9
Twigonometry
opened
2 years ago
0
Implement Python Queue Boilerplate
#8
Twigonometry
opened
2 years ago
1
Implement C Stack Boilerplate
#7
Twigonometry
opened
2 years ago
1
Fix Stack datatype
#6
Twigonometry
opened
2 years ago
4
Add case for when no ROOT file provided
#5
Twigonometry
closed
2 years ago
2
Calculator Haskell file produces incorrect results
#4
Twigonometry
closed
2 years ago
3
Merge Auto testing
#3
Twigonometry
closed
2 years ago
1
Merge working tool chain
#2
Twigonometry
closed
2 years ago
0
Merge "Hol theory import" branch - resolves Haskell conflicts
#1
Twigonometry
closed
2 years ago
0