ultra-group skalpel issues

ultra-group / skalpel

A type error slicer for Standard ML

GNU General Public License v3.0

10 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Update Doxygen Patch

#134 CGA1123 closed 6 years ago
0
Dead website links

#133 jpirie opened 9 years ago
0
Need warning when exp1 has function type in (exp1; exp2)

#132 jpirie opened 10 years ago
0
Separate the parser from the analysis engine

#131 jpirie opened 10 years ago
0
Name of Basis structure

#130 jpirie opened 10 years ago
0
Slicing of unsaved files

#129 jpirie opened 10 years ago
0
Automatically notice TES files

#128 jpirie opened 10 years ago
0
CM and MLB file support

#127 jpirie opened 10 years ago
0
(**SKALPEL-USE-FILE xyzzy.sml *) inserts xyzzy.sml before the entire file, rather than at the position of the magic comment.

#126 jpirie opened 10 years ago
0
-bo switch taking out the basis even if overloading is not involved or if entire error is in the basis

#125 jpirie opened 10 years ago
0
Errors do not appear on stderr

#124 jpirie opened 10 years ago
0
skalpel-emacs is marked as being architecture dependent

#123 jpirie opened 10 years ago
0
Duplicate identifier declarations not detected

#122 jpirie opened 10 years ago
0
skalpel-next-part-of-slice portion of code jumped to not centered in buffer

#121 jpirie opened 10 years ago
0
Code/Slice doesn't specify which file it comes from

#120 jpirie closed 10 years ago
1
Testing of our web demo

#119 jpirie opened 10 years ago
0
HTML generation from tasks.org and sml.org

#118 jpirie opened 10 years ago
0
Users basis.sml file ignored if basis overloading information is disabled.

#117 jpirie opened 10 years ago
0
Can't show basis overloading errors involving the basis

#116 jpirie opened 10 years ago
0
Debian file installation locations

#115 jpirie opened 10 years ago
0
Autoloading procedure

#114 jpirie opened 10 years ago
0
Should use standard ChangeLog file(s)

#113 jpirie opened 10 years ago
1
Code of Emacs front end should use Emacs's “customization” user interface

#112 jpirie opened 10 years ago
0
Debian package descriptions should not be surrounded by <...>

#111 jpirie opened 10 years ago
0
Control-L is valid whitespace character, back end wrongly calls it syntax error

#110 jpirie opened 10 years ago
0
Warn about and accept illegal SML constructs accepted by popular compilers

#109 jpirie opened 10 years ago
1
SML parser should support magic line/column/file comments

#108 jpirie opened 10 years ago
0
Temp file security

#107 jpirie opened 10 years ago
0
Documentation not in info format

#106 jpirie opened 10 years ago
0
User cannot display a chosen error from a list

#105 jpirie opened 10 years ago
0
Key bindings need re-thought - probably not ideal

#104 jpirie opened 10 years ago
0
libGMP error

#103 jpirie opened 10 years ago
0
A much better system for preferences is sorely needed

#102 jpirie opened 10 years ago
0
Better communication needed between front and back ends

#101 jpirie opened 10 years ago
0
Currently implemented compiler support is way too basic

#100 jpirie opened 10 years ago
0
New colors interfere with sml-mode in some cases - preference needed to allow/disallow this

#99 jpirie opened 10 years ago
0
Better submission of bugs via Emacs front end using key system

#98 jpirie opened 10 years ago
0
Mac needs to be available on-campus for Mac binary building

#97 jpirie opened 10 years ago
0
Student dissertations should be on website

#96 jpirie opened 10 years ago
0
Claim on supported syntax page that functors are unimplemented is false

#95 jpirie opened 10 years ago
0
“supported syntax” page claims to be about version 0.5 - needs updated

#94 jpirie opened 10 years ago
0
“supported syntax” page should be “supported features”

#93 jpirie opened 10 years ago
0
Results web pagefor online demo should always present basis last

#92 jpirie opened 10 years ago
0
“last updated” claim on online demo web page probably a bad idea

#91 jpirie opened 10 years ago
0
Deemphasize the problem of type inference on transformed source code

#90 jpirie opened 10 years ago
0
Claim on main page that the latest version is on the web demo is likely false

#89 jpirie opened 10 years ago
0
⟨⟩ Characters not showing (font issues)

#88 jpirie opened 10 years ago
0
We need a testing framework

#87 jpirie opened 10 years ago
0
All menu bar toggle buttons should be remembered (user preferences)

#86 jpirie opened 10 years ago
0
(op *)

#85 jpirie opened 10 years ago
4