issues
search
dstebila
/
pygamehop
[work in progress] Python framework for supporting cryptographic game-hopping proofs
13
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Merge typevars branch into game-as-classes
#36
dstebila
closed
2 years ago
0
Object values
#35
mckaguem
closed
2 years ago
0
Node graphs
#34
mckaguem
closed
3 years ago
0
Node graphs
#33
mckaguem
closed
3 years ago
1
Misc fixes
#32
mckaguem
closed
3 years ago
0
Better scopes
#31
mckaguem
closed
3 years ago
0
Fun with generators
#30
mckaguem
closed
3 years ago
0
Node traverser prelude update
#29
mckaguem
closed
3 years ago
0
Node traverser
#28
mckaguem
closed
3 years ago
0
Update canonicalise
#27
mckaguem
closed
3 years ago
3
simplify uptaded to use NewNodeTransformer
#26
mckaguem
closed
3 years ago
0
Update expanders
#25
mckaguem
closed
3 years ago
0
Newnodetransformer parents
#24
mckaguem
closed
3 years ago
0
Newnodetransformer scopes
#23
mckaguem
closed
3 years ago
0
Add NewNodeTransformer to game-as-classes
#22
dstebila
closed
3 years ago
0
Newnodetransformer
#21
mckaguem
closed
3 years ago
0
if expression bug
#20
dstebila
opened
3 years ago
0
Add length to bitstrings and add rewriting steps to proofs
#19
dstebila
closed
3 years ago
0
Fix bug in line ordering
#18
dstebila
closed
3 years ago
0
Add Compare and IfExp in vars_depends_on
#17
dstebila
closed
3 years ago
0
Expand if expr
#16
dstebila
closed
3 years ago
0
Use the new graph algorithm to canonicalize line order
#15
dstebila
closed
3 years ago
0
Inline functions when inside local functions
#14
dstebila
closed
3 years ago
0
Filterast
#13
mckaguem
closed
3 years ago
1
if statement support
#12
mckaguem
closed
3 years ago
1
proofs.py some cleanup
#11
mckaguem
closed
3 years ago
1
Handle guessing games in proofs engine
#10
dstebila
opened
3 years ago
0
Add PKE from KEM
#9
dstebila
closed
3 years ago
0
Get rid of TypeVars in most places
#8
dstebila
closed
3 years ago
0
New proof engine using classes
#7
dstebila
closed
3 years ago
0
Typechecking of inlined code
#6
dstebila
opened
3 years ago
0
Simplification
#5
dstebila
closed
3 years ago
0
Reduction guesses
#4
mckaguem
opened
3 years ago
1
Be able to parse functions that aren't at top level
#3
dstebila
closed
3 years ago
1
Generate LaTeX from Python
#2
dstebila
opened
3 years ago
0
Unit tests for inlining and canonicalization code
#1
dstebila
closed
3 years ago
1