aboutsummaryrefslogtreecommitdiffhomepage
path: root/re
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 more links to docs.J08nY2024-07-241-1/+1
|
* Cleanup notebooks for artifact.J08nY2024-07-243-421/+492
|
* Fix Mod -> mod change.J08nY2024-07-164-27/+27
|
* Fix tree API use.J08nY2024-06-042-4/+4
|
* Fix new tree API use.J08nY2024-06-042-4/+4
|
* RPA method eval.J08nY2024-04-152-19/+161
|
* Finish notebook eval.J08nY2024-04-144-72/+155
|
* Full ZVP eval.J08nY2024-04-132-277/+208
|
* Proper eval script.J08nY2024-04-122-183/+505
|
* 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
|
* 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 EPA.J08nY2024-01-082-139/+244
|
* Add more experiments into EPA notebook.J08nY2023-12-221-33/+190
|
* 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
|
* Update ZVP notebook with factor sets.J08nY2023-10-191-116/+73
|
* Add more detailed RPA-RE exploration.J08nY2023-10-171-18/+173
|
* Update RPA notebook to work with new RPA.J08nY2023-10-161-35/+85
|
* Add EPA-RE notebook.J08nY2023-08-041-54/+154
|
* Add non-working EPA notebook.J08nY2023-08-031-0/+162
|
* Remove unnecessary impots in RPA notebook.J08nY2023-08-031-2/+0
|
* Add ZVP notebook.J08nY2023-08-031-0/+243
|
* Add fully simulated RPA-RE demo.J08nY2023-07-281-9/+150
|
* Add RPA-RE notebook.J08nY2023-07-281-0/+234