aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Collapse)AuthorAgeFilesLines
* Cleanupp ZVP notebook of old cells.HEADmasterJ08nY2024-08-261-184/+1
|
* Fix ZVP-RE regex issue.J08nY2024-08-241-1/+1
|
* Add __pycache__ to gitignore.J08nY2024-07-241-1/+2
|
* Add more links to docs.J08nY2024-07-244-7/+7
|
* Cleanup notebooks for artifact.J08nY2024-07-244-461/+538
|
* Add ipympl to requirements.J08nY2024-07-161-0/+1
|
* Fix Mod -> mod change.J08nY2024-07-167-39/+39
|
* Fix tree API use.J08nY2024-06-042-4/+4
|
* Fix new tree API use.J08nY2024-06-045-25/+31
|
* RPA method eval.J08nY2024-04-153-26/+179
|
* Finish notebook eval.J08nY2024-04-144-72/+155
|
* Full ZVP eval.J08nY2024-04-132-277/+208
|
* Proper eval script.J08nY2024-04-123-184/+507
|
* Extract tree eval to separate file.J08nY2024-04-092-338/+543
|
* Fix formatting in docs.J08nY2024-04-083-0/+3
|
* Docs and ToC for RE notebooks.J08nY2024-04-082-2/+16
|
* Update EPA to new API (partially).J08nY2024-04-081-15/+15
|
* Update RPA with new API.J08nY2024-04-081-38/+84
|
* Add RPA eval plots.J08nY2024-04-061-31/+380
|
* Cleanup ZVP notebook.J08nY2024-04-031-111/+487
|
* Add docs to formulas notebook.J08nY2024-04-021-31/+109
|
* Cleanup and document more ZVP stuff.J08nY2024-01-241-6/+42
|
* Update ZVP notebook with new bounds.J08nY2024-01-231-186/+229
|
* Change curves in ZVP a bit.J08nY2024-01-192-13/+34
|
* Update curves in ZVP.J08nY2024-01-191-9/+15
|
* Add ZVP to README.J08nY2024-01-181-0/+5
|
* Cleanup ZVP notebook.J08nY2024-01-181-264/+132
|
* Add different scalars.J08nY2024-01-181-1758/+83
|
* Revert "Add tikz bar generation"J08nY2024-01-181-548/+2158
| | | | This reverts commit 2fc60bd45b3779c4e2fa3c9295e0d6f84e663af6.
* Add tikz bar generationvojtechsu2024-01-181-2158/+548
|
* Add modified remappingvojtechsu2024-01-181-34/+1912
|
* Fix remapping in ZVP.J08nY2024-01-171-11/+64
|
* Almost finished ZVP.J08nY2024-01-121-2420/+301
|
* Add in progress ZVP-RE results.J08nY2024-01-111-59/+2454
|
* Add proper README.J08nY2024-01-102-363/+54
|
* Add proper EPA.J08nY2024-01-082-139/+244
|
* Add more experiments into EPA notebook.J08nY2023-12-221-33/+190
|
* Merge pull request #5 from andrr3j/DPA_CPA_notebooksJán Jančár2023-12-212-72/+684
|\ | | | | DPA and CPA notebooks
| * first version of DPA and CPA notebooks doneAndrej Bátora2023-12-132-72/+684
|/
* Merge pull request #4 from andrr3j/emulator_notebookJán Jančár2023-12-122-400/+592
|\ | | | | Emulator notebook
| * fixed ECDHAndrej Bátora2023-12-121-2/+2
| |
| * minor fixes of emulator.ipynbAndrej Bátora2023-12-071-9/+0
| |
| * created notebook for demonstration of EmulatorTargetAndrej Bátora2023-12-072-400/+601
|/
* Fix oracle simulation in RPA-RE.J08nY2023-11-271-10/+23
|
* Polish RPA-RE.J08nY2023-11-271-36/+73
|
* Add more formulas into formula analysis.J08nY2023-11-271-8/+23
|
* Add formula similarity notebook.J08nY2023-11-182-1/+581
|
* Fix import in structural.J08nY2023-10-191-0/+9
|
* Add structural RE notebook.J08nY2023-10-191-0/+308
|
* Fix EPA scalarmult instantiation.J08nY2023-10-191-8/+6
|