issues
search
multiparty
/
carousels
Library for concisely defining abstract metrics over JavaScript syntax.
https://multiparty.org/carousels
MIT License
5
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump flat and mocha
#42
dependabot[bot]
opened
1 year ago
0
Bump shell-quote from 1.7.2 to 1.7.3
#41
dependabot[bot]
opened
2 years ago
0
Bump bumpalo from 3.2.0 to 3.10.0 in /rust
#40
dependabot[bot]
opened
2 years ago
0
Bump ajv from 6.12.0 to 6.12.6
#39
dependabot[bot]
opened
2 years ago
0
Bump pathval from 1.1.0 to 1.1.1
#38
dependabot[bot]
opened
2 years ago
0
Bump cached-path-relative from 1.0.2 to 1.1.0
#37
dependabot[bot]
opened
2 years ago
0
Bump tar from 5.0.5 to 5.0.11
#36
dependabot[bot]
opened
3 years ago
0
Bump path-parse from 1.0.6 to 1.0.7
#35
dependabot[bot]
opened
3 years ago
0
Bump tar from 5.0.5 to 5.0.7
#34
dependabot[bot]
closed
3 years ago
1
Bump glob-parent from 5.1.0 to 5.1.2
#33
dependabot[bot]
opened
3 years ago
0
Bump mathjs from 6.6.1 to 7.5.1
#32
dependabot[bot]
opened
3 years ago
0
Bump lodash from 4.17.19 to 4.17.21
#31
dependabot[bot]
opened
3 years ago
0
Bump y18n from 4.0.0 to 4.0.1
#30
dependabot[bot]
opened
3 years ago
0
Bump elliptic from 6.5.3 to 6.5.4
#29
dependabot[bot]
opened
3 years ago
0
Bump elliptic from 6.5.2 to 6.5.3
#28
dependabot[bot]
closed
4 years ago
0
Updates for estimating more problems
#27
Rosefield
closed
4 years ago
0
Bump lodash from 4.17.15 to 4.17.19
#26
dependabot[bot]
closed
4 years ago
0
simplify outputs checkbox
#25
wyatt-howe
closed
4 years ago
0
Bump acorn from 7.1.0 to 7.1.1
#24
dependabot[bot]
closed
4 years ago
0
Enchance Typing and Cost configuration files
#23
Ra1issa
opened
4 years ago
0
Double counting in rounds at Obliv if
#22
KinanBab
closed
4 years ago
0
OblivIf side effects
#21
KinanBab
closed
4 years ago
0
Repeated invocations of analysis share some state
#20
KinanBab
closed
4 years ago
1
Add additional costs and typing rules as needed for all reasonable examples
#19
KinanBab
closed
4 years ago
0
Trace conditions throughout visitor path, and use conditions when reasoning about types and metrics within branches
#18
KinanBab
closed
4 years ago
0
Handle side effects
#17
KinanBab
closed
4 years ago
0
Better handling of if/else conditions
#16
KinanBab
closed
4 years ago
0
Implement inductive loop abstractions for metric and outer scope variables modified in loop
#15
KinanBab
closed
4 years ago
0
Add rust WASM IR Parser, new carousels engine, and the new UI
#14
KinanBab
closed
4 years ago
0
Research solving / simplifying system of co-recursive symbolic equations
#13
KinanBab
opened
4 years ago
0
Improve UI and interaction
#12
KinanBab
opened
4 years ago
1
Helpful utilities
#11
KinanBab
opened
4 years ago
0
JS -> IR translator using Babel
#10
KinanBab
opened
4 years ago
0
Finalize and test Rust -> IR translator
#9
KinanBab
closed
4 years ago
0
Support additional javascript/rust constructs and features
#8
KinanBab
opened
4 years ago
1
Improve type and metric invariants for loops
#7
KinanBab
closed
4 years ago
0
Update carousels_rust with most recent changes from master
#6
KinanBab
closed
4 years ago
0
Loops and more
#5
wyatt-howe
closed
4 years ago
4
Bump lodash from 4.17.4 to 4.17.15
#4
dependabot[bot]
closed
4 years ago
0
Battleships Demo and Decorators
#3
wyatt-howe
closed
4 years ago
0
Fixes and new features.
#2
lapets
closed
5 years ago
0
incorporate polynomium for simplifying polynomials
#1
lucyq
closed
5 years ago
0