Commits

Commits on Oct 6, 2023

adjusting to the version updates
dfirsov
committed
dd31913

Commits on Jun 24, 2023

adjusting to cvc4 1.8
dfirsov
committed
1adb739
Merge pull request #5 from dfirsov/deploy/ci
dfirsov
authored
1939f59

Commits on Jun 23, 2023

deploy ci: changed provers versions
tfaoliveira
committed
7b9cafc
even MORE trivial
dfirsov
committed
bd84eed
simplifying another smt(@W64x2N)
dfirsov
committed
883b388
Merge remote-tracking branch 'origin/master' into deploy/ci
dfirsov
committed
bbf107f
removed "problematic" smt(catA).
dfirsov
committed
c7c02f2

Commits on Jun 22, 2023

Merge branch 'master' into deploy/ci
tfaoliveira
committed
b7d6110

Commits on Jun 14, 2023

cleanup
dfirsov
committed
9f74cfe
removed bn_set_p/q/bp/bq; removed admit from verify_eq;
dfirsov
committed
2473337
bn_glob_p instead of bn_set_p (same for q, bp, bq)
dfirsov
committed
587713b

Commits on Jun 12, 2023

updated README.md
dfirsov
committed
68148c0

Commits on Jun 10, 2023

updated README.md
dfirsov
committed
b4536f5

Commits on Jun 8, 2023

fronted CT statements
dfirsov
committed
9041bb3
clean CT for Barrett
dfirsov
committed
7ef84c8
getting rid of smt. calls
dfirsov
committed
12d9334
getting rid of smt.
dfirsov
committed
4ce0b5c
getting rid of smt. calls
dfirsov
committed
0cd733b

Commits on Jun 7, 2023

getting rid of smt. calls
dfirsov
committed
2fa43b2
ci: reduce timeout to 60 + cherry pick from master
tfaoliveira
committed
1049a9d
smt. to smt()

dfirsov
authored and
tfaoliveira
committed
9833fe6
ci: trying to increase the timeout
tfaoliveira
committed
f441a32
smt. to smt()
dfirsov
committed
517d200
ci: switch yml to master to create a draft pull request
tfaoliveira
committed
644d98c
ci: add assert in src/example/example.c
tfaoliveira
committed
095c232
ci: add -script option to easycrypt
tfaoliveira
committed
c8a12dd
ci: add missing env easycrypt variable
tfaoliveira
committed
7b1c445
ci: add missing env easycrypt variable
tfaoliveira
committed
9b8d01f
ci: fix jasmin version (point to github)
tfaoliveira
committed
7e148e8
ci: make Makefile compatible with formosa Makefiles (assumes vars JASMIN and EASYCRYPT)
tfaoliveira
committed
106eddf
ci: fix yml
tfaoliveira
committed
73f35d0
ci: setup easycrypt and jasmin versions ++ simple yaml workflow (only src/)
tfaoliveira
committed
bcc5381
big code restructuring
dfirsov
committed
10f689a

Commits on Jun 6, 2023

proving constant-time for probabilistic functions
dfirsov
committed
fab7003