issues
search
dijkstracula
/
irving
there's no checking like bounded model checking
GNU Affero General Public License v3.0
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
rethink IvySort::Generic() and IvySort::SortVar
#69
dijkstracula
opened
8 months ago
0
vars need to be treated as functions within a common block
#68
dijkstracula
opened
10 months ago
1
Java extraction: modules
#67
dijkstracula
opened
10 months ago
0
class actions are broken
#66
dijkstracula
opened
11 months ago
0
Nathan/bindings know their spans
#65
dijkstracula
closed
11 months ago
0
Should bindings hold the relevant span?
#64
dijkstracula
closed
11 months ago
1
Make ivy extraction more like ivy_show
#63
dijkstracula
opened
11 months ago
0
Java: Extract to int/Integer rather than long/Long
#62
dijkstracula
opened
12 months ago
0
Move JavaType generators into the Melina stdlib.
#61
dijkstracula
opened
1 year ago
0
Void-producing actions should be implemented as a Consumer
#60
dijkstracula
opened
1 year ago
0
Random generator for collections
#59
dijkstracula
closed
11 months ago
1
Module instantiations should construct a factory object
#58
dijkstracula
opened
1 year ago
1
Java extraction: saturating arithmetic
#57
dijkstracula
closed
1 year ago
1
Rethink bounds on quantifiers for nested formulas
#56
dijkstracula
opened
1 year ago
0
Nathan/fmlas with inner quants
#55
dijkstracula
closed
1 year ago
0
Nathan/quantifier bounds
#54
dijkstracula
closed
1 year ago
0
Not fully inferring types in formulas
#53
dijkstracula
closed
1 year ago
1
Walk predicates in formulas differently than Exprs
#52
dijkstracula
closed
1 year ago
1
Nathan/debug info v2
#51
dijkstracula
closed
1 year ago
0
Mutating an AST node makes us lose its Span
#50
dijkstracula
closed
1 year ago
1
grammar: why is call_action just an rval
#49
dijkstracula
opened
1 year ago
2
Better post-parsing errors
#48
dijkstracula
closed
1 year ago
1
What should happen if we can't fully resolve an uninterpreted sort?
#47
dijkstracula
closed
1 year ago
1
Typechecker: second pass to substitute SortVars with their concrete Sorts?
#46
dijkstracula
closed
1 year ago
1
Nathan/expr refactoring
#45
dijkstracula
closed
1 year ago
0
Extraction: enforce call-by-value
#44
dijkstracula
closed
1 year ago
2
Bind identifiers on the CLI
#43
dijkstracula
opened
1 year ago
2
Should a Symbol simply be a Binding<Sort>?
#42
dijkstracula
closed
1 year ago
1
ImplementDecl is too general
#41
dijkstracula
opened
1 year ago
2
Resolve alias and type interpretations in the typechecker
#40
dijkstracula
opened
1 year ago
0
Typecheck parameterized object access
#39
dijkstracula
closed
1 year ago
1
actually typecheck formulas
#38
dijkstracula
closed
1 year ago
1
Unify ActionDecl/BeforeDecl/AfterDecl/ImplementDecl
#37
dijkstracula
closed
1 year ago
2
Nullary action calls should be able to have parens elided
#36
dijkstracula
opened
1 year ago
2
I don't understand the semantics of common blocks
#35
dijkstracula
opened
1 year ago
0
Nathan/sort visitor
#34
dijkstracula
closed
1 year ago
0
Module normalization can reorder declarations
#33
dijkstracula
closed
1 year ago
1
Logging
#32
dijkstracula
closed
1 year ago
1
Revisit integration tests
#31
dijkstracula
closed
1 year ago
1
Handle logicvars in assignments
#30
dijkstracula
closed
1 year ago
5
Typechecker: convert Params/Terms to a <name, sort> pair
#29
dijkstracula
closed
1 year ago
1
Nathan/cli
#28
dijkstracula
closed
1 year ago
0
ensure/requires: needs to be fmlas:
#27
dijkstracula
closed
1 year ago
3
IvySort: Separate Function from Actions
#26
dijkstracula
opened
1 year ago
0
Soundness issue in subtyping functions and processes
#25
dijkstracula
closed
1 year ago
2
Nathan/module instantiation
#24
dijkstracula
closed
1 year ago
0
Downcast Numbers to Range
#23
dijkstracula
closed
1 year ago
1
Make the IsolateNormalizer also normalize modules and objects
#22
dijkstracula
closed
1 year ago
1
Document differences from actual Ivy
#21
dijkstracula
opened
1 year ago
2
Nathan/module walking
#20
dijkstracula
closed
1 year ago
0
Next