issues
search
GillianPlatform
/
Gillian
The Gillian Platform main repository
https://GillianPlatform.github.io
BSD 3-Clause "New" or "Revised" License
73
stars
11
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
add consume & produce commands
#309
giltho
closed
2 days ago
1
Warn & document mismatching CBMC version
#308
NatKarmios
closed
1 week ago
0
Website does not work
#307
glor
closed
1 week ago
2
Rethink Exec Map
#306
NatKarmios
closed
2 weeks ago
0
Skip unneeded substitutions
#305
N1ark
closed
2 weeks ago
0
Save init data when compiling + sorted outputs
#304
N1ark
closed
2 weeks ago
0
Use SMTLIB instead of Z3 bindings; remove Z3 lib dependency
#303
NatKarmios
closed
3 weeks ago
0
Ensure fixes are not lost when they lead to errors
#302
N1ark
closed
1 month ago
0
Something is over-approx for some reason...
#301
giltho
opened
1 month ago
0
EVEN MORE RUST
#300
giltho
closed
1 month ago
0
more rust
#299
giltho
closed
1 month ago
0
Different auto-unfold level
#298
giltho
closed
1 month ago
0
simplify impossible case while extracting in Gillian-C
#297
giltho
closed
1 month ago
0
Add `Delayed.branches`
#296
N1ark
closed
1 month ago
0
forall exprs
#295
giltho
closed
1 month ago
0
Add existential quantifiers to expressions
#294
giltho
closed
1 month ago
0
Switch to opam
#293
giltho
closed
1 month ago
0
Use esy nightly (temporarily)
#292
NatKarmios
closed
1 month ago
0
Gillian should report non-zero status code when failure occurs.
#291
xldenis
opened
2 months ago
0
Relax restriction on file name suffixes
#290
xldenis
opened
2 months ago
3
Gillian c things for thesis
#289
giltho
closed
2 months ago
0
Allow empty postcondition+vanishing function calls
#288
N1ark
closed
1 month ago
2
Split the gillian debugger into a separate build target / package
#287
xldenis
opened
4 months ago
2
Rename "pure formulae" to "path conditions" in the debugger
#286
NatKarmios
opened
4 months ago
0
Allow using Dockerised Gillian when debugging
#285
NatKarmios
opened
4 months ago
0
Automatically push to Docker hub
#284
NatKarmios
opened
4 months ago
0
Add CI to check for version bump in PRs to master
#283
NatKarmios
opened
4 months ago
0
Update documentation for artifact
#282
NatKarmios
opened
4 months ago
0
Rework debugger UI
#281
NatKarmios
opened
4 months ago
0
Rethink ExecMap
#280
NatKarmios
closed
2 weeks ago
0
Fix some debug bugs, organise debugging examples
#279
NatKarmios
closed
5 months ago
0
When debugging, fresh s-vars can break `G_Interpreter`
#278
NatKarmios
closed
5 months ago
4
Rename unify to matching, convert state types to records
#277
NatKarmios
closed
6 months ago
1
Upgrade to OCaml 5
#276
NatKarmios
closed
6 months ago
0
Fix errors in debugger Sphinx docs
#275
NatKarmios
closed
8 months ago
0
Rewrite WISL lifter, debugging tweaks
#274
NatKarmios
closed
8 months ago
0
Rust catch-up
#273
giltho
closed
8 months ago
1
[Old] Rewrite WISL lifter, debugging tweaks
#272
NatKarmios
closed
8 months ago
1
Update manual.wisl
#271
z5146542
closed
8 months ago
1
Kanillian C
#270
NatKarmios
closed
5 months ago
0
Compound branching
#269
NatKarmios
opened
9 months ago
0
Unexpected behavior where bi-unroll limit is used as branching limit
#268
2over12
closed
6 months ago
1
Update esy overrides
#267
NatKarmios
closed
10 months ago
0
[IGNORE] Kanillian merge CI tests
#266
NatKarmios
closed
10 months ago
0
ignore (ci-test)
#265
giltho
closed
10 months ago
0
Merge Kanillian
#264
NatKarmios
closed
10 months ago
0
[IGNORE] Bisecting nat/debug-wpst
#263
NatKarmios
closed
10 months ago
0
simplify store + tiny bug in the engine
#262
giltho
closed
11 months ago
0
Abstract debugger (+ WPST debugging)
#261
NatKarmios
closed
10 months ago
0
Bi-abduction working
#260
giltho
closed
11 months ago
0
Next