aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Remove literal files againYann Herklotz2022-03-2626-3770/+582
|
* Add more documentationYann Herklotz2022-03-247-268/+207
|
* Force _CoqProject generation and fix namespacesYann Herklotz2022-03-241-5/+2
|
* Update makefile and remove _CoqProjectYann Herklotz2022-03-242-23/+11
|
* Rename lit directoryYann Herklotz2022-03-249-16/+137
|
* Rename changelogYann Herklotz2022-03-241-0/+0
|
* Change origin of tangled filesYann Herklotz2022-03-239-22/+20
|
* Create a few more org files about specific topicsYann Herklotz2022-03-233-1011/+1070
|
* Add back equalitiesYann Herklotz2022-03-222-126/+117
|
* Add first descriptions to org fileYann Herklotz2022-03-224-183/+199
|
* Merge remote-tracking branch 'origin/dev/scheduling' into dev/schedulingYann Herklotz2022-03-220-0/+0
|\
| * Delete extra data files and scriptsYann Herklotz2022-03-1915-286/+6
| |
* | Add literate Coq fileYann Herklotz2022-03-224-9/+3287
| |
* | Add comments to allow for literate detanglingYann Herklotz2022-03-227-18/+362
| |
* | Add nops to partition generationYann Herklotz2022-03-221-4/+4
| |
* | Add to benchmark scriptYann Herklotz2022-03-221-36/+70
| |
* | Move forall_ptree into commonYann Herklotz2022-03-222-42/+43
| |
* | Fix proofs in Sat.vYann Herklotz2022-03-221-1/+1
| |
* | Remove main binaryYann Herklotz2022-03-221-0/+0
| |
* | Fix Makefiles in build and for benchmarksYann Herklotz2022-03-226-7/+17
| |
* | Add RTLBlockgenproofYann Herklotz2022-03-221-0/+52
| |
* | Delete extra data files and scriptsYann Herklotz2022-03-2216-286/+6
|/
* Update permissions and .gitignoreYann Herklotz2022-03-173-3/+11
|
* Add a license to synthesis-resultsYann Herklotz2022-03-171-0/+15
|
* Clean up scripts some moreYann Herklotz2022-03-176-40/+10
|
* Update documentation filesYann Herklotz2022-03-178-35/+78
|
* Remove more unnecessary scriptsYann Herklotz2022-03-173-133/+0
|
* Add Makefile in scripts directoryYann Herklotz2022-03-171-0/+9
|
* Rename into schemeYann Herklotz2022-03-171-1/+3
|
* Add synthesis bash scriptsYann Herklotz2022-03-173-0/+86
|
* Update copyright noticeYann Herklotz2022-03-171-1/+1
|
* Add directory traversal to synthesise scriptYann Herklotz2022-03-171-18/+40
|
* Add synthesis processing scriptYann Herklotz2022-03-171-0/+98
|
* Start work on reverse if-conversionYann Herklotz2022-03-072-1/+84
|
* Fix RAW dependency calculation for predicatesYann Herklotz2022-03-061-0/+3
|
* Update links in READMEYann Herklotz2022-03-052-8/+8
|
* Remove small customisations from license textYann Herklotz2022-03-051-3/+3
|
* Add back proof of beq2_correctYann Herklotz2022-03-031-23/+76
|
* Fix AbstrYann Herklotz2022-03-031-30/+17
|
* Update Coq version to 8.14.1Yann Herklotz2022-03-027-86/+65
|
* Rename IP using systemverilog extensionYann Herklotz2022-02-283-0/+0
|
* Update .gitignoreYann Herklotz2022-02-281-66/+8
|
* Add ptsets.ml library from CompCert for BourdoncleYann Herklotz2022-02-282-0/+791
|
* Remove .envrc as it should be localYann Herklotz2022-02-271-1/+0
|
* Update documentation linksYann Herklotz2022-02-274-11/+25
|
* Update documentation generationYann Herklotz2022-02-2710-6/+1336
|
* Final updates to the current documentationYann Herklotz2022-02-253-18/+18
|
* Fix up some more documentationYann Herklotz2022-02-257-146/+68
|
* Start converting commentsYann Herklotz2022-02-253-85/+45
|
* Add more documentation and add coqdoc stylesheetYann Herklotz2022-02-256-3/+928
|
generated by cgit (git 2.34.1) at 2024-07-05 06:19:09 +0000