GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-19 12:01:45 +03:00
Code Issues Projects Releases Wiki Activity
397 Commits 53 Branches 0 Tags 14 MiB
7bab701643
Commit Graph

104 Commits

Author SHA1 Message Date
Tristan Ravitch
4bed676ca2 Update to the latest macaw 2018-04-24 10:55:07 -07:00
Tristan Ravitch
7e129f1ce1 Update the macaw submodule 
This completes handling of the new archstate statement
 2018-04-02 09:18:46 -07:00
Tristan Ravitch
b7c3118070 Update the calls to asAtomicStateUpdate 
The type of the instruction address changed
 2018-03-30 10:52:58 -07:00
Tristan Ravitch
f959773cbd Emit the new 'ArchState' macaw statement 
This change is in the core generator monad and applied in the PowerPC backend.
This change includes some macaw updates (which required a new elf-edit version).
 2018-03-29 18:06:26 -07:00
Tristan Ravitch
1ebf0cabb7 Submodule updates 
These updates include a new version of cabal required to build macaw-symbolic.
macaw-symbolic is also now added to the cabal.project file.
 2018-03-29 09:57:17 -07:00
Tristan Ravitch
d00e1fc7c9 Update the macaw submodule 2018-03-28 17:00:57 -07:00
Tristan Ravitch
43babd43cf Add macaw-x86 to the cabal.project file 2018-03-28 17:00:38 -07:00
Tristan Ravitch
d3a97edb4b ppc: Implement identifyReturn 2018-03-27 18:19:36 -07:00
Kevin Quick
19abbf8620
Update macaw submodule reference. 2018-03-27 10:58:27 -07:00
Kevin Quick
0e36353f63 Update dismantle submodule reference. 2018-03-15 17:41:28 -07:00
Kevin Quick
0942725e07 Update semmc submodule reference. 2018-03-11 10:54:10 -07:00
Kevin Quick
99a8959b04 Update dismantle and semmc submodule references. 2018-03-11 10:31:36 -07:00
Kevin Quick
fc02db5664
Update semmc submodule reference. 2018-03-07 14:46:45 -08:00
Kevin Quick
334b799dd8
Update dismantle submodule reference. 2018-03-05 15:13:55 -08:00
Kevin Quick
b6816799ad
Update s-cargot and s-cargot-letbind submodule versions (0.1.4.0, 0.2.2.0). 2018-03-05 14:05:39 -08:00
Tristan Ravitch
66caf33944 ppc: Submodule update for two new instructions 2018-03-01 17:59:57 -08:00
Tristan Ravitch
14c2740c9f Update semmc submodule for ppc instructions 2018-03-01 17:40:38 -08:00
Tristan Ravitch
f180b23d65 ppc: Add more semantics for floating point instructions 2018-03-01 14:43:25 -08:00
Kevin Quick
a5c20d8824 Update macaw submodule 2018-03-01 11:50:42 -08:00
Tristan Ravitch
fac5a84d5b Update the semmc submodule 2018-03-01 09:22:32 -08:00
Tristan Ravitch
3542977fc7 Update the semmc submodule 
This has some more instructions for PowerPC
 2018-02-28 23:22:56 -08:00
Tristan Ravitch
1b16f163ac Submodule updates 2018-02-28 22:33:03 -08:00
Kevin Quick
a592e40b12 Update macaw submodule to 6a0a59e 2018-02-23 15:04:15 -08:00
Kevin Quick
add6dd96f9 Update submodule reference: dismantle 2018-02-17 12:09:33 -08:00
Kevin Quick
4a8a84ba9b Add s-cargot-letbind submodule. 2018-02-16 13:40:41 -08:00
Ben Selfridge
7ec04d8d22 bump semmc 2018-02-01 12:07:09 -08:00
Ben Selfridge
372301aecc s-cargot now under submodules 2018-01-31 16:44:16 -08:00
Ben Selfridge
674f08e668 bumped up-to-date dismantle and semmc 2018-01-31 15:19:57 -08:00
Kevin Quick
5f77195513
Update dismantle version for semmc-arm needs. 2018-01-24 12:42:47 -08:00
Ben Selfridge
a66f3922c1 bumped semmc 2018-01-22 16:27:29 -08:00
Ben Selfridge
b3b5aca1e9 bumped semmc version 2018-01-22 13:51:32 -08:00
Tristan Ravitch
46333f1a09 Submodule updates 2018-01-22 10:26:20 -08:00
Ben Selfridge
7e47db94a3 Updated macaw-ppc to handle floating-point UFs 2018-01-17 12:54:30 -08:00
Tristan Ravitch
2c1a2e9b97 Submodule updates 2018-01-09 16:54:56 -08:00
Ben Selfridge
69087e8835 update semmc 2018-01-09 14:02:51 -08:00
Ben Selfridge
6780e14c81 merging to newest semmc 2018-01-09 11:45:08 -08:00
Ben Selfridge
dc5659dc14 updated semmc 2018-01-09 11:37:17 -08:00
Tristan Ravitch
f256869311 Update crucible and parameterized-utils 2018-01-08 15:32:38 -08:00
Tristan Ravitch
77129fbe3e Update the semmc submodule 2018-01-08 15:32:38 -08:00
Ben Selfridge
3c3ffbc375 Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw-semmc 2018-01-05 13:38:36 -08:00
Ben Selfridge
d3f72ee39e Set semmc version to new. 2018-01-05 13:30:12 -08:00
Tristan Ravitch
2247747bef Update submodules to the latest macaw (and others) 
Macaw has removed all floating point expression types, so we duplicate those as
arch-specific functions for PowerPC until the more general floating point
support is ready.
 2018-01-02 18:17:32 -08:00
Tristan Ravitch
b7359957bf Remove the Witness type and related constraint magic 
This change uses ShapeReprs, and requires changes from dismantle and semmc
 2017-12-17 21:29:17 -08:00
Tristan Ravitch
f1b0775be8 Update to the new parameterized-utils List 
This replaces the old ShapedList from dismantle-tablegen
 2017-12-13 21:56:29 -08:00
Tristan Ravitch
7bcc90c83d Start migrating shareable TH code from macaw-ppc to macaw-semmc 
This change still needs some work, but no other code depends on it yet
 2017-12-06 17:28:23 -08:00
Tristan Ravitch
3838d0964d Submodule updates 2017-11-30 17:13:11 -08:00
Tristan Ravitch
5d2af0328f Update the semmc submodule 2017-11-29 20:27:49 -08:00
Tristan Ravitch
52dc736c08 ppc: Add more support for CR and FPSCR instructions 2017-11-29 16:30:46 -08:00
Tristan Ravitch
0a24dbf78e Update the semmc submodule 2017-11-29 11:40:14 -08:00
Tristan Ravitch
5347f7b079 Update the semmc submodule with more semantics 2017-11-28 23:10:58 -08:00